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
- Principled syntactic code completion using placeholders.
- A Module-System Discipline for Model-Driven Software Development
- Compositional soundness proofs of abstract interpreters
- PIE: A Domain-Specific Language for Interactive Software Development Pipelines
- Modular and automated type-soundness verification for language extensions.
- Type-safe, Polyvariadic Event Correlation.
- Template constructors for reusable object initialization.
- Toward variability-aware testing.
- An extensible framework for variable-precision data-flow analyses in MPS.
- Modular capture avoidance for program transformations.
- 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.
- Towards virtual traits in Scala.
- Toward abstract interpretation of program transformations.
- Type systems for the masses: deriving soundness proofs and efficient checkers.
- Sound type-dependent syntactic language extension.
- SugarJ: library-based language extensibility.
- SugarJ: library-based syntactic language extensibility.
- 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.
- A Module-System Discipline for Model-Driven Software Development
- PIE: A Domain-Specific Language for Interactive Software Development Pipelines
Has propertyThe following list shows all publications with a direct relation to the organisational unit. To retrieve a list which includes publications of subordinate organisational units, use the search facet "Organizational structure".
Child of