Klaus Ostermann

Proceedings of the TyDe '22: 7th ACM SIGPLAN International Workshop on Type-Driven Development, 2022

Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2022

2020

Compiling effect handlers in capability-passing style.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2020

Effects as capabilities: effect handlers and lightweight effect polymorphism.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2020

Decomposition diversity with symmetric data and codata.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2020

Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala.

[BibT_eX]

[DOI]

J. Funct. Program., 2020

SCAPA: Development of a Questionnaire Assessing Self-Concept and Attitudes Toward Programming.

[BibT_eX]

[DOI]

Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education, 2020

2019

Development of a Questionnaire on Self-concept, Motivational Beliefs, and Attitude Towards Programming.

[BibT_eX]

[DOI]

Proceedings of the 14th Workshop in Primary and Secondary Computing Education, 2019

2018

Denotational validation of higher-order Bayesian inference.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2018

Effect handlers for the masses.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2018

Dualizing Generalized Algebraic Data Types by Matrix Transposition.

[BibT_eX]

[DOI]

Julian Jabs

Proceedings of the Programming Languages and Systems, 2018

2017

A Module-System Discipline for Model-Driven Software Development.

[BibT_eX]

[DOI]

Art Sci. Eng. Program., 2017

2016

System f-omega with equirecursive types for datatype-generic programming.

[BibT_eX]

[DOI]

Yufei Cai

Paolo G. Giarrusso

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Parsing with first-class derivatives.

[BibT_eX]

[DOI]

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

2015

Automatic refunctionalization to a language with copattern matching: with applications to the expression problem.

[BibT_eX]

[DOI]

Julia Trieflinger

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

2014

Variability Mining: Consistent Semi-automatic Detection of Product-Line Features.

[BibT_eX]

[DOI]

Alexander Dreiling

IEEE Trans. Software Eng., 2014

Evolution of Software Systems with Extensible Languages and DSLs.

[BibT_eX]

[DOI]

Stefan Fehrenbach

IEEE Softw., 2014

A theory of changes for higher-order languages: incrementalizing λ-calculi by static differentiation.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

From object algebras to attribute grammars.

[BibT_eX]

[DOI]

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Projectional editing of variational software.

[BibT_eX]

[DOI]

Eric Walkingshaw

Proceedings of the Generative Programming: Concepts and Experiences, 2014

2013

Adding configuration to the choice calculus.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, 2013

Software Evolution to Domain-Specific Languages.

[BibT_eX]

[DOI]

Stefan Fehrenbach

Proceedings of the Software Language Engineering - 6th International Conference, 2013

Reify your collection queries for modularity and speed!

[BibT_eX]

[DOI]

Proceedings of the Aspect-Oriented Software Development, 2013

2012

Layout-Sensitive Generalized Parsing.

[BibT_eX]

[DOI]

Proceedings of the Software Language Engineering, 5th International Conference, 2012

A variability-aware module system.

[BibT_eX]

[DOI]

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Reifying and optimizing collection queries for modularity.

[BibT_eX]

[DOI]

Proceedings of the SPLASH'12, 2012

Layout-sensitive language extensibility with SugarHaskell.

[BibT_eX]

[DOI]

Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, 2012

Toward variability-aware testing.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Feature-Oriented Software Development, 2012

2011

Partial preprocessing C code for variability analysis.

[BibT_eX]

[DOI]

Paolo G. Giarrusso

Proceedings of the Fifth International Workshop on Variability Modelling of Software-Intensive Systems, 2011

The road to feature modularity?

[BibT_eX]

[DOI]

Sven Apel

Proceedings of the Software Product Lines - 15th International Conference, 2011

Variability-aware parsing in the presence of lexical macros and conditional compilation.

[BibT_eX]

[DOI]

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

SugarJ: library-based syntactic language extensibility.

[BibT_eX]

[DOI]

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

SugarJ: library-based language extensibility.

[BibT_eX]

[DOI]

Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Library-based model-driven software development with SugarJ.

[BibT_eX]

[DOI]

Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Growing a language environment with editor libraries.

[BibT_eX]

[DOI]

Proceedings of the Generative Programming And Component Engineering, 2011

Revisiting Information Hiding: Reflections on Classical and Nonclassical Modularity.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2011 - Object-Oriented Programming, 2011

2010

Featherweight TeX and Parser Correctness.

[BibT_eX]

[DOI]

Sebastian Thore Erdweg

Proceedings of the Software Language Engineering - Third International Conference, 2010

