Peter Thiemann

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

From \omega -Regular Expressions to Büchi Automata via Partial Derivatives.

[BibT_eX]

[DOI]

Martin Sulzmann

Proceedings of the Language and Automata Theory and Applications, 2015

Derivatives for Regular Shuffle Expressions.

[BibT_eX]

[DOI]

Martin Sulzmann

Proceedings of the Language and Automata Theory and Applications, 2015

Blame assignment for higher-order contracts with intersection and union.

[BibT_eX]

[DOI]

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

TreatJS: Higher-Order Contracts for JavaScripts.

[BibT_eX]

[DOI]

Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

2014

Software Contracts for Communication, Monitoring, and Security (NII Shonan Meeting 2014-6).

[BibT_eX]

[DOI]

Atsushi Igarashi

NII Shonan Meet. Rep., 2014

Scripting Languages and Frameworks: Analysis and Verification (Dagstuhl Seminar 14271).

[BibT_eX]

[DOI]

Fritz Henglein

Ranjit Jhala

Shriram Krishnamurthi

Dagstuhl Reports, 2014

Session Types with Gradual Typing.

[BibT_eX]

[DOI]

Proceedings of the Trustworthy Global Computing - 9th International Symposium, 2014

Side effect monitoring for Java using bytecode rewriting.

[BibT_eX]

[DOI]

Manuel Geffken

Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, 2014

A Type Theoretic Specification of Partial Evaluation.

[BibT_eX]

[DOI]

Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014

Precise Interprocedural Side-Effect Analysis.

[BibT_eX]

[DOI]

Manuel Geffken

Hannes Saffrich

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

Symbolic Solving of Extended Regular Expression Inequalities.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014

Towards Specializing JavaScript Programs.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of System Informatics, 2014

2013

On the Proxy Identity Crisis.

[BibT_eX]

[DOI]

CoRR, 2013

Towards Tree Automata-based Success Types.

[BibT_eX]

[DOI]

Robert Jakob

CoRR, 2013

Type-based dependency analysis for javascript.

[BibT_eX]

[DOI]

Proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, 2013

Partially static operations.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, 2013

Circularity and Lambda Abstraction: From Bird to Pettorossi and back.

[BibT_eX]

[DOI]

Olivier Danvy

Ian Zerny

Proceedings of the 25th Symposium on Implementation and Application of Functional Languages, 2013

Efficient dynamic access analysis using JavaScript proxies.

[BibT_eX]

[DOI]

Proceedings of the DLS'13, 2013

Gradual Security Typing with References.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE 26th Computer Security Foundations Symposium, 2013

2012

The interaction of contracts and laziness.

[BibT_eX]

[DOI]

High. Order Symb. Comput., 2012

JSConTest: Contract-Driven Testing and Path Effect Inference for JavaScript.

[BibT_eX]

[DOI]

J. Object Technol., 2012

The Blame Theorem for a Linear Lambda Calculus with Type Dynamic.

[BibT_eX]

[DOI]

Proceedings of the Trends in Functional Programming - 13th International Symposium, 2012

Access permission contracts for scripting languages.

[BibT_eX]

[DOI]

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

Rethinking Java call stack design for tiny embedded devices.

[BibT_eX]

[DOI]

Faisal Aslam

Ghufran Baig

Mubashir Adnan Qureshi

Zartash Afzal Uzmi

Christian Schindelhauer

Elmar Haussmann

Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2012

Agda Meets Accelerate.

[BibT_eX]

[DOI]

Manuel M. T. Chakravarty

Proceedings of the Implementation and Application of Functional Languages, 2012

2011

JavaGI: The Interaction of Type Classes with Interfaces and Inheritance.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2011

On the Decidability of Subtyping with Bounded Existential Types and Implementation Constraints.

[BibT_eX]

[DOI]

New Gener. Comput., 2011

A Heuristic Approach for Computing Effects.

[BibT_eX]

[DOI]

Proceedings of the Objects, Models, Components, Patterns - 49th International Conference, 2011

Offline GC: trashing reachable objects on tiny devices.

[BibT_eX]

[DOI]

Faisal Aslam

Christian Schindelhauer

Zartash Afzal Uzmi

