Martin Erwig

Camden Lopez

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012

Learning-Based Test Programming for Programmers.

[BibT_eX]

[DOI]

Mohammad Amin Alipour

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

An error-tolerant type system for variational lambda calculus.

[BibT_eX]

[DOI]

Sheng Chen

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

Surveyor: a DSEL for representing and analyzing strongly typed surveys.

[BibT_eX]

[DOI]

Wyatt Allen

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

A calculus for modeling and implementing variation.

[BibT_eX]

[DOI]

Proceedings of the Generative Programming and Component Engineering, 2012

Faster program adaptation through reward attribution inference.

[BibT_eX]

[DOI]

Proceedings of the Generative Programming and Component Engineering, 2012

Explanations for Regular Expressions.

[BibT_eX]

[DOI]

Rahul Gopinath

Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011

The Choice Calculus: A Representation for Software Variation.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2011

Improving Policy Gradient Estimates with Influence Information.

[BibT_eX]

[DOI]

Proceedings of the 3rd Asian Conference on Machine Learning, 2011

The state of the art in end-user software engineering.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2011

A DSEL for Studying and Explaining Causation

[BibT_eX]

[DOI]

Proceedings of the Proceedings IFIP Working Conference on Domain-Specific Languages, 2011

Adaptation-Based Programming in Haskell

[BibT_eX]

[DOI]

Proceedings of the Proceedings IFIP Working Conference on Domain-Specific Languages, 2011

#ifdef confirmed harmful: Promoting understandable software variation.

[BibT_eX]

[DOI]

Duc Le

Proceedings of the 2011 IEEE Symposium on Visual Languages and Human-Centric Computing, 2011

Optimizing the Product Derivation Process.

[BibT_eX]

[DOI]

Sheng Chen

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

Semantics First! - Rethinking the Language Design Process.

[BibT_eX]

[DOI]

Proceedings of the Software Language Engineering - 4th International Conference, 2011

Adaptation-based programming in java.

[BibT_eX]

[DOI]

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

Variation Programming with the Choice Calculus.

[BibT_eX]

[DOI]

Proceedings of the Generative and Transformational Techniques in Software Engineering IV, 2011

2010

Reasoning about spreadsheets with labels and dimensions.

[BibT_eX]

[DOI]

J. Vis. Lang. Comput., 2010

Causal Reasoning with Neuron Diagrams.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2010

Automatically Inferring ClassSheet Models from Spreadsheets.

[BibT_eX]

[DOI]

Jácome Cunha

João Saraiva

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2010

SheetDiff: A Tool for Identifying Changes in Spreadsheets.

[BibT_eX]

[DOI]

Markus Luckey

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2010

Program fields for continuous software.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Future of Software Engineering Research, 2010

Robust Learning for Adaptive Programs by Leveraging Program Structure.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Conference on Machine Learning and Applications, 2010

A language for software variation research.

[BibT_eX]

[DOI]

Proceedings of the Generative Programming And Component Engineering, 2010

2009

Automatic detection of dimension errors in spreadsheets.

[BibT_eX]

[DOI]

J. Vis. Lang. Comput., 2009

Mutation Operators for Spreadsheets.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2009

Software Engineering for Spreadsheets.

[BibT_eX]

[DOI]

IEEE Softw., 2009

A domain-specific language for experimental game theory.

[BibT_eX]

[DOI]

J. Funct. Program., 2009

Visual explanations of probabilistic reasoning.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2009

Combining spatial and semantic label analysis.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2009

Declarative Scripting in Haskell.

[BibT_eX]

[DOI]

Tim Bauer

Proceedings of the Software Language Engineering, Second International Conference, 2009

Varying Domain Representations in Hagl.

[BibT_eX]

[DOI]

Proceedings of the Domain-Specific Languages, IFIP TC 2 Working Conference, 2009

A DSL for Explaining Probabilistic Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Domain-Specific Languages, IFIP TC 2 Working Conference, 2009

2008

Spreadsheet Programming.

[BibT_eX]

[DOI]

Margaret M. Burnett

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

A visual language for representing and explaining strategies in game theory.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2008

Dimension inference in spreadsheets.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2008

Test-driven goal-directed debugging in spreadsheets.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2008

2007

UCheck: A spreadsheet type checker for end users.

[BibT_eX]

[DOI]

J. Vis. Lang. Comput., 2007

Parametric Fortran: program generation in scientific computing.

[BibT_eX]

[DOI]

Ben Pflaum

