Martin Erwig - RankMe

169 papers A* 7A 8B 40C 17Misc 1Journal 48Unranked 45

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Intersectional HCI on a Budget: An Analytical Approach Powered by Types. Int. J. Hum. Comput. Interact. Abrar Fallatah, Md Montaser Hamid, Fatima Moussaoui, Chimdi Chikezie, Martin Erwig, Christopher Bogart, Anita Sarma, Margaret Burnett
2024	—	`conf`	Analogies and Active Engagement: Introducing Computer Science. SIGCSE (1) Jennifer Parham-Mocello, Martin Erwig, Margaret Niess
2024	J	`jnl`	Explanations for combinatorial optimization problems. J. Comput. Lang. Martin Erwig, Prashant Kumar
2023	J	`jnl`	A visual notation for succinct program traces. J. Comput. Lang. Divya Bajaj, Martin Erwig, Danila Fedorin
2023	—	`conf`	MatchMaker: A DSL for Game-Theoretic Matching. TFP Prashant Kumar, Martin Erwig
2023	—	`conf`	Putting Computing on the Table: Using Physical Games to Teach Computer Science. SIGCSE (1) Jennifer Parham-Mocello, Martin Erwig, Margaret Niess, Jason Weber, Madelyn Smith, Garrett Berliner
2022	J	`jnl`	Explaining Results of Multi-Criteria Decision Making. CoRR Martin Erwig, Prashant Kumar
2022	—	`conf`	Exploring the Use of Games and a Domain-Specific Teaching Language in CS0. ITiCSE (1) Jennifer Parham-Mocello, Aiden Nelson, Martin Erwig
2022	J	`jnl`	Intersectionality Goes Analytical: Taming Combinatorial Explosion Through Type Abstraction. CoRR Margaret Burnett, Martin Erwig, Abrar Fallatah, Christopher Bogart, Anita Sarma
2022	J	`jnl`	Migrating gradual types. J. Funct. Program. John Peter Campora III, Sheng Chen, Martin Erwig, Eric Walkingshaw
2022	C	`conf`	Using a Functional Board Game Language to Teach Middle School Programming. FIE Jennifer Parham-Mocello, Martin Erwig, Margaret Niess, Aiden Nelson, Jason Weber, Garrett Berliner
2021	B	`conf`	A Visual Notation for Succinct Program Traces. VL/HCC Divya Bajaj, Martin Erwig, Danila Fedorin, Kai Gay
2021	B	`conf`	Adaptable Traces for Program Explanations. APLAS Divya Bajaj, Martin Erwig, Danila Fedorin, Kai Gay
2021	J	`jnl`	Explainable dynamic programming. J. Funct. Program. Martin Erwig, Prashant Kumar
2021	B	`conf`	MADMAX: a DSL for explanatory decision making. GPCE Martin Erwig, Prashant Kumar
2021	B	`conf`	Teaching CS Middle School Camps in a Virtual World. VL/HCC Jennifer Parham-Mocello, Martin Erwig, Margaret Niess
2020	A	`conf`	Does Story Programming Prepare for Coding? SIGCSE Jennifer Parham-Mocello, Martin Erwig
2020	C	`conf`	Explanations for Dynamic Programming. PADL Martin Erwig, Prashant Kumar, Alan Fern
2020	B	`ed.`	GPCE '20: Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Virtual Event, USA, November 16-17, 2020. GPCE Martin Erwig, Jeff Gray
2019	A	`conf`	Story Programming: Explaining Computer Science Before Coding. SIGCSE Jennifer Parham-Mocello, Shannon Ernst, Martin Erwig, Lily Shellhammer, Emily Dominguez
2019	B	`conf`	To Code or Not to Code? Programming in Introductory CS Courses. VL/HCC Jennifer Parham-Mocello, Martin Erwig, Emily Dominguez
2019	—	`conf`	Usability of Probabilistic Programming Languages. PPIG Alan F. Blackwell, Luke Church, Martin Erwig, James Geddes, Andy Gordon, Maria I. Gorinova, Atilim Gunes Baydin, Bradley Gram-Hansen, Tobias Kohn, Neil D. Lawrence, Vikash Mansinghka, Brooks Paige, Tomas Petricek, Diana Robinson, Advait Sarkar, Oliver Strickson
2018	B	`conf`	A domain-specific language for exploratory data visualization. GPCE Karl Smeltzer, Martin Erwig
2018	B	`conf`	Comparative Visualizations through Parameterization and Variability. VL/HCC Karl Smeltzer, Martin Erwig
2018	B	`conf`	Explaining spreadsheets with spreadsheets (short paper). GPCE Jácome Cunha, Mihai Dan, Martin Erwig, Danila Fedorin, Alex Grejuc
2018	J	`jnl`	Migrating gradual types. Proc. ACM Program. Lang. John Peter Campora III, Sheng Chen, Martin Erwig, Eric Walkingshaw
2018	J	`jnl`	Systematic identification and communication of type errors. J. Funct. Program. Sheng Chen, Martin Erwig
2018	J	`jnl`	Typed Table Transformations. CoRR Martin Erwig
2018	C	`conf`	Variational Pictures. Diagrams Martin Erwig, Karl Smeltzer
2017	J	`jnl`	Exploiting diversity in type checkers for better error messages. J. Vis. Lang. Comput. Sheng Chen, Martin Erwig, Karl Smeltzer
2017	—	`conf`	Variational lists: comparisons and design guidelines. FOSD Karl Smeltzer, Martin Erwig
2017	J	`jnl`	What is a visual language? J. Vis. Lang. Comput. Martin Erwig, Karl Smeltzer, Xiangyu Wang
2016	A	`conf`	A Calculus for Variational Programming. ECOOP Sheng Chen, Martin Erwig, Eric Walkingshaw
2016	J	`jnl`	Model inference for spreadsheets. Autom. Softw. Eng. Jácome Cunha, Martin Erwig, Jorge Mendes, João Saraiva
2016	A*	`conf`	Principal type inference for GADTs. POPL Sheng Chen, Martin Erwig
2016	C	`ed.`	Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2016, St. Petersburg, FL, USA, January 20 - 22, 2016 PEPM Martin Erwig, Tiark Rompf
2015	J	`jnl`	Domain-Specific Languages (Dagstuhl Seminar 15062). Dagstuhl Reports Sebastian Erdweg, Martin Erwig, Richard F. Paige, Eelco Visser
2014	B	`conf`	A notation for non-linear program edits. VL/HCC Martin Erwig, Karl Smeltzer, Keying Xu
2014	B	`conf`	A transformational approach to data visualization. GPCE Karl Smeltzer, Martin Erwig, Ronald A. Metoyer
2014	A*	`conf`	Counter-factual typing for debugging type errors. POPL Sheng Chen, Martin Erwig
2014	C	`conf`	Early detection of type errors in C++ templates. PEPM Sheng Chen, Martin Erwig
2014	J	`jnl`	Extending Type Inference to Variational Programs. ACM Trans. Program. Lang. Syst. Sheng Chen, Martin Erwig, Eric Walkingshaw
2014	Misc	`conf`	Guided Type Debugging. FLOPS Sheng Chen, Martin Erwig
2014	B	`conf`	Let's hear both sides: On combining type-error reporting tools. VL/HCC Sheng Chen, Martin Erwig, Karl Smeltzer
2014	A	`conf`	Type-based parametric analysis of program families. ICFP Sheng Chen, Martin Erwig
2014	—	`conf`	Variational Data Structures: Exploring Tradeoffs in Computing with Variability. Onward! Eric Walkingshaw, Christian Kästner, Martin Erwig, Sven Apel, Eric Bodden
2013	J	`jnl`	A visual language for explaining probabilistic reasoning. J. Vis. Lang. Comput. Martin Erwig, Eric Walkingshaw
2013	—	`conf`	Adding configuration to the choice calculus. VaMoS Martin Erwig, Klaus Ostermann, Tillmann Rendel, Eric Walkingshaw
2013	—	`conf`	An abstract representation of variational graphs. FOSD Martin Erwig, Eric Walkingshaw, Sheng Chen
2013	B	`conf`	Explicitness in language design. VL/HCC Martin Erwig
2013	B	`ed.`	Software Language Engineering - 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings SLE Martin Erwig, Richard F. Paige, Eric Van Wyk
2012	B	`ed.`	2012 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2012, Innsbruck, Austria, September 30 - October 4, 2012 VL/HCC Martin Erwig, Gem Stapleton, Gennaro Costagliola
2012	B	`conf`	A calculus for modeling and implementing variation. GPCE Eric Walkingshaw, Martin Erwig
2012	A	`conf`	An error-tolerant type system for variational lambda calculus. ICFP Sheng Chen, Martin Erwig, Eric Walkingshaw
2012	B	`conf`	Explanations for Regular Expressions. FASE Martin Erwig, Rahul Gopinath
2012	B	`conf`	Faster program adaptation through reward attribution inference. GPCE Tim Bauer, Martin Erwig, Alan Fern, Jervis Pinto
2012	—	`conf`	Finding common ground: choose, assert, and assume. WODA Alex Groce, Martin Erwig
2012	—	`conf`	Learning-Based Test Programming for Programmers. ISoLA (1) Alex Groce, Alan Fern, Martin Erwig, Jervis Pinto, Tim Bauer, Mohammad Amin Alipour
2012	A	`conf`	Lightweight Automated Testing with Adaptation-Based Programming. ISSRE Alex Groce, Alan Fern, Jervis Pinto, Tim Bauer, Mohammad Amin Alipour, Martin Erwig, Camden Lopez
2012	C	`conf`	Surveyor: a DSEL for representing and analyzing strongly typed surveys. Haskell Wyatt Allen, Martin Erwig
2012	J	`jnl`	Systematic evolution of model-based spreadsheet applications. J. Vis. Lang. Comput. Markus Luckey, Martin Erwig, Gregor Engels
2011	B	`conf`	#ifdef confirmed harmful: Promoting understandable software variation. VL/HCC Duc Le, Eric Walkingshaw, Martin Erwig
2011	—	`conf`	A DSEL for Studying and Explaining Causation DSL Eric Walkingshaw, Martin Erwig
2011	—	`conf`	Adaptation-Based Programming in Haskell DSL Tim Bauer, Martin Erwig, Alan Fern, Jervis Pinto
2011	C	`conf`	Adaptation-based programming in java. PEPM Tim Bauer, Martin Erwig, Alan Fern, Jervis Pinto
2011	C	`conf`	Improving Policy Gradient Estimates with Influence Information. ACML Jervis Pinto, Alan Fern, Tim Bauer, Martin Erwig
2011	B	`conf`	Optimizing the Product Derivation Process. SPLC Sheng Chen, Martin Erwig
2011	B	`conf`	Semantics First! - Rethinking the Language Design Process. SLE Martin Erwig, Eric Walkingshaw
2011	J	`jnl`	The Choice Calculus: A Representation for Software Variation. ACM Trans. Softw. Eng. Methodol. Martin Erwig, Eric Walkingshaw
2011	J	`jnl`	The state of the art in end-user software engineering. ACM Comput. Surv. Amy J. Ko, Robin Abraham, Laura Beckwith, Alan F. Blackwell, Margaret M. Burnett, Martin Erwig, Christopher Scaffidi, Joseph Lawrance, Henry Lieberman, Brad A. Myers, Mary Beth Rosson, Gregg Rothermel, Mary Shaw, Susan Wiedenbeck
2011	—	`conf`	Variation Programming with the Choice Calculus. GTTSE Martin Erwig, Eric Walkingshaw
2010	B	`conf`	A Language for Software Variation Research. SLE Martin Erwig
2010	B	`conf`	A language for software variation research. GPCE Martin Erwig
2010	B	`conf`	Automatically Inferring ClassSheet Models from Spreadsheets. VL/HCC Jácome Cunha, Martin Erwig, João Saraiva
2010	B	`conf`	Causal Reasoning with Neuron Diagrams. VL/HCC Martin Erwig, Eric Walkingshaw
2010	—	`conf`	Program fields for continuous software. FoSER Martin Erwig, Eric Walkingshaw
2010	J	`jnl`	Reasoning about spreadsheets with labels and dimensions. J. Vis. Lang. Comput. Chris Chambers, Martin Erwig
2010	C	`conf`	Robust Learning for Adaptive Programs by Leveraging Program Structure. ICMLA Jervis Pinto, Alan Fern, Tim Bauer, Martin Erwig
2010	B	`conf`	SheetDiff: A Tool for Identifying Changes in Spreadsheets. VL/HCC Chris Chambers, Martin Erwig, Markus Luckey
2009	—	`conf`	A DSL for Explaining Probabilistic Reasoning. DSL Martin Erwig, Eric Walkingshaw
2009	J	`jnl`	A domain-specific language for experimental game theory. J. Funct. Program. Eric Walkingshaw, Martin Erwig
2009	J	`jnl`	Automatic detection of dimension errors in spreadsheets. J. Vis. Lang. Comput. Chris Chambers, Martin Erwig
2009	B	`conf`	Combining spatial and semantic label analysis. VL/HCC Chris Chambers, Martin Erwig
2009	B	`conf`	Declarative Scripting in Haskell. SLE Tim Bauer, Martin Erwig
2009	J	`jnl`	Mutation Operators for Spreadsheets. IEEE Trans. Software Eng. Robin Abraham, Martin Erwig
2009	J	`jnl`	Software Engineering for Spreadsheets. IEEE Softw. Martin Erwig
2009	—	`conf`	Varying Domain Representations in Hagl. DSL Eric Walkingshaw, Martin Erwig
2009	B	`conf`	Visual explanations of probabilistic reasoning. VL/HCC Martin Erwig, Eric Walkingshaw
2008	B	`conf`	A visual language for representing and explaining strategies in game theory. VL/HCC Martin Erwig, Eric Walkingshaw
2008	B	`conf`	Dimension inference in spreadsheets. VL/HCC Chris Chambers, Martin Erwig
2008	—	`ch.`	Spreadsheet Programming. Wiley Encyclopedia of Computer Science and Engineering Robin Abraham, Margaret M. Burnett, Martin Erwig
2008	B	`conf`	Test-driven goal-directed debugging in spreadsheets. VL/HCC Robin Abraham, Martin Erwig
2007	B	`conf`	A Type System Based on End-User Vocabulary. VL/HCC Robin Abraham, Martin Erwig, Scott Andrew
2007	J	`jnl`	An update calculus for expressing type-safe program updates. Sci. Comput. Program. Martin Erwig, Deling Ren
2007	J	`jnl`	ClassSheets - model-based, object-oriented design of spreadsheet applications. J. Object Technol. Jan-Christopher Bals, Fabian Christ, Gregor Engels, Martin Erwig
2007	—	`conf`	Exploiting Domain-Specific Structures For End-User Programming Support Tools. End-User Software Engineering Robin Abraham, Martin Erwig
2007	A*	`conf`	GoalDebug: A Spreadsheet Debugger for End Users. ICSE Robin Abraham, Martin Erwig
2007	J	`jnl`	Parametric Fortran: program generation in scientific computing. J. Softw. Maintenance Res. Pract. Martin Erwig, Zhe Fu, Ben Pflaum
2007	J	`jnl`	UCheck: A spreadsheet type checker for end users. J. Vis. Lang. Comput. Robin Abraham, Martin Erwig
2007	B	`conf`	Understanding and Building Spreadsheet Tools. VL/HCC Martin Erwig, Robin Abraham
2006	C	`conf`	A generic recursion toolbox for Haskell or: scrap your boilerplate systematically. Haskell Deling Ren, Martin Erwig
2006	B	`conf`	AutoTest: A Tool for Automatic Test Case Generation in Spreadsheets. VL/HCC Robin Abraham, Martin Erwig
2006	J	`jnl`	Functional Pearls: Probabilistic functional programming in Haskell. J. Funct. Program. Martin Erwig, Steve Kollmansberger
2006	J	`jnl`	Gencel: a program generator for correct spreadsheets. J. Funct. Program. Martin Erwig, Robin Abraham, Steve Kollmansberger, Irene Cooperstein
2006	C	`conf`	Generic programming in Fortran. PEPM Martin Erwig, Zhe Fu, Ben Pflaum
2006	A*	`conf`	Inferring templates from spreadsheets. ICSE Robin Abraham, Martin Erwig
2006	C	`conf`	Modeling Genome Evolution with a DSEL for Probabilistic Programming. PADL Martin Erwig, Steve Kollmansberger
2006	B	`conf`	Sharing reasoning about faults in spreadsheets: An empirical study. VL/HCC Joseph Lawrance, Robin Abraham, Margaret M. Burnett, Martin Erwig
2006	C	`conf`	Type inference for spreadsheets. PPDP Robin Abraham, Martin Erwig
2006	J	`jnl`	Visual type inference. J. Vis. Lang. Comput. Martin Erwig
2005	A*	`conf`	Automatic generation and maintenance of correct spreadsheets. ICSE Martin Erwig, Robin Abraham, Irene Cooperstein, Steve Kollmansberger
2005	A*	`conf`	ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications. ASE Gregor Engels, Martin Erwig
2005	B	`conf`	Goal-Directed Debugging of Spreadsheets. VL/HCC Robin Abraham, Martin Erwig
2005	—	`conf`	How to communicate unit error messages in spreadsheets. WEUSE@ICSE Robin Abraham, Martin Erwig
2005	J	`jnl`	How to communicate unit error messages in spreadsheets. ACM SIGSOFT Softw. Eng. Notes Robin Abraham, Martin Erwig
2005	J	`jnl`	Software reuse for scientific computing through program generation. ACM Trans. Softw. Eng. Methodol. Martin Erwig, Zhe Fu
2005	B	`conf`	Visual Specifications of Correct Spreadsheets. VL/HCC Robin Abraham, Martin Erwig, Steve Kollmansberger, Ethan Seifert
2004	J	`jnl`	Escape from Zurg: an exercise in logic programming. J. Funct. Program. Martin Erwig
2004	B	`conf`	Header and Unit Inference for Spreadsheets Through Spatial Analyses. VL/HCC Robin Abraham, Martin Erwig
2004	J	`jnl`	Monadification of functional programs. Sci. Comput. Program. Martin Erwig, Deling Ren
2004	C	`conf`	Parametric Fortran - A Program Generator for Customized Generic Fortran Extensions. PADL Martin Erwig, Zhe Fu
2003	J	`jnl`	A visual language for the evolution of spatial relationships and its translation into a spatio-temporal calculus. J. Vis. Lang. Comput. Martin Erwig, Markus Schneider
2003	C	`conf`	KeyQuery - A Front End for the Automatic Translation of Keywords into Structured Queries. DEXA Martin Erwig, Jianglin He
2003	A	`conf`	Programming Type-Safe Program Updates. ESOP Martin Erwig, Deling Ren
2003	—	`conf`	Spatio-temporal Models and Languages: An Approach Based on Data Types. Spatio-Temporal Databases: The CHOROCHRONOS Approach Ralf Hartmut Güting, Michael H. Böhlen, Martin Erwig, Christian S. Jensen, Nikos A. Lorentzos, Enrico Nardelli, Markus Schneider, José Ramon Rios Viqueira
2003	—	`conf`	Toward the Automatic Derivation of XML Transformations. ER (Workshops) Martin Erwig
2003	J	`jnl`	Xing: a visual XML query language. J. Vis. Lang. Comput. Martin Erwig
2002	—	`conf`	A rule-based language for programming software updates. ACM SIGPLAN Workshop on Rule-Based Programming Martin Erwig, Deling Ren
2002	J	`jnl`	A rule-based language for programming software updates. ACM SIGPLAN Notices Martin Erwig, Deling Ren
2002	C	`conf`	Adding Apples and Oranges. PADL Martin Erwig, Margaret M. Burnett
2002	J	`jnl`	Spatio-Temporal Predicates. IEEE Trans. Knowl. Data Eng. Martin Erwig, Markus Schneider
2002	—	`conf`	Visually Customizing Inference Rules About Apples and Oranges. HCC Margaret M. Burnett, Martin Erwig
2001	J	`jnl`	Inductive graphs and functional graph algorithms. J. Funct. Program. Martin Erwig
2001	A*	`conf`	Programs Are Abstract Data Types. ASE Martin Erwig
2000	—	`conf`	A Visual Language for XML. VL Martin Erwig
2000	J	`jnl`	A foundation for representing and querying moving objects. ACM Trans. Database Syst. Ralf Hartmut Güting, Michael H. Böhlen, Martin Erwig, Christian S. Jensen, Nikos A. Lorentzos, Markus Schneider, Michalis Vazirgiannis
2000	C	`conf`	Pattern Guards and Transformational Patterns. Haskell Martin Erwig, Simon L. Peyton Jones
2000	—	`conf`	Query-By-Trace: Visual Predicate Specification in Spatio-Temporal Databases. VDB Martin Erwig, Markus Schneider
2000	—	`conf`	Random Access to Abstract Data Types. AMAST Martin Erwig
2000	J	`jnl`	The graph Voronoi diagram with applications. Networks Martin Erwig
1999	—	`conf`	Developments in Spatio-Temporal Query Languages. DEXA Workshop Martin Erwig, Markus Schneider
1999	J	`jnl`	Spatio-Temporal Data Types: An Approach to Modeling and Querying Moving Objects in Databases. GeoInformatica Martin Erwig, Ralf Hartmut Güting, Markus Schneider, Michalis Vazirgiannis
1999	—	`conf`	The Honeycomb Model of Spatio-Temporal Partitions. Spatio-Temporal Database Management Martin Erwig, Markus Schneider
1999	—	`conf`	Visual Graphs. VL Martin Erwig
1999	—	`conf`	Visual Specification of Spatio-Temporal Developments. VL Martin Erwig, Markus Schneider
1999	—	`book`	Übersetzerbau - Techniken, Werkzeuge, Anwendungen Ralf Hartmut Güting, Martin Erwig
1998	J	`jnl`	Abstract Syntax and Semantics of Visual Languages. J. Vis. Lang. Comput. Martin Erwig
1998	—	`conf`	Abstract and Discrete Modeling of Spatio-Temporal Data Types. ACM-GIS Martin Erwig, Ralf Hartmut Güting, Markus Schneider, Michalis Vazirgiannis
1998	—	`conf`	Categorical Programming with Abstract Data Types. AMAST Martin Erwig
1998	J	`jnl`	Diets for Fat Sets. J. Funct. Program. Martin Erwig
1998	—	`conf`	Temporal Objects for Spatio-Temporal Data Models and a Comparison of Their Representations. ER Workshops Martin Erwig, Markus Schneider, Ralf Hartmut Güting
1998	—	`conf`	Visual Semantics - Or: What You See is What You Compute. VL Martin Erwig
1997	—	`conf`	Fully Persistent Graphs - Which One To Choose? Implementation of Functional Languages Martin Erwig
1997	A	`conf`	Functional Programming with Graphs. ICFP Martin Erwig
1997	—	`conf`	Partition and Conquer. COSIT Martin Erwig, Markus Schneider
1997	—	`conf`	Semantics of Visual Languages. VL Martin Erwig
1997	—	`conf`	Vague Regions. SSD Martin Erwig, Markus Schneider
1996	—	`conf`	Active Patterns. Implementation of Functional Languages Martin Erwig
1995	J	`jnl`	Encoding shortest paths in spatial networks. Networks Martin Erwig
1995	—	`conf`	Heterogeneous Visual Languages-Integrating Visual and Textual Programming. VL Martin Erwig, Bernd Meyer
1994	—	`conf`	DEAL - A Language for Depicting Algorithms. VL Martin Erwig
1994	J	`jnl`	Explicit Graphs in a Functional Model for Spatial Databases. IEEE Trans. Knowl. Data Eng. Martin Erwig, Ralf Hartmut Güting
1994	J	`jnl`	Graphs in Spatial Databases. GI Datenbank Rundbrief Martin Erwig
1994	—	`—`	Graphs in spatial databases. Martin Erwig
1993	—	`conf`	Specifying Type Systems with Multi-Level Order-Sorted Algebra. AMAST Martin Erwig
1993	—	`conf`	Spezifikation von Datenmodellen mittels mehrstufiger Algebra. Grundlagen von Datenbanken Martin Erwig
1992	B	`conf`	Graph Algorithms = Iteration + Data Structures? The Structure of Graph Algorithms and a Corresponding Style of Programming. WG Martin Erwig
1992	—	`conf`	Modellierung von Netzen in Geo-Datenbanken. Grundlagen von Datenbanken Martin Erwig, Ralf Hartmut Güting
1991	—	`conf`	A Functional DBPL Revealing High Level Optimizations. DBPL Martin Erwig, Udo W. Lipeck