Recently Added

Modular and automated type-soundness verification for language extensionsFlorian Lorenzen, Sebastian Erdweg. ICFP 2013: 331-342 [doi] [classification] 9 years ago
The State of the Art in Language Workbenches - Conclusions from the Language Workbench ChallengeSebastian Erdweg, Tijs van der Storm, Markus Völter, Meinte Boersma, Remi Bosman, William R. Cook, Albert Gerritsen, Angelo Hulshout, Steven Kelly, Alex Loh, Gabriël Konat, Pedro J. Molina, Martin Palatnik, Risto Pohjonen, Eugen Schindler, Klemens Schindler, Riccardo Solmi, Vlad A. Vergu, Eelco Visser, Kevin van der Vlist, Guido Wachsmuth, Jimi van der Woning. SLE 2013: 197-217 [doi] [classification] 9 years ago
Generating Specialized Interpreters for Modular Structural Operational SemanticsCasper Bach Poulsen, Peter D. Mosses. In Proceedings of the 23rd international symposium on Logic Based Program Synthesis and Transformation. 2013: [classification] 9 years ago
A Compiler for Natural SemanticsMikael Pettersson. cc 1996: 177-191 [classification] 9 years ago
The theory of parsing, translation, and compilingAho, Alfred V., Ullman, Jeffrey D.. Prentice-Hall, Inc., Upper Saddle River, NJ, USA, 1972. [classification] 9 years ago
Deriving Pretty-Big-Step Semantics from Small-Step SemanticsCasper Bach Poulsen, Peter D. Mosses. ESOP 2014: 270-289 [doi] [classification] 9 years ago
Pretty-Big-Step SemanticsArthur Charguéraud. ESOP 2013: 41-60 [doi] [classification] 9 years ago
Refocusing in reduction semanticsDanvy Olivier, Nielsen, Lasse R. 2004. [classification] 9 years ago
An overview of the K semantic frameworkGrigore Rosu, Traian-Florin Serbanuta. jlp, 79(6):397-434, 2010. [doi] [classification] 9 years ago
Executing Formal Semantics with the K ToolDavid Lazar, Andrei Arusoaie, Traian-Florin Serbanuta, Chucky Ellison, Radu Mereuta, Dorel Lucanu, Grigore Rosu. FM 2012: 267-271 [doi] [classification] 9 years ago
A fast abstract syntax tree interpreter for RTomas Kalibera, Petr Maj, Floréal Morandat, Jan Vitek. vee 2014: 89-102 [doi] [classification] 9 years ago
Reusable components of semantic specificationsMartin Churchill, Peter D. Mosses, Paolo Torrini. AOSD 2014: 145-156 [doi] [classification] 9 years ago
Reusable components of semantic specificationsMartin Churchill, Peter D. Mosses, Paolo Torrini. AOSD 2014: 145-156 [doi] [classification] 10 years ago
Green-Marl: a DSL for easy and efficient graph analysisSungpack Hong, Hassan Chafi, Eric Sedlar, Kunle Olukotun. asplos 2012: 349-362 [doi] [classification] 10 years ago
Finding and understanding bugs in C compilersXuejun Yang, Yang Chen, Eric Eide, John Regehr. PLDI 2011: 283-294 [doi] [classification] 10 years ago
Natural and Flexible Error Recovery for Generated Modular Language EnvironmentsMaartje de Jonge, Lennart C. L. Kats, Eelco Visser, Emma Söderberg. TOPLAS, 34(4):15, 2012. [doi] [classification] 10 years ago
One VM to rule them allThomas Würthinger, Christian Wimmer, Andreas Wöß, Lukas Stadler, Gilles Duboscq, Christian Humer, Gregor Richards, Doug Simon, Mario Wolczko. OOPSLA 2013: 187-204 [doi] [classification] 10 years ago
An executable formal semantics of C with applicationsChucky Ellison, Grigore Rosu. POPL 2012: 533-544 [doi] [classification] 10 years ago
Run your research: on the effectiveness of lightweight mechanizationCasey Klein, John Clements, Christos Dimoulas, Carl Eastlund, Matthias Felleisen, Matthew Flatt, Jay A. McCarthy, Jon Rafkind, Sam Tobin-Hochstadt, Robby Findler. POPL 2012: 285-296 [doi] [classification] 10 years ago
Minding the (semantic) gap: engineering programming language theoryArjun Guha, Shriram Krishnamurthi. FSE 2010: 155-156 [doi] [classification] 10 years ago
A fast abstract syntax tree interpreter for RTomas Kalibera, Petr Maj, Floréal Morandat, Jan Vitek. vee 2014: 89-102 [doi] [classification] 10 years ago
Truffle: a self-optimizing runtime systemChristian Wimmer, Thomas Würthinger. OOPSLA 2012: 13-14 [doi] [classification] 10 years ago
Foundations for programming languagesJohn C. Mitchell. Foundation of computing series, MIT Press, 1996. [classification] 10 years ago
Declarative specification of template-based textual editorsTobi Vollebregt, Lennart C. L. Kats, Eelco Visser. LDTA 2012: 1-7 [doi] [classification] 10 years ago
A Language Independent Task Engine for Incremental Name and Type AnalysisGuido Wachsmuth, Gabriël Konat, Vlad A. Vergu, Danny M. Groenewegen, Eelco Visser. SLE 2013: 260-280 [doi] [classification] 10 years ago
Symbol Table Management in an HPF DebuggerMarian Bubak, Wlodzimierz Funika, Grzegorz Mlynarczyk, Krzysztof Sowa, Roland Wismüller. hpcn 1999: 1278-1281 [classification] 10 years ago
C-Transformers: a framework to write C program transformationsBorghi, A., David, V., Demaille, A.. crossroads, 12(3), 2005. [classification] 10 years ago
Run your research: on the effectiveness of lightweight mechanizationCasey Klein, John Clements, Christos Dimoulas, Carl Eastlund, Matthias Felleisen, Matthew Flatt, Jay A. McCarthy, Jon Rafkind, Sam Tobin-Hochstadt, Robby Findler. POPL 2012: 285-296 [doi] [classification] 10 years ago
Language Parametric Module Management for IDEsPaul Klint, Taeke Kooiker, Jurgen J. Vinju. ENTCS, 203(2):3-19, 2008. [doi] [classification] 10 years ago
Potentials and challenges of recommendation systems for software developmentHappel, Hans-J\"{o}rg, Maalej, Walid. In RSSE '08: Proceedings of the 2008 international workshop on Recommendation systems for software engineering. 2008: [doi] [classification] 10 years ago
Practical Language-Based Editing for Software EngineersMichael L. Van de Vanter. ICSE 1995: 251-267 [classification] 10 years ago
Two-dimensional Approximation CoverageJörg Harm, Ralf Lämmel. informaticaSI, 24(3), 2000. [doi] [classification] 10 years ago
A Pure Object-Oriented Embedding of Attribute GrammarsAnthony M. Sloane, Lennart C. L. Kats, Eelco Visser. ENTCS, 253(7):205-219, 2010. [doi] [classification] 10 years ago
Preventing injection attacks with syntax embeddingsMartin Bravenboer, Eelco Dolstra, Eelco Visser. GPCE 2007: 3-12 [doi] [classification] 10 years ago
MetaBorg in Action: Examples of Domain-Specific Language Embedding and Assimilation Using Stratego/XTMartin Bravenboer, René de Groot, Eelco Visser. GTTSE 2006: 297-311 [doi] [classification] 10 years ago
Decorated Attribute Grammars: Attribute Evaluation Meets Strategic ProgrammingLennart C. L. Kats, Anthony M. Sloane, Eelco Visser. CC 2009: 142-157 [doi] [classification] 10 years ago
Reusable specification modules for type analysisUwe Kastens, William M. Waite. SPE, 39(9):833-864, 2009. [doi] [classification] 10 years ago
Eclipse Support for Using Eli and Teaching Programming LanguagesAnthony M. Sloane, William M. Waite. ENTCS, 141(4):189-194, 2005. [doi] [classification] 10 years ago
Lazy and Incremental Program GenerationJan Heering, Paul Klint, Jan Rekers. TOPLAS, 16(3):1010-1023, 1994. [doi] [classification] 10 years ago
A Family of Syntax Definition FormalismsEelco Visser. Technical Report P9706, 1997. [classification] 10 years ago
Symbol Table AccessWilliam M. McKeeman. ac 1976: 253-301 [classification] 10 years ago
Sourcerer: mining and searching internet-scale software repositoriesErik Linstead, Sushil Krishna Bajracharya, Trung Chi Ngo, Paul Rigor, Cristina Videira Lopes, Pierre Baldi. datamine, 18(2):300-336, 2009. [doi] [classification] 10 years ago
Modular logic metaprogrammingKarl Klose, Klaus Ostermann. OOPSLA 2010: 484-503 [doi] [classification] 10 years ago
Randomized Testing in PLT RedexCasey Klein, Robby Findler. In Workshop on Scheme and Functional Programming (SFP). 2009: [classification] 10 years ago
Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languagesJacques Carette, Oleg Kiselyov, Chung-chieh Shan. JFP, 19(5):509-543, 2009. [doi] [classification] 10 years ago
Group awareness in distributed software developmentCarl Gutwin, Reagan Penner, Kevin A. Schneider. cscw 2004: 72-81 [doi] [classification] 10 years ago
Expressive programs through presentation extensionAndrew David Eisenberg, Gregor Kiczales. AOSD 2007: 73-84 [doi] [classification] 10 years ago
Presentations by Programmers for ProgrammersLi-Te Cheng, Michael Desmond, Margaret-Anne D. Storey. ICSE 2007: 788-792 [doi] [classification] 10 years ago
Weaving Executability into Object-Oriented Meta-languagesPierre-Alain Muller, Franck Fleurey, Jean-Marc Jézéquel. uml 2005: 264-278 [doi] [classification] 10 years ago
Debugging Eli-Generated Compilers With NoosaAnthony M. Sloane. cc 1999: 17-31 [classification] 10 years ago
A Formally Verified Compiler Back-endXavier Leroy. JAR, 43(4):363-446, 2009. [doi] [classification] 10 years ago
R2:::2:::SDF FFT Implementation with Coefficient Memory Reduction SchemeHuirae Cho, Myung-Soon Kim, Duk-Bai Kim, Jin Up Kim. vtc 2006: 1-4 [doi] [classification] 10 years ago
Scannerless Generalized-LR ParsingEelco Visser. Technical Report P9707, 1997. [classification] 10 years ago
Binding Strategies and Scope Rules Are IndependentThomas R. Virgilio, Raphael A. Finkel. Comp. Lang., Syst. \& Struct., 7(2):61-67, 1982. [classification] 10 years ago
The Essence of JavaScriptArjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi. ECOOP 2010: 126-150 [doi] [classification] 10 years ago
Declaratively programming the mobile web with MoblZef Hemel, Eelco Visser. OOPSLA 2011: 695-712 [doi] [classification] 10 years ago
Implementation of a Modelica compiler using JastAdd attribute grammarsJohan {\AA}kesson, Torbjörn Ekman, Görel Hedin. SCP, 75(1-2):21-38, 2010. [doi] [classification] 10 years ago
Generation of Compiler Symbol Processing MechanismsSteven P. Reiss. TOPLAS, 5(2):127-163, 1983. [doi] [classification] 10 years ago
Refactoring: Improving the Design of Existing CodeMartin Fowler. xpu 2002: 256 [doi] [classification] 10 years ago
Engineering formal metatheoryBrian E. Aydemir, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack, Stephanie Weirich. POPL 2008: 3-15 [doi] [classification] 10 years ago
The Orc Programming LanguageDavid Kitchin, Adrian Quark, William R. Cook, Jayadev Misra. forte 2009: 1-25 [doi] [classification] 10 years ago
Superlanguages: Developing Languages and Applications with XMFA. Clark, P. Sammut, J. Willans. March 2008. [doi] [classification] 10 years ago
Preventing injection attacks with syntax embeddingsMartin Bravenboer, Eelco Dolstra, Eelco Visser. SCP, 75(7):473-495, 2010. [doi] [classification] 10 years ago
The verifying compiler: A grand challenge for computing researchC. A. R. Hoare. JACM, 50(1):63-69, 2003. [doi] [classification] 10 years ago
Operational semantics for multi-language programsJacob Matthews, Robby Findler. TOPLAS, 31(3), 2009. [doi] [classification] 10 years ago
Bringing domain-specific languages to digital forensicsJeroen van den Bos, Tijs van der Storm. ICSE 2011: 671-680 [doi] [classification] 10 years ago
Source-level debugging with the whylineAndrew J. Ko, Brad A. Myers. ICSE 2008: 69-72 [doi] [classification] 10 years ago
Preventing SQL injection attacks using AMNESIAWilliam G. J. Halfond, Alessandro Orso. ICSE 2006: 795-798 [doi] [classification] 10 years ago
Model Driven EngineeringStuart Kent. IFM 2002: 286-298 [doi] [classification] 10 years ago
Transformation of SDF syntax definitions in the ASF+SDF Meta-EnvironmentRalf Lämmel, Guido Wachsmuth. ENTCS, 44(2):9-33, 2001. [doi] [classification] 10 years ago
Design Issues for Persistent Java: A Type-Safe, Object-Oriented, Orthogonally Persistent SystemMalcolm P. Atkinson, Mick J. Jordan, Laurent Daynès, Susan Spence. pos 1996: 33-47 [doi] [classification] 10 years ago
Syntactic Type Soundness Results for the Region CalculusCristiano Calcagno, Simon Helsen, Peter Thiemann. iandc, 173(2):199-221, 2002. [doi] [classification] 10 years ago
Accelerating the Creation of Customized, Language-Specific IDEs in EclipsePhilippe Charles, Robert M. Fuhrer, Stanley M. Sutton Jr., Evelyn Duesterwald, Jurgen J. Vinju. OOPSLA 2009: [classification] 10 years ago
An Axiomatic Approach to Metareasoning on Nominal Algebras in HOASFurio Honsell, Marino Miculan, Ivan Scagnetto. icalp 2001: 963-978 [doi] [classification] 10 years ago
Domain-Specific Languages: An Annotated BibliographyArie van Deursen, Paul Klint, Joost Visser. SIGPLAN, 35(6):26-36, 2000. [doi] [classification] 10 years ago
Coupled Transformation of Schemas, Documents, Queries, and ConstraintsJoost Visser. ENTCS, 200(3):3-23, 2008. [doi] [classification] 10 years ago
Derivation and Refinement of Textual Syntax for ModelsFlorian Heidenreich, Jendrik Johannes, Sven Karol, Mirko Seifert, Christian Wende. ECMDA-FA 2009: 114-129 [doi] [classification] 10 years ago
A General Name Binding MechanismMichele Boreale, Maria Grazia Buscemi, Ugo Montanari. tgc 2005: 61-74 [doi] [classification] 10 years ago
Using structural context to recommend source code examplesReid Holmes, Gail C. Murphy. ICSE 2005: 117-125 [doi] [classification] 10 years ago
Towards an agent-based framework for guiding design explorationDiaz-Pace, J. Andres, Bass, Len, Bachmann, Felix, Bianco, Phil. In RSSE '08: Proceedings of the 2008 international workshop on Recommendation systems for software engineering. 2008: [doi] [classification] 10 years ago
Barista: An implementation framework for enabling new tools, interaction techniques and views in code editorsAndrew Jensen Ko, Brad A. Myers. CHI 2006: 387-396 [doi] [classification] 10 years ago
Human Comprehensible and Machine Processable Specifications of Operational SemanticsMarkus Scheidgen, Joachim Fischer. ECMDA-FA 2007: 157-171 [doi] [classification] 10 years ago
Testing domain-specific languages in eclipseHui Wu, Jeffrey G. Gray. OOPSLA 2005: 173-174 [doi] [classification] 10 years ago
Codex, memex, genex: The pursuit of transformational technologiesBen Shneiderman. IJHCI, 10(2), 1998. [doi] [classification] 10 years ago
Forwarding in Attribute Grammars for Modular Language DesignEric {Van Wyk}, Oege de Moor, Kevin Backhouse, Paul Kwiatkowski. CC 2002: 128-142 [doi] [classification] 10 years ago
TODO or to bug: exploring how task annotations play a role in the work practices of software developersMargaret-Anne D. Storey, Jody Ryall, R. Ian Bull, Del Myers, Janice Singer. ICSE 2008: 251-260 [doi] [classification] 10 years ago
Automated generation of testing tools for domain-specific languagesHui Wu, Jeffrey G. Gray. ASE 2005: 436-439 [doi] [classification] 10 years ago
Implementing High-Level Identification SpecificationsArnd Poetzsch-Heffter. cc 1992: 59-65 [classification] 10 years ago
Dynamic Binding Is the Name of the GameMarco Antonio Gómez-Martín, Pedro Pablo Gómez-Martín, Pedro A. González-Calero. iwec 2006: 229-232 [doi] [classification] 10 years ago
End-User Software Engineering, 18.02. - 23.02.2007Margaret M. Burnett, Gregor Engels, Brad A. Myers, Gregg Rothermel, editors, Volume 07081 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2007. [classification] 10 years ago
Efficiency by Incrementalization: An IntroductionYanhong A. Liu. lisp, 13(4):289-313, 2000. [classification] 10 years ago
The TXL source transformation languageJames R. Cordy. SCP, 61(3):190-210, 2006. [doi] [classification] 10 years ago
Compilers: Principles, Techniques, and ToolsAlfred V. Aho, Ravi Sethi, Jeffrey D. Ullman. Addison-Wesley, 1986. [classification] 10 years ago
Efficient local type inferenceBen Bellamy, Pavel Avgustinov, Oege de Moor, Damien Sereni. OOPSLA 2008: 475-492 [doi] [classification] 10 years ago
Analysing the effectiveness of rule-coverage as a reduction criterion for test suites of grammar-based softwareMark Hennessy, James F. Power. ese, 13(4):343-368, 2008. [doi] [classification] 10 years ago
Modular Name Analysis for Java Using JastAddTorbjörn Ekman, Görel Hedin. GTTSE 2006: 422-436 [doi] [classification] 10 years ago
Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UMLGregor Engels, Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer. uml 2000: 323-337 [doi] [classification] 10 years ago
A verified compiler for an impure functional languageAdam J. Chlipala. POPL 2010: 93-106 [doi] [classification] 10 years ago
Towards Raising the Failure of Unit Tests to the Level of Compiler-Reported ErrorsFriedrich Steimann, Thomas Eichstädt-Engelen, Martin Schaaf. TOOLS 2008: 60-79 [doi] [classification] 10 years ago
ANTLRWorks: an ANTLR grammar development environmentJean Bovet, Terence John Parr. SPE, 38(12):1305-1332, 2008. [doi] [classification] 10 years ago