J. Softw. Maintenance Res. Pract., 2007

An update calculus for expressing type-safe program updates.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2007

ClassSheets - model-based, object-oriented design of spreadsheet applications.

[BibT_eX]

[DOI]

J. Object Technol., 2007

Understanding and Building Spreadsheet Tools.

[BibT_eX]

[DOI]

Proceedings of the 2007 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 2007

A Type System Based on End-User Vocabulary.

[BibT_eX]

[DOI]

Scott Andrew

Proceedings of the 2007 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 2007

GoalDebug: A Spreadsheet Debugger for End Users.

[BibT_eX]

[DOI]

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Exploiting Domain-Specific Structures For End-User Programming Support Tools.

[BibT_eX]

[DOI]

Proceedings of the End-User Software Engineering, 18.02. - 23.02.2007, 2007

2006

Visual type inference.

[BibT_eX]

[DOI]

J. Vis. Lang. Comput., 2006

Functional Pearls: Probabilistic functional programming in Haskell.

[BibT_eX]

[DOI]

Steve Kollmansberger

J. Funct. Program., 2006

Gencel: a program generator for correct spreadsheets.

[BibT_eX]

[DOI]

J. Funct. Program., 2006

Sharing reasoning about faults in spreadsheets: An empirical study.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), 2006

AutoTest: A Tool for Automatic Test Case Generation in Spreadsheets.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), 2006

Type inference for spreadsheets.

[BibT_eX]

[DOI]

Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2006

Generic programming in Fortran.

[BibT_eX]

[DOI]

Ben Pflaum

Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006

Modeling Genome Evolution with a DSEL for Probabilistic Programming.

[BibT_eX]

[DOI]

Steve Kollmansberger

Proceedings of the Practical Aspects of Declarative Languages, 8th International Symposium, 2006

Inferring templates from spreadsheets.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

A generic recursion toolbox for Haskell or: scrap your boilerplate systematically.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2006

2005

Software reuse for scientific computing through program generation.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2005

How to communicate unit error messages in spreadsheets.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2005

Visual Specifications of Correct Spreadsheets.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 2005

Goal-Directed Debugging of Spreadsheets.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 2005

ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications.

[BibT_eX]

[DOI]

Gregor Engels

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

Automatic generation and maintenance of correct spreadsheets.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

2004

Monadification of functional programs.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2004

Escape from Zurg: an exercise in logic programming.

[BibT_eX]

[DOI]

J. Funct. Program., 2004

Header and Unit Inference for Spreadsheets Through Spatial Analyses.

[BibT_eX]

[DOI]

Proceedings of the 2004 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2004), 2004

Parametric Fortran - A Program Generator for Customized Generic Fortran Extensions.

[BibT_eX]

[DOI]

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

2003

A visual language for the evolution of spatial relationships and its translation into a spatio-temporal calculus.

[BibT_eX]

[DOI]

J. Vis. Lang. Comput., 2003

Xing: a visual XML query language.

[BibT_eX]

[DOI]

J. Vis. Lang. Comput., 2003

Programming Type-Safe Program Updates.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2003

Toward the Automatic Derivation of XML Transformations.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling for Novel Application Domains, 2003

KeyQuery - A Front End for the Automatic Translation of Keywords into Structured Queries.

[BibT_eX]

[DOI]

Jianglin He

Proceedings of the Database and Expert Systems Applications, 14th International Conference, 2003

Spatio-temporal Models and Languages: An Approach Based on Data Types.

[BibT_eX]

[DOI]

José Ramon Rios Viqueira

Proceedings of the Spatio-Temporal Databases: The CHOROCHRONOS Approach, 2003

2002

Spatio-Temporal Predicates.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2002

A rule-based language for programming software updates.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 2002

Visually Customizing Inference Rules About Apples and Oranges.

[BibT_eX]

[DOI]

Margaret M. Burnett

Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2002), 2002

Adding Apples and Oranges.

[BibT_eX]

[DOI]

Margaret M. Burnett

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

2001

Inductive graphs and functional graph algorithms.

[BibT_eX]

[DOI]

J. Funct. Program., 2001

Programs Are Abstract Data Types.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

2000

A foundation for representing and querying moving objects.

[BibT_eX]

[DOI]

Michalis Vazirgiannis

ACM Trans. Database Syst., 2000

The graph Voronoi diagram with applications.

[BibT_eX]

[DOI]

Networks, 2000

Pattern Guards and Transformational Patterns.

[BibT_eX]

[DOI]

Simon L. Peyton Jones