A Meta-Aspect Protocol for Developing Dynamic Analyses.

[BibT_eX]

[DOI]

Michael Achenbach

Proceedings of the Runtime Verification - First International Conference, 2010

Modular logic metaprogramming.

[BibT_eX]

[DOI]

Karl Klose

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Invertible syntax descriptions: unifying parsing and pretty printing.

[BibT_eX]

[DOI]

Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, 2010

Modular domain-specific language components in scala.

[BibT_eX]

[DOI]

Christian Hofer

Proceedings of the Generative Programming And Component Engineering, 2010

2009

A Classification Framework for Pointcut Languages in Runtime Monitoring.

[BibT_eX]

[DOI]

Karl Klose

Proceedings of the Objects, Components, Models and Patterns, 47th International Conference, 2009

Engineering Abstractions in Model Checking and Testing.

[BibT_eX]

[DOI]

Michael Achenbach

Proceedings of the Ninth IEEE International Working Conference on Source Code Analysis and Manipulation, 2009

Typed self-representation.

[BibT_eX]

[DOI]

Christian Hofer

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

2008

Nominal and Structural Subtyping in Component-Based Programming.

[BibT_eX]

[DOI]

J. Object Technol., 2008

Polymorphic embedding of dsls.

[BibT_eX]

[DOI]

Proceedings of the Generative Programming and Component Engineering, 2008

Reasoning about aspects with common sense.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Aspect-Oriented Software Development, 2008

2007

Clustering for Generating Framework Top-Level Views.

[BibT_eX]

[DOI]

Proceedings of the 14th Working Conference on Reverse Engineering (WCRE 2007), 2007

Partial Evaluation of Pointcuts.

[BibT_eX]

[DOI]

Karl Klose

Michael Leuschel

Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007

Automatic Incrementalization of Prolog Based Static Analyses.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007

Dependent classes.

[BibT_eX]

[DOI]

Vaidas Gasiunas

Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Aspects and modular reasoning in nonmonotonic logic.

[BibT_eX]

[DOI]

Proceedings of the 6th Workshop on Foundations of Aspect-Oriented Languages, 2007

On the relation of aspects and monads.

[BibT_eX]

[DOI]

Christian Hofer

Proceedings of the 6th Workshop on Foundations of Aspect-Oriented Languages, 2007

2006

An Overview of CaesarJ.

[BibT_eX]

[DOI]

LNCS Trans. Aspect Oriented Softw. Dev., 2006

A virtual class calculus.

[BibT_eX]

[DOI]

Erik Ernst

William R. Cook

Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006

Integrating and Scheduling an Open Set of Static Analyses.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

Software extension and integration with type classes.

[BibT_eX]

[DOI]

Ralf Lämmel

Proceedings of the Generative Programming and Component Engineering, 2006

2005

Expressive Pointcuts for Increased Modularity.

[BibT_eX]

[DOI]

Christoph Bockisch

Proceedings of the ECOOP 2005, 2005

2004

XIRC: A Kernel for Cross-Artifact Information Engineering in Software Development Environments.

[BibT_eX]

[DOI]

Proceedings of the 11th Working Conference on Reverse Engineering, 2004

A Comparison of Program Generation with Aspect-Oriented Programming.

[BibT_eX]

[DOI]

Proceedings of the Unconventional Programming Paradigms, 2004

Variability management with feature-oriented programming and aspects.

[BibT_eX]

[DOI]

Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31, 2004

Pointcuts as Functional Queries.

[BibT_eX]

[DOI]

Michael Eichberg

Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004

Virtual machine support for dynamic join points.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Aspect-Oriented Software Development, 2004

2003

Modules for hierarchical and crosscutting models.

[BibT_eX]

[DOI]

PhD thesis, 2003

On aspectualizing component models.

[BibT_eX]

[DOI]

Roman Pichler

Softw. Pract. Exp., 2003

Bessere Software durch Querschneidende Module.

[BibT_eX]

[DOI]

Proceedings of the Ausgezeichnete Informatikdissertationen 2003, 2003

Conquering aspects with Caesar.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Aspect-Oriented Software Development, 2003

Modules for Crosscutting Models.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 2003

2002

Integrating independent components with on-demand remodularization.

[BibT_eX]

[DOI]

Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2002

Dynamically Composable Collaborations with Delegation Layers.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2002, 2002

2001

Object-Oriented Composition Untangled.

[BibT_eX]

[DOI]