Peter Pepper

According to our database, Peter Pepper authored at least 60 papers between 1976 and 2011.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of four.

2011

A Compositional Semantics for Modelica-style Variable-structureModeling.

Peter Pepper, Alexandra Mehlhase, Christoph Höger, Lena Scholz

Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2011

2010

Formal Derivation of Concurrent Garbage Collectors.

Dusko Pavlovic, Peter Pepper, Douglas R. Smith

Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010

Notes on the Separate Compilation of Modelica.

Christoph Höger, Florian Lorenzen, Peter Pepper

Proceedings of the 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2010

2008

Specification Techniques (Not Only) for Autonomous Systems.

Peter Pepper

Proceedings of the Autonomous Systems, 2008

Evolving Specification Engineering.

Dusko Pavlovic, Peter Pepper, Douglas R. Smith

Proceedings of the Algebraic Methodology and Software Technology, 2008

2007

Systematic Testing of Model-Based Code Generators.

Ingo Stürmer, Mirko Conrad, Heiko Dörr, Peter Pepper

IEEE Trans. Software Eng., 2007

Integration of declarative and constraint programming.

Petra Hofstedt, Peter Pepper

Theory Pract. Log. Program., 2007

2006

Solution Strategies for Multi-domain Constraint Logic Programs.

Stephan Frank, Petra Hofstedt, Peter Pepper, Dirk Reckmann

Proceedings of the Perspectives of Systems Informatics, 2006

Funktionale Programmierung - Sprachdesign und Programmiertechnik.

Peter Pepper, Petra Hofstedt

eXamen.press, Springer, ISBN: 978-3-540-20959-1, 2006

2004

Distributed Teaching of Formal Methods.

Peter Pepper

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

2003

Development of communication protocols using algebraic and temporal specifications.

Mohamed Jmaiel, Peter Pepper

Comput. Networks, 2003

Colimits for Concurrent Collectors.

Dusko Pavlovic, Peter Pepper, Douglas R. Smith

Proceedings of the Verification: Theory and Practice, 2003

Funktionale Programmierung - in OPAL, ML, HASKELL und GOFER (2. Aufl.).

Peter Pepper

Springer-Lehrbuch, Springer, ISBN: 978-3-540-43621-8, 2003

2002

From program languages to software languages.

Peter Pepper, Michael Cebulla, Klaus Didrich, Wolfgang Grieskamp

J. Syst. Softw., 2002

1999

Funktionale Programmierung in OPAL, ML, HASKELL und GOFER.

Peter Pepper

Springer, ISBN: 978-3-540-64541-2, 1999

1997

A High-Level Derivation of Global Search Algorithms (with Constraint Propagation).

Peter Pepper, Douglas R. Smith

Sci. Comput. Program., 1997

Programming in the Large: The Algebraic-Functional Language Opal 2alpha.

Klaus Didrich, Wolfgang Grieskamp, Christian Maeder, Peter Pepper

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

Deriving Parallel Numerical Algorithms using Data Distribution Algebras: Wang's Algorithm.

Peter Pepper

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.

Mario Südholt, Christian Piepenbrock, Klaus Obermayer, Peter Pepper

Proceedings of the Algorithmic Languages and Calculi, 1997

1996

Communicating Functional Agents and Their Application to Graphical User Interfaces.

Thomas Frauenstein, Wolfgang Grieskamp, Peter Pepper, Mario Südholt

Proceedings of the Perspectives of System Informatics, 1996

Towards Integrating Algebraic Specification and Functional Programming: the Opal System (Extended Abstract).

Klaus Didrich, Carola Gerke, Wolfgang Grieskamp, Christian Maeder, Peter Pepper

Proceedings of the Algebraic Methodology and Software Technology, 1996

1995

A Method for the Development of Correct Software.

Peter Pepper, Martin Wirsing

Proceedings of the KORSO, 1995

Realizing Sets by Hash Tables.

Peter Pepper, Ralph Betschko, Sabine Dick, Klaus Didrich

Proceedings of the KORSO, 1995

Grundlagen der Informatik (2. Aufl.).

Peter Pepper

Oldenbourg, ISBN: 978-3-486-23513-5, 1995

1994

OPAL: Design and Implementation of an Algebraic Programming Language.

Klaus Didrich, Andreas Fett, Carola Gerke, Wolfgang Grieskamp, Peter Pepper

Proceedings of the Programming Languages and System Architectures, 1994

1993

On the potential Role of Algebraic Specification within Computer Science.

Hartmut Ehrig, Peter Pepper

Proceedings of the Current Trends in Theoretical Computer Science - Essays and Tutorials, 1993

Algebreic Programming in Opal.

Andreas Fett, Carola Gerke, Wolfgang Grieskamp, Peter Pepper

Bull. EATCS, 1993

Program Development in an Algebraic Setting.

Peter Pepper

Proceedings of the Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report, 1993

Funktionale Programmierung für massiv parallele Systeme.

Peter Pepper, Jürgen Exner, Mario Südholt

Proceedings of the Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Dresden, Germany, 27. September, 1993

Functional Development of Massively Parallel Programs (Invited Paper).

Peter Pepper, Jürgen Exner, Mario Südholt

Proceedings of the Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28, 1993

1992

Grundlagen der Informatik.

Peter Pepper

Oldenbourg, ISBN: 978-3-486-21153-5, 1992

1991