Proceedings of the 9th International Conference on Embedded Networked Sensor Systems, 2011

Proving Isolation Properties for Software Transactional Memory.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2011

2010

Mnemonics: type-safe bytecode generation at run time.

[BibT_eX]

[DOI]

Johannes Rudolph

High. Order Symb. Comput., 2010

Eager and delayed contract monitoring for call-by-value and call-by-name evaluation.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2010

Special Issue Dedicated to ICFP 2008 Editorial.

[BibT_eX]

[DOI]

Henrik Nilsson

J. Funct. Program., 2010

Contract-Driven Testing of JavaScript Code.

[BibT_eX]

[DOI]

Proceedings of the Objects, Models, Components, Patterns, 48th International Conference, 2010

DOM Transactions for Testing JavaScript.

[BibT_eX]

[DOI]

Proceedings of the Testing, 2010

Typing Coroutines.

[BibT_eX]

[DOI]

Konrad Anton

Proceedings of the Trends in Functional Programming - 11th International Symposium, 2010

Interprocedural Analysis with Lazy Propagation.

[BibT_eX]

[DOI]

Simon Holm Jensen

Anders Møller

Proceedings of the Static Analysis - 17th International Symposium, 2010

Brief announcement: actions in the twilight - concurrent irrevocable transactions and inconsistency repair.

[BibT_eX]

[DOI]

Arie Middelkoop

Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, 2010

Tag-Free Combinators for Binding-Time Polymorphic Program Generation.

[BibT_eX]

[DOI]

Martin Sulzmann

Proceedings of the Functional and Logic Programming, 10th International Symposium, 2010

Recency Types for Analyzing Scripting Languages.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2010, 2010

Optimized Java Binary and Virtual Machine for Tiny Motes.

[BibT_eX]

[DOI]

Faisal Aslam

Christian Schindelhauer

Proceedings of the Distributed Computing in Sensor Systems, 2010

Towards Deriving Type Systems and Implementations for Coroutines.

[BibT_eX]

[DOI]

Konrad Anton

Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010

2009

Type Analysis for JavaScript.

[BibT_eX]

[DOI]

Simon Holm Jensen

Anders Møller

Proceedings of the Static Analysis, 16th International Symposium, 2009

JavaGI in the battlefield: practical experience with generalized interfaces.

[BibT_eX]

[DOI]

Proceedings of the Generative Programming and Component Engineering, 2009

True Lies: Lazy Contracts for Lazy Languages.

[BibT_eX]

[DOI]

Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009

How to CPS Transform a Monad.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 18th International Conference, 2009

On the Decidability of Subtyping with Bounded Existential Types.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 7th Asian Symposium, 2009

2008

Editorial.

[BibT_eX]

[DOI]

High. Order Symb. Comput., 2008

Macros for context-free grammars.

[BibT_eX]

[DOI]

Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

Htdp and dmda in the battlefield: a case study in first-year programming instruction.

[BibT_eX]

[DOI]

Proceedings of the 2008 international workshop on Functional and declarative programming in education, 2008

Placement Inference for a Client-Server Calculus.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008

The Relation of Version Control to Concurrent Programming.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computer Science and Software Engineering, 2008

Interface Types for Haskell.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008

2007

JavaGI : Generalized Interfaces for Java.

[BibT_eX]

[DOI]

Ralf Lämmel

Proceedings of the ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30, 2007

Tracking Linear and Affine Resources with Java(X).

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30, 2007

07051 Abstracts Collection -- Programming Paradigms for the Web: Web Programming and Web Services.

[BibT_eX]

[DOI]

Richard Hull

Proceedings of the Programming Paradigms for the Web: Web Programming and Web Services, 28.01., 2007

07051 Working Group Outcomes -- Programming Paradigms for the Web: Web Programming and Web Services.

[BibT_eX]

[DOI]

Richard Hull

Proceedings of the Programming Paradigms for the Web: Web Programming and Web Services, 28.01., 2007

07051 Executive Summary -- Programming Paradigms for the Web: Web Programming and Web Services.

[BibT_eX]

[DOI]

Richard Hull

Proceedings of the Programming Paradigms for the Web: Web Programming and Web Services, 28.01., 2007

2006

