Peter Pepper

  • Technical University of Berlin, Department of Mathematics, Germany

According to our database1, Peter Pepper authored at least 59 papers between 1976 and 2011.

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


Online presence:



A Compositional Semantics for Modelica-style Variable-structureModeling.
Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2011

Formal Derivation of Concurrent Garbage Collectors.
Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010

Notes on the Separate Compilation of Modelica.
Proceedings of the 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2010

Specification Techniques (Not Only) for Autonomous Systems.
Proceedings of the Autonomous Systems, 2008

Evolving Specification Engineering.
Proceedings of the Algebraic Methodology and Software Technology, 2008

Systematic Testing of Model-Based Code Generators.
IEEE Trans. Software Eng., 2007

Integration of declarative and constraint programming.
Theory Pract. Log. Program., 2007

Solution Strategies for Multi-domain Constraint Logic Programs.
Proceedings of the Perspectives of Systems Informatics, 2006

Funktionale Programmierung - Sprachdesign und Programmiertechnik., Springer, ISBN: 978-3-540-20959-1, 2006

Distributed Teaching of Formal Methods.
Proceedings of the Teaching Formal Methods, CoLogNET/FME Symposium, 2004

Development of communication protocols using algebraic and temporal specifications.
Comput. Networks, 2003

Colimits for Concurrent Collectors.
Proceedings of the Verification: Theory and Practice, 2003

Funktionale Programmierung - in OPAL, ML, HASKELL und GOFER (2. Aufl.).
Springer-Lehrbuch, Springer, ISBN: 978-3-540-43621-8, 2003

From program languages to software languages.
J. Syst. Softw., 2002

Funktionale Programmierung in OPAL, ML, HASKELL und GOFER.
Springer, ISBN: 978-3-540-64541-2, 1999

A High-Level Derivation of Global Search Algorithms (with Constraint Propagation).
Sci. Comput. Program., 1997

Programming in the Large: The Algebraic-Functional Language Opal 2alpha.
Proceedings of the Implementation of Functional Languages, 9th International Workshop, 1997

Deriving Parallel Numerical Algorithms using Data Distribution Algebras: Wang's Algorithm.
Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

Solving large systems of differential equations in parallel using covers and skeletons.
Proceedings of the Algorithmic Languages and Calculi, 1997

Communicating Functional Agents and Their Application to Graphical User Interfaces.
Proceedings of the Perspectives of System Informatics, 1996

Towards Integrating Algebraic Specification and Functional Programming: the Opal System (Extended Abstract).
Proceedings of the Algebraic Methodology and Software Technology, 1996

A Method for the Development of Correct Software.
Proceedings of the KORSO, 1995

Realizing Sets by Hash Tables.
Proceedings of the KORSO, 1995

Grundlagen der Informatik (2. Aufl.).
Oldenbourg, ISBN: 978-3-486-23513-5, 1995

OPAL: Design and Implementation of an Algebraic Programming Language.
Proceedings of the Programming Languages and System Architectures, 1994

On the potential Role of Algebraic Specification within Computer Science.
Proceedings of the Current Trends in Theoretical Computer Science - Essays and Tutorials, 1993

Algebreic Programming in Opal.
Bull. EATCS, 1993

Program Development in an Algebraic Setting.
Proceedings of the Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report, 1993

Funktionale Programmierung für massiv parallele Systeme.
Proceedings of the Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Dresden, Germany, 27. September, 1993

Functional Development of Massively Parallel Programs (Invited Paper).
Proceedings of the Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28, 1993

Grundlagen der Informatik.
Oldenbourg, ISBN: 978-3-486-21153-5, 1992

Literate Program Derivation: A Case Study.
Proceedings of the Method of Programming, Selected Papers on the CIP-Project, 1991

Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming.
IEEE Trans. Software Eng., 1989

On Recent Trends in Algebraic Specification.
Proceedings of the Automata, Languages and Programming, 16th International Colloquium, 1989

An Algebraic View of Local Formalisms.
Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany, 1988

On the Algebraic Definition of Programming Languages.
ACM Trans. Program. Lang. Syst., 1987

A Simple Calculus for Program Transformation (Inclusive of Induction).
Sci. Comput. Program., 1987

Specification of Distributed Systems Using Modal Logics.
Proceedings of the GI, 1987

The Munich Project CIP, Volume II: The Program Transformation System CIP-S
Lecture Notes in Computer Science 292, Springer, ISBN: 3-540-18779-0, 1987

Algebraic Implementations Preserve Program Correctness.
Sci. Comput. Program., 1986


On Hierarchies of Abstract Data Types.
Acta Informatica, 1983

Abstract Data Types as a Tool for Requirement Engineering.
Proceedings of the Requirements Engineering, 1983

Correctness of Type Transformations.
Proceedings of the Proceedings 2nd Workshop on Abstract Data Type, 1983

Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite Algorithm.
ACM Trans. Program. Lang. Syst., 1982

Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen.
Inform. Spektrum, 1982

On the Algebraic Specification of Programming Languages.
Proceedings of the Proceedings 1st Workshop on Abstract Data Type, 1982

Program Development as a Formal Activity.
IEEE Trans. Software Eng., 1981

Programming in a Wide Spectrum Language: A Collection of Examples.
Sci. Comput. Program., 1981

Programmtransformationen - Das aktuelle Schlagwort.
Inform. Spektrum, 1980

On Relations Between Programs.
Proceedings of the International Symposium on Programming, 1980

Semantic Relations in Programming Languages.
Proceedings of the Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia, 1980

A study of transformational semantics.
PhD thesis, 1979

Existential Quantifiers in Abstract Data Types.
Proceedings of the Automata, 1979

Towards a wide spectrum language to support program specification and program development.
ACM SIGPLAN Notices, 1978

Special Transformation Techniques.
Proceedings of the Program Construction, International Summer School, July 26, 1978

A Study on Transformational Semantics.
Proceedings of the Program Construction, International Summer School, July 26, 1978

Systematics of Transformation Rules.
Proceedings of the Program Construction, International Summer School, July 26, 1978

A Family of Rules for Recursion Removal.
Inf. Process. Lett., 1976