Peter Pepper

According to our database1, Peter Pepper
  • authored at least 59 papers between 1976 and 2011.
  • has a "Dijkstra number"2 of two.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

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

2010
Formal Derivation of Concurrent Garbage Collectors
CoRR, 2010

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

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

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

Integration of declarative and constraint programming.
TPLP, 2007

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

2005
Integration of Declarative and Constraint Programming
CoRR, 2005

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

2003
Development of communication protocols using algebraic and temporal specifications.
Computer 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

2002
From program languages to software languages.
Journal of Systems and Software, 2002

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

1997
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

1996
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

1995
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

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

1993
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.
Bulletin of the 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

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

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

1989
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

1988
An Algebraic View of Local Formalisms.
ADT, 1988

1987
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.
GI Jahrestagung, 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

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

1985
The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L
Lecture Notes in Computer Science 183, Springer, ISBN: 3-540-15187-7, 1985

1983
On Hierarchies of Abstract Data Types.
Acta Inf., 1983

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

Correctness of Type Transformations.
ADT, 1983

1982
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.
Informatik Spektrum, 1982

On the Algebraic Specification of Programming Languages.
ADT, 1982

1981
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

1980
Programmtransformationen - Das aktuelle Schlagwort.
Informatik Spektrum, 1980

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

Semantic Relations in Programming Languages.
IFIP Congress, 1980

1979
A study of transformational semantics.
PhD thesis, 1979

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

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

Towards a Wide Spectrum Language to Support Program Specification and Program Development.
Proceedings of the Program Construction, International Summer School, July 26, 1978

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


  Loading...