Waitomo, eine interface-orientierte Programmiersprache.

[BibT_eX]

[DOI]

Softwaretechnik-Trends, 2006

Editorial.

[BibT_eX]

[DOI]

High. Order Symb. Comput., 2006

Integration of an Action Language Via UML Action Semantics.

[BibT_eX]

[DOI]

Claudius Heitz

Thomas Wölfle

Proceedings of the Trends in Enterprise Application Architecture, 2006

A Spreadsheet Client for Web Applications.

[BibT_eX]

[DOI]

Dirk Draheim

Gerald Weber

Proceedings of the Next Generation Information Technologies and Systems, 2006

User-level transactional programming in Haskell.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2006

WASH Server Pages.

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming, 8th International Symposium, 2006

Field Access Analysis for Enforcing Access Control Policies.

[BibT_eX]

[DOI]

Kathrin Lehmann

Proceedings of the Emerging Trends in Information and Communication Security, 2006

2005

An embedded domain-specific language for type-safe server-side web scripting.

[BibT_eX]

[DOI]

ACM Trans. Internet Techn., 2005

Grammar-based analysis of string expressions.

[BibT_eX]

[DOI]

Proceedings of TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2005

From sequential programs to multi-tier applications by program transformation.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

Towards a Type System for Analyzing JavaScript Programs.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2005

A Type Safe DOM API.

[BibT_eX]

[DOI]

Proceedings of the Database Programming Languages, 10th International Symposium, 2005

2004

Polymorphic specialization for ML.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2004

Editorial: Theme Issue on Partial Evaluation and Semantics-Based Program Manipulation.

[BibT_eX]

[DOI]

Wei-Ngan Chin

Olivier Danvy

High. Order Symb. Comput., 2004

Introduction to the Special Issue on Dependent Type Theory Meets Practical Programming.

[BibT_eX]

[DOI]

Gilles Barthe

Peter Dybjer

J. Funct. Program., 2004

Parameterized LR Parsing.

[BibT_eX]

[DOI]

Proceedings of the Fourth Workshop on Language Descriptions, Tools, and Applications, 2004

An Implementation of Session Types.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004

Haskell type browser.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2004

Static Analysis of the Frequency of Change.

[BibT_eX]

[DOI]

Proceedings of the 34. Jahrestagung der Gesellschaft für Informatik, 2004

Protocol Specialization.

[BibT_eX]

[DOI]

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

Server-Side Web Programming in WASH.

[BibT_eX]

[DOI]

Proceedings of the Advanced Functional Programming, 2004

2003

The marriage of effects and monads.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2003

Program specialization for execution monitoring.

[BibT_eX]

[DOI]

J. Funct. Program., 2003

Continuation-Based Partial Evaluation without Continuations.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 10th International Symposium, 2003

Discriminative sum types locate the source of type errors.

[BibT_eX]

[DOI]

Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

XML templates and caching in WASH.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2003

2002

A typed representation for HTML and XML documents in Haskell.

[BibT_eX]

[DOI]

J. Funct. Program., 2002

Syntactic Type Soundness Results for the Region Calculus.

[BibT_eX]

[DOI]

Cristiano Calcagno

Inf. Comput., 2002

Programmable Type Systems for Domain Specific Languages.

[BibT_eX]

[DOI]

Proceedings of the 11th International Workshop on Functional and (Constraint) Logic Programming, 2002

Preface.

[BibT_eX]

[DOI]

Gilles Barthe

Proceedings of the International Workshop in Types in Programming, 2002

Functional logic overloading.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2002

WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 4th International Symposium, 2002

Type classes with more higher-order polymorphism.

[BibT_eX]

[DOI]

Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), 2002

A Prototype Dependency Calculus.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2002

2001

Enforcing Safety Properties Using Type Specialization.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2001

2000

Generation of LR parsers by partial evaluation.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2000

Syntactic Type Soundness for the Region Calculus.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Higher Order Operational Techniques in Semantics, 2000

Fragmental Specialization.

[BibT_eX]

[DOI]

Proceedings of the Semantics, 2000

Modeling HTML in Haskell.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2000

An Algebraic Foundation for Adaptive Programming.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2000

