- Specifying Type Systems with MultiLevel OrderSorted Algebra y
- Temporal Objects for SpatioTemporal Data Models and a Comparison of Their Representations*
- Vague Regions Martin Erwig & Markus Schneider
- Visually Customizing Inference Rules About Apples and Oranges Margaret Burnett # and Martin Erwig
- KeyQuery --A Front End for the Automatic Translation of Keywords into Structured Queries
- A Visual Language for the Evolution of Spatial Relationships and its Translation into a SpatioTemporal Calculus
- Toward Sharing Reasoning to Improve Fault Localization in Spreadsheets
- Xing: A Visual XML Query Language Martin Erwig
- JFP: page 1 of 17. c Cambridge University Press 2009 doi:10.1017/S0956796809990220
- A DSL for Explaining Probabilistic Reasoning Martin Erwig and Eric Walkingshaw
- Partition and Conquer Martin Erwig & Markus Schneider
- Abstract and Discrete Modeling of Spatio-Temporal Data Types*
- SDH 2000 ~ Conference Proceedings Formalization of Advanced Map Operations
- SDH 2000 Conference Proceedings Formalization of Advanced Map Operations
- Generic Programming in Fortran Martin Erwig Zhe Fu Ben Pflaum
- Programs are Abstract Data Types Martin Erwig
- Xing: A Visual XML Query Language Martin Erwig
- Abstract Visual Syntax Martin Erwig
- Dimension Inference in Spreadsheets Chris Chambers
- We introduce visual graphs as an intermediate repre sentation between concrete visual syntax and abstract
- GoalDebug: A Spreadsheet Debugger for End Users Robin Abraham
- Automatic detection of dimension errors in spreadsheets Chris Chambers, Martin Erwig
- Fully Persistent Graphs Which One To Choose? Martin Erwig
- Adding Apples and Oranges Martin Erwig and Margaret Burnett
- Random Access to Abstract Data Types ? Martin Erwig
- Sharing reasoning about faults in spreadsheets: An empirical study Joseph Lawrance, Robin Abraham, Margaret Burnett, Martin Erwig
- A Foundation for Representing and Querying Moving Objects \Lambda Ralf Hartmut Guting y , Michael H. Bohlen z , Martin Erwig y , Christian S. Jensen z ,
- In: XML 2000 XML Queries and Transformations for End Users
- STQL ---A SPATIOTEMPORAL QUERYLANGUAGE Martin Erwig
- Explicit Graphs in a Functional Model for Spatial Databases
- Explicit Graphs in a Functional Model for Spatial Databases
- The Graph Voronoi Diagram with Applications Martin Erwig
- Abstract Syntax and Semantics of Visual Languages Martin Erwig
- A Visual Language for Representing and Explaining Strategies in Game Theory Martin Erwig
- Causal Reasoning with Neuron Diagrams Martin Erwig
- TypeSafe Update Programming Martin Erwig and Deling Ren
- The Honeycomb Model of SpatioTemporal Partitions ?
- The Categorical Imperative --Or: How to Hide Your State Monads
- A Functional DBPL Revealing High Level Optimizations
- Revised version of: October 10, 2002 1 A RuleBased Language for Programming Software Updates
- Toward Spatiotemporal Patterns Martin Erwig
- In: XML 2000 XML Queries and Transformations for End Users
- Abstract and Discrete Modeling of SpatioTemporal Data Types*
- Design of SpatioTemporal Query Languages --Workshop Position Paper --
- After more than a decade of research, visual lan-guages have still not become everyday programming tools.
- Toward the Automatic Derivation of XML Transformations
- Under consideration for publication in J. Functional Programming 1 Inductive Graphs and
- KeyQuery A Front End for the Automatic Translation of Keywords into Structured Queries
- SpatioTemporal Predicates Martin Erwig
- Abstract Visual Syntax Martin Erwig
- Temporal Objects for Spatio-Temporal Data Models and a Comparison of Their Representations*
- A Generic Recursion Toolbox for Haskell Or: Scrap Your Boilerplate Systematically
- Software Engineering for Spreadsheets Martin Erwig
- STQL --A SPATIO-TEMPORAL QUERY LANGUAGE Martin Erwig
- We introduce visual graphs as an intermediate repre-sentation between concrete visual syntax and abstract
- Visual Type Inference Martin Erwig
- SheetDiff: A Tool for Identifying Changes in Spreadsheets Chris Chambers
- Type-Safe Update Programming Martin Erwig and Deling Ren
- Developments in Spatio-Temporal Query Languages Martin Erwig & Markus Schneider
- In: 8th Int. WS on Implementation of Functional Languages, 1996, LNCS 1268, 2140. Active Patterns
- After more than a decade of research, visual lan guages have still not become everyday programming tools.
- In: Haskell Workshop 2000 Pattern Guards and Transformational Patterns
- Random Access to Abstract Data Types Martin Erwig
- Explicit Graphs in a Functional Model for Spatial Databases
- Developments in SpatioTemporal Query Languages \Lambda Martin Erwig & Markus Schneider
- A Visual Language for XML Martin Erwig
- The Choice Calculus: A Representation for Software Variation
- Robust Learning for Adaptive Programs by Leveraging Program Structure Jervis Pinto, Alan Fern, Tim Bauer, and Martin Erwig
- Automatically Inferring ClassSheet Models from Spreadsheets Jacome Cunha
- The State of the Art in End-User Software Engineering ANDREW J. KO
- Declarative Scripting in Haskell Tim Bauer and Martin Erwig
- Visual Explanations of Probabilistic Reasoning Martin Erwig
- Varying Domain Representations in Hagl Extending the Expressiveness of a DSL for
- Spreadsheet Programming Robin Abraham, Microsoft Corporation
- A Type System Based on End-User Vocabulary Robin Abraham and Martin Erwig and Scott Andrew
- Science of Computer Programming 67 (2007) 199222 www.elsevier.com/locate/scico
- UCheck: A Spreadsheet Type Checker for End Users*
- AutoTest: A Tool for Automatic Test Case Generation in Spreadsheets Robin Abraham and Martin Erwig
- Type Inference for Spreadsheets Robin Abraham Martin Erwig
- Inferring Templates from Spreadsheets Robin Abraham
- Modeling Genome Evolution with a DSEL for Probabilistic Programming
- Under consideration for publication in J. Functional Programming 1 FUNCTIONAL PEARLS
- Goal-Directed Debugging of Spreadsheets Robin Abraham and Martin Erwig
- Visual Specifications of Correct Spreadsheets Robin Abraham Martin Erwig Steve Kollmansberger Ethan Seifert
- Automatic Generation and Maintenance of Correct Spreadsheets
- Header and Unit Inference for Spreadsheets Through Spatial Analyses Robin Abraham and Martin Erwig
- Monadification of Functional Programs Martin Erwig a
- Parametric Fortran A Program Generator for Customized Generic Fortran Extensions
- Under consideration for publication in J. Functional Programming 1 EDUCATIONAL PEARL
- A Visual Language for the Evolution of Spatial Relationships and its Translation into a Spatio-Temporal Calculus
- Revised version of: October 10, 2002 1 A Rule-Based Language for Programming Software Updates
- Design of Spatio-Temporal Query Languages Workshop Position Paper
- Programs are Abstract Data Types Martin Erwig
- A Visual Language for XML Martin Erwig
- The formal treatment of visual languages is often based on graph representations. Since the matter of discourse is
- We introduce a visual language for the specification of tem-porally changing spatial situations. The main idea is to rep-
- Abstract Syntax and Semantics of Visual Languages Martin Erwig
- The effective use of visual languages requires a precise understanding of their meaning. Moreover, it is impossible
- A Functional DBPL Revealing High Level Optimizations
- Test-Driven Goal-Directed Debugging in Spreadsheets Robin Abraham
- QUERY-BY-TRACE: VISUAL PREDICATE SPECIFICATION IN
- Combining Spatial and Semantic Label Analysis Chris Chambers
- JOURNAL OF SOFTWARE MAINTENANCE AND EVOLUTION: RESEARCH AND PRACTICE J. Softw. Maint. Evol.: Res. Pract. 2007; 00:17 Prepared using smrauth.cls [Version: 2003/05/07 v1.1]
- J. Functional Programming 1 (1): 1-000, January 1993 Oc1993 Cambridge Universit* *y Press 1
- In: Haskell Wo* *rkshop 2000
- QUERYBYTRACE: VISUAL PREDICATE SPECIFICATION IN
- Program Fields for Continuous Software Martin Erwig
- Mutation Operators for Spreadsheets Robin Abraham and Martin Erwig, Member, IEEE
- Toward the Automatic Derivation of XML Transformations
- A Language for Software Variation Research Martin Erwig
- J. Functional Programming 1 (1): 1--000, January 1993 c fl 1993 Cambridge University Press 1
- SpatioTemporal Data Types: An Approach to Modeling and Querying
- Under consideration for publication in J. Functional Programming 1 Gencel: A Program Generator for Correct
- How to Communicate Unit Error Messages in Spreadsheets Robin Abraham and Martin Erwig
- Vague Regions Martin Erwig & Markus Schneider
- In: 8th Int. WS on Implementation of Functional Languages, 1996, LNCS 1268, 21-* Active Patterns
- Developments in Spatio-Temporal Query Languages Martin Erwig & Markus Schneider
- The Categorical Imperative -Or: How to Hide Your State Monads
- Visually Customizing Inference Rules About Apples and Oranges Margaret Burnett and Martin Erwig
- Fully Persistent Graphs --Which One To Choose? Martin Erwig
- The effective use of visual languages requires a precise understanding of their meaning. Moreover, it is impossible
- The formal treatment of visual languages is often based on graph representations. Since the matter of discourse is
- Explicit Graphs in a Functional Model for Spatial Databases
- Partition and Conquer Martin Erwig & Markus Schneider
- Adding Apples and Oranges Martin Erwig and Margaret Burnett
- Functional Programming with Graphs Martin Erwig
- Categorical Programming with Abstract Data Types
- Categorical Programming with Abstract Data Types
- Specifying Type Systems with Multi-Level Order-Sorted Algebray
- Software Reuse for Scientific Computing Through Program Generation
- Spatio-Temporal Data Types: An Approach to Modeling and Querying
- #ifdef Confirmed Harmful: Promoting Understandable Software Variation
- Optimizing the Product Derivation Process School of EECS
- Olivier Danvy, Chung-chieh Shan (Eds.): IFIP Working Conference on Domain-Specific Languages 2011 (DSL 2011).
- Submitted to: This work is licensed under the
- Adaptation-Based Programming in Java Tim Bauer Martin Erwig Alan Fern Jervis Pinto
- JMLR: Workshop and Conference Proceedings 20 (2011) 116 Asian Conference on Machine Learning Improving Policy Gradient Estimates with Influence Information