Proceedings of the 2000 ACM SIGPLAN Workshop on Haskell, 2000

A Visual Language for XML.

[BibT_eX]

[DOI]

Proceedings of the 2000 IEEE International Symposium on Visual Languages, 2000

Query-By-Trace: Visual Predicate Specification in Spatio-Temporal Databases.

[BibT_eX]

Proceedings of the Advances in Visual Information Management, 2000

Random Access to Abstract Data Types.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

1999

Spatio-Temporal Data Types: An Approach to Modeling and Querying Moving Objects in Databases.

[BibT_eX]

[DOI]

Michalis Vazirgiannis

GeoInformatica, 1999

Visual Specification of Spatio-Temporal Developments.

[BibT_eX]

[DOI]

Proceedings of the 1999 IEEE Symposium on Visual Languages, 1999

Visual Graphs.

[BibT_eX]

[DOI]

Proceedings of the 1999 IEEE Symposium on Visual Languages, 1999

The Honeycomb Model of Spatio-Temporal Partitions.

[BibT_eX]

[DOI]

Proceedings of the Spatio-Temporal Database Management, 1999

Developments in Spatio-Temporal Query Languages.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Database & Expert Systems Applications, 1999

Übersetzerbau - Techniken, Werkzeuge, Anwendungen

[BibT_eX]

Springer, ISBN: 3-540-65389-9, 1999

1998

Abstract Syntax and Semantics of Visual Languages.

[BibT_eX]

[DOI]

J. Vis. Lang. Comput., 1998

Diets for Fat Sets.

[BibT_eX]

[DOI]

J. Funct. Program., 1998

Visual Semantics - Or: What You See is What You Compute.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 1998 IEEE Symposium on Visual Languages, 1998

Abstract and Discrete Modeling of Spatio-Temporal Data Types.

[BibT_eX]

[DOI]

Michalis Vazirgiannis

Proceedings of the ACM-GIS '98, 1998

Temporal Objects for Spatio-Temporal Data Models and a Comparison of Their Representations.

[BibT_eX]

Proceedings of the Advances in Database Technologies, 1998

Categorical Programming with Abstract Data Types.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 1998

1997

Semantics of Visual Languages.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 1997 IEEE Symposium on Visual Languages, 1997

Vague Regions.

[BibT_eX]

[DOI]

Proceedings of the Advances in Spatial Databases, 1997

Fully Persistent Graphs - Which One To Choose?

[BibT_eX]

[DOI]

Proceedings of the Implementation of Functional Languages, 9th International Workshop, 1997

Functional Programming with Graphs.

[BibT_eX]

[DOI]

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

Partition and Conquer.

[BibT_eX]

[DOI]

Proceedings of the Spatial Information Theory: A Theoretical Basis for GIS, 1997

1996

Active Patterns.

[BibT_eX]

[DOI]

Proceedings of the Implementation of Functional Languages, 8th International Workshop, 1996

1995

Encoding shortest paths in spatial networks.

[BibT_eX]

[DOI]

Networks, 1995

Heterogeneous Visual Languages-Integrating Visual and Textual Programming.

[BibT_eX]

[DOI]

Bernd Meyer

Proceedings of the Proceedings 11th International IEEE Symposium on Visual Languages, 1995

1994

Graphs in spatial databases.

[BibT_eX]

[DOI]

PhD thesis, 1994

Explicit Graphs in a Functional Model for Spatial Databases.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 1994

Graphs in Spatial Databases.

[BibT_eX]

GI Datenbank Rundbrief, 1994

DEAL - A Language for Depicting Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Proceedings IEEE Symposium on Visual Languages, 1994

1993

Spezifikation von Datenmodellen mittels mehrstufiger Algebra.

[BibT_eX]

Proceedings of the Tagung des Arbeitskreises der GI Datenbanken: Grundlagen von Informationssystemen, 1993

Specifying Type Systems with Multi-Level Order-Sorted Algebra.

[BibT_eX]

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

1992

Graph Algorithms = Iteration + Data Structures? The Structure of Graph Algorithms and a Corresponding Style of Programming.

[BibT_eX]

[DOI]

Proceedings of the Graph-Theoretic Concepts in Computer Science, 1992

Modellierung von Netzen in Geo-Datenbanken.

[BibT_eX]

Proceedings of the Kurzfassungen des 4. GI-Workshops "Grundlagen von Datenbanken", 1992

1991

A Functional DBPL Revealing High Level Optimizations.

[BibT_eX]