Programming Languages
- Beziehungen:
-
- Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters
- CPL: A Core Language for Cloud Computing - Technical Report.
- Proceedings of the 3rd Workshop on Domain-Specific Language Design and Implementation (DSLDI 2015).
- Capture-Avoiding and Hygienic Program Transformations (incl. Proofs).
- Capture-Avoiding and Hygienic Program Transformations.
- Bootstrapping domain-specific meta-languages in language workbenches.
- A variability-aware module system.
- Language composition untangled.
- Layout-sensitive language extensibility with SugarHaskell.
- Growing a language environment with editor libraries.
- i3QL: language-integrated live data views.
- Efficient development of consistent projectional editors using grammar cells.
- A framework for extensible languages.
- A co-contextual formulation of type rules and its application to incremental type checking.
- Software Evolution to Domain-Specific Languages.
- Layout-Sensitive Generalized Parsing.
- Exploration of language specifications by compilation to first-order logic.
- IncA: a DSL for the definition of incremental program analyses.
- A sound and optimal incremental build system with dynamic dependencies.
- Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny.
- Using Vampire in Soundness Proofs of Type Systems.
- Variability-aware parsing in the presence of lexical macros and conditional compilation.
- A Systematic Approach to Abstract Interpretation of Program Transformations.
- Capture-Avoiding and Hygienic Program Transformations (incl. Proofs)
- Type-safe, Polyvariadic Event Correlation
- A Co-contextual Type Checker for Featherweight Java (incl. Proofs)
- CPL: A Core Language for Cloud Computing -- Technical Report
- Proceedings of the 3rd Workshop on Domain-Specific Language Design and Implementation (DSLDI 2015)
- A systematic approach to deriving incremental type checkers
- Evolution of Software Systems with Extensible Languages and DSLs
- Toward incremental type checking for Java.
- XPoints: Extension Interfaces for Multilayered Applications
- Modular specification and dynamic enforcement of syntactic language constraints when generating code.
- Finding bugs in program generators by dynamic analysis of syntactic language constraints.
- Library-based model-driven software development with SugarJ.
- DSLDI 2014: second workshop on domain specific languages design and implementation.
- Abstract Features in Feature Modeling
- Evaluating and comparing language workbenches
- Interactive Debugging of Datalog Programs
- Concise, Type-Safe, and Efficient Structural Diffing
- Incremental Whole-Program Analysis in Datalog with Lattices
- Domain-Specific Languages (Dagstuhl Seminar 15062).
- Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming, WGP@ICFP 2015, Vancouver, BC, Canada, August 30, 2015
- A Module-System Discipline for Model-Driven Software Development
- PIE: A Domain-Specific Language for Interactive Software Development Pipelines
- Compositional soundness proofs of abstract interpreters
- Modular and automated type-soundness verification for language extensions.
- Type-safe, Polyvariadic Event Correlation.
- Toward abstract interpretation of program transformations.
- Towards virtual traits in Scala.
- Sound type-dependent syntactic language extension.
- SugarJ: library-based language extensibility.
- SugarJ: library-based syntactic language extensibility.
- Toward variability-aware testing.
- Modular capture avoidance for program transformations.
- An extensible framework for variable-precision data-flow analyses in MPS.
- Tracing Program Transformations with String Origins.
- Towards secure integration of cryptographic software.
- Capture-Avoiding Program Transformations with name-fix.
- CPL: a core language for cloud computing.
- Incrementalizing lattice-based program analyses in Datalog
- The State of the Art in Language Workbenches - Conclusions from the Language Workbench Challenge.
- Type systems for the masses: deriving soundness proofs and efficient checkers.
- Principled syntactic code completion using placeholders.
- Template constructors for reusable object initialization.
- A Module-System Discipline for Model-Driven Software Development
- PIE: A Domain-Specific Language for Interactive Software Development Pipelines
- A Module-System Discipline for Model-Driven Software Development.
- Programming Language Techniques for Incremental and Reactive Computing (Dagstuhl Seminar 16402).
- Sound and reusable components for abstract interpretation
- Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2017, Vancouver, BC, Canada, October 23-24, 2017
- PIE: A Domain-Specific Language for Interactive Software Development Pipelines.
- Declarative specification of indentation rules: a tooling perspective on parsing and pretty-printing layout-sensitive languages.
- Exploration of language specifications by compilation to first-order logic
- Scalable incremental building with dynamic task dependencies.
- System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers.
- A Co-contextual Type Checker for Featherweight Java .
- Proceedings of the 9th ACM SIGPLAN International Symposium on Scala, SCALA@ICFP 2018, St. Louis, MO, USA, September 28, 2018
- Language-integrated privacy-aware distributed queries
- A Co-contextual Type Checker for Featherweight Java (incl. Proofs).
- Versatile event correlation with algebraic effects
- The IDE portability problem and its solution in Monto.
- Generating incremental type services.
- Incremental overload resolution in object-oriented programming languages.
Besitzt PublikationDie Publikationsliste für die Kategorie "Organisationseinheit" zeigt alle Publikationen, die der einzelnen Organisationseinheit direkt zugeordnet sind. Für eine Liste, die auch alle Publikationen von untergeordneten Organisationseinheiten inkludiert, nutzen Sie die Liste in der Facette "Organisationseinheit".
Teil von