Compiling Adaptive Programs by Partial Evaluation.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 9th International Conference, 2000

1999

Combinators for Program Generation.

[BibT_eX]

[DOI]

J. Funct. Program., 1999

Interpreting Specialization in Type Theory.

[BibT_eX]

Proceedings of the 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, 1999

Higher-Order Code Splicing.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 1999

1998

1998 Symposium on Partial Evaluation.

[BibT_eX]

[DOI]

Olivier Danvy

Robert Glück

ACM Comput. Surv., 1998

Formalizing Resourve Allocation in a Compiler.

[BibT_eX]

[DOI]

Proceedings of the Types in Compilation, Second International Workshop, 1998

Single and Loving It: Must-Alias Analysis for Higher-Order Languages.

[BibT_eX]

[DOI]

Proceedings of the POPL '98, 1998

Aspects of the PGG System: Specialization for Standard Scheme.

[BibT_eX]

[DOI]

Proceedings of the Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, Copenhagen, Denmark, June 29, 1998

A Generic Framework for Specialization (Abridged Version).

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28, 1998

Two Flavors of Offline Partial Evaluation.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computing Science, 1998

1997

Drawing Syntax Diagrams in Haskell.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1997

Correctness of a region-based binding-time analysis.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, 1997

Monadic Type Systems: Pure Type Systems for Impure Settings.

[BibT_eX]

[DOI]

Gilles Barthe

John Hatcliff

Proceedings of the Second Workshop on Higher-Order Operational Techniques in Semantics, 1997

A Unified Framework for Binding-Time Analysis.

[BibT_eX]

[DOI]

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

Sound Specialization in the Presence of Computational Effects.

[BibT_eX]

[DOI]

Julia L. Lawall

Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997

Two for the Price of One: Composing Partial Evaluation and Compilation.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation (PLDI), 1997

Type Specialization for Imperative Languages.

[BibT_eX]

[DOI]

Dirk Dussart

John Hughes

Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), 1997

Program Generation with Class.

[BibT_eX]

[DOI]

Proceedings of the Informatik '97, 1997

Distributed partial evaluation.

[BibT_eX]

[DOI]

Herbert Klaeren

Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, 1997

1996

Bootstrapping higher-order program transformers from interpreters.

[BibT_eX]

[DOI]

Robert Glück

Proceedings of the 1996 ACM Symposium on Applied Computing, 1996

Implementing Memoization for Partial Evaluation.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages: Implementations, 1996

Realistic Compilation by Partial Evaluation.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), 1996

Cogen in Six Lines.

[BibT_eX]

[DOI]

Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, 1996

Polyvariant Expansion and Compiler Generators.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of System Informatics, 1996

Synchronization Analyses for Multiple Recursion Parameters (Extended Abstract).

[BibT_eX]

[DOI]

Wei-Ngan Chin

Siau-Cheng Khoo

Proceedings of the Partial Evaluation, International Seminar, 1996

1995

The Essence of LR Parsing.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1995

Unboxed Values and Polymorphic Typing Revisited.

[BibT_eX]

[DOI]

Proceedings of the seventh international conference on Functional programming languages and computer architecture, 1995

1994

Higher-Order Redundancy Elimination.

[BibT_eX]

Proceedings of the PEPM'94, 1994

Grundlagen der funktionalen Programmierung.

[BibT_eX]

Leitfäden der Informatik, Teubner, ISBN: 978-3-519-02137-7, 1994

1993

Optimizing Structural Recursion in Functional Programs.

[BibT_eX]

[DOI]

Comput. Lang., 1993

Avoiding Repeated Tests in Pattern Matching.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, Third International Workshop, 1993

A Safety Analysis for Functional Programs.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1993

An Overview of the SODA System.

[BibT_eX]

Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

1992

LaToKi: A Language Toolkit for Bottom-Up Evaluation of Functional Programs.

[BibT_eX]

[DOI]

Proceedings of the Programming Language Implementation and Logic Programming, 1992

1991

Konzepte zur effizienten Implementierung strukturell rekursiver Programme.

[BibT_eX]

[DOI]

PhD thesis, 1991

1990

A Clean Modula-2 Interface to Abstract Data Types.

[BibT_eX]

Herbert Klaeren