Literate Program Derivation: A Case Study.

Peter Pepper

Proceedings of the Method of Programming, Selected Papers on the CIP-Project, 1991

1989

Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming.

Friedrich L. Bauer, Bernhard Möller, Helmuth Partsch, Peter Pepper

IEEE Trans. Software Eng., 1989

On Recent Trends in Algebraic Specification.

Hartmut Ehrig, Peter Pepper, Fernando Orejas

Proceedings of the Automata, Languages and Programming, 16th International Colloquium, 1989

1988

An Algebraic View of Local Formalisms.

Peter Pepper

Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany, 1988

1987

On the Algebraic Definition of Programming Languages.

Manfred Broy, Martin Wirsing, Peter Pepper

ACM Trans. Program. Lang. Syst., 1987

A Simple Calculus for Program Transformation (Inclusive of Induction).

Peter Pepper

Sci. Comput. Program., 1987

Specification of Distributed Systems Using Modal Logics.

Peter Pepper

Proceedings of the GI, 1987

The Munich Project CIP, Volume II: The Program Transformation System CIP-S

Friedrich L. Bauer, Herbert Ehler, A. Horsch, Bernhard Möller, Helmuth Partsch, O. Paukner, Peter Pepper

Lecture Notes in Computer Science 292, Springer, ISBN: 3-540-18779-0, 1987

1986

Algebraic Implementations Preserve Program Correctness.

Manfred Broy, Bernhard Möller, Peter Pepper, Martin Wirsing

Sci. Comput. Program., 1986

1985

The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L

Friedrich L. Bauer, Rudolf Berghammer, Manfred Broy, Walter Dosch, Franz Geiselbrechtinger, Rupert Gnatz, E. Hangel, Wolfgang Hesse, Bernd Krieg-Brückner, Alfred Laut, Thomas Matzner, Bernhard Möller, Friederike Nickl, Helmuth Partsch, Peter Pepper, Klaus Samelson, Martin Wirsing, Hans Wössner

Lecture Notes in Computer Science 183, Springer, ISBN: 3-540-15187-7, 1985

1984

A simple calculus for program transformations

Peter Pepper

Forschungsberichte, TU Munich, 1984

1983

On Hierarchies of Abstract Data Types.

Martin Wirsing, Peter Pepper, Helmuth Partsch, Walter Dosch

Acta Informatica, 1983

Abstract Data Types as a Tool for Requirement Engineering.

Helmuth Partsch, Peter Pepper

Proceedings of the Requirements Engineering, 1983

Correctness of Type Transformations.

Peter Pepper

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

1982

Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite Algorithm.

Manfred Broy, Peter Pepper

ACM Trans. Program. Lang. Syst., 1982

Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen.

Peter Pepper, Manfred Broy, Friedrich L. Bauer, Helmuth Partsch, Walter Dosch, Martin Wirsing

Inform. Spektrum, 1982

On the Algebraic Specification of Programming Languages.

Peter Pepper

Proceedings of the Proceedings 1st Workshop on Abstract Data Type, 1982

1981

Program Development as a Formal Activity.

Manfred Broy, Peter Pepper

IEEE Trans. Software Eng., 1981

Programming in a Wide Spectrum Language: A Collection of Examples.

Friedrich L. Bauer, Manfred Broy, Walter Dosch, Rupert Gnatz, Bernd Krieg-Brückner, Alfred Laut, M. Luckmann, Thomas Matzner, Bernhard Möller, Helmuth Partsch, Peter Pepper, Klaus Samelson, Ralf Steinbrüggen, Martin Wirsing, Hans Wössner

Sci. Comput. Program., 1981

1980

Programmtransformationen - Das aktuelle Schlagwort.

Friedrich L. Bauer, Manfred Broy, Helmuth Partsch, Peter Pepper

Inform. Spektrum, 1980

On Relations Between Programs.

Manfred Broy, Peter Pepper, Martin Wirsing

Proceedings of the International Symposium on Programming, 1980

Semantic Relations in Programming Languages.

Manfred Broy, Helmuth Partsch, Peter Pepper, Martin Wirsing

Proceedings of the Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia, 1980

1979

A study of transformational semantics.

Peter Pepper

PhD thesis, 1979

Existential Quantifiers in Abstract Data Types.

Manfred Broy, Walter Dosch, Helmuth Partsch, Peter Pepper, Martin Wirsing

Proceedings of the Automata, 1979

1978

Towards a wide spectrum language to support program specification and program development.

Friedrich L. Bauer, Manfred Broy, Rupert Gnatz, Wolfgang Hesse, Bernd Krieg-Brückner, Helmuth Partsch, Peter Pepper, Hans Wössner

ACM SIGPLAN Notices, 1978

Special Transformation Techniques.

Hans Wössner, Peter Pepper, Helmuth Partsch, Friedrich L. Bauer

Proceedings of the Program Construction, International Summer School, July 26, 1978

A Study on Transformational Semantics.

Peter Pepper

Proceedings of the Program Construction, International Summer School, July 26, 1978

Systematics of Transformation Rules.

Friedrich L. Bauer, Manfred Broy, Helmuth Partsch, Peter Pepper, Hans Wössner

Proceedings of the Program Construction, International Summer School, July 26, 1978

1976

A Family of Rules for Recursion Removal.

Helmuth Partsch, Peter Pepper

Inf. Process. Lett., 1976