- Martin Bravenboer, Eelco Dolstra, Eelco Visser. Preventing injection attacks with syntax embeddings. Science of Computer Programming, 75(7):473-495, July 2010.
- Sylvain Schmitz. An experimental ambiguity detection tool. Science of Computer Programming, 75(1-2):71-84, 2010.
- Adrian Johnstone, Anthony Sloane, John Tang Boyland. Preface. Science of Computer Programming, 75(1-2):1-2, 2010.
- Eric Van Wyk, Derek Bodin, Jimin Gao, Lijesh Krishnan. Silver: An extensible attribute grammar system. Science of Computer Programming, 75(1-2):39-54, 2010.
- Alcino Cunha, Joost Visser. Transformation of structure-shy programs with application to XPath queries and strategic functions. Science of Computer Programming, In Press, Corrected Proof, 2010.
- Diego Ordonez Camacho, Kim Mens, Mark G. J. van den Brand, Jurgen J. Vinju. Automated generation of program translation and verification tools using annotated grammars. Science of Computer Programming, 75(1-2):3-20, 2010.
- Johan Åkesson, Torbjörn Ekman, Görel Hedin. Implementation of a Modelica compiler using JastAdd attribute grammars. Science of Computer Programming, 75(1-2):21-38, 2010.
- Diego Ordonez Camacho, Kim Mens, Mark G. J. van den Brand, Jurgen J. Vinju. Automated generation of program translation and verification tools using annotated grammars. Science of Computer Programming, 72(1):3-20, jan 2010.
- Elizabeth Scott, Adrian Johnstone. Recognition is not parsing - SPPF-style parsing from cubic recognisers. Science of Computer Programming, 75(1-2):55-70, 2010.
- Philippe Audebaud, Christine Paulin-Mohring. Proofs of randomized algorithms in Coq. Science of Computer Programming, 74(8):568-589, 2009.