Peter Pepper - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 60 from 60

2011

A Compositional Semantics for Modelica-style Variable-structureModelingPeter Pepper, Alexandra Mehlhase, Christoph Höger, Lena Scholz. eoolt 2011: 45-54 [doi]

2010

Notes on the Separate Compilation of ModelicaChristoph Höger, Florian Lorenzen, Peter Pepper. eoolt 2010: 43-51 [doi]

Formal Derivation of Concurrent Garbage CollectorsDusko Pavlovic, Peter Pepper, Douglas R. Smith. mpc 2010: 353-376 [doi]

2008

Evolving Specification EngineeringDusko Pavlovic, Peter Pepper, Douglas R. Smith. amast 2008: 299-314 [doi]

Specification Techniques (Not Only) for Autonomous SystemsPeter Pepper. jtb 2008: 105-117 [doi]

2007

Integration of declarative and constraint programmingPetra Hofstedt, Peter Pepper. tplp, 7(1-2):93-121, 2007. [doi]

Systematic Testing of Model-Based Code GeneratorsIngo Stürmer, Mirko Conrad, Heiko Dörr, Peter Pepper. TSE, 33(9):622-634, 2007. [doi]

2006

Solution Strategies for Multi-domain Constraint Logic ProgramsStephan Frank, Petra Hofstedt, Peter Pepper, Dirk Reckmann. ershov 2007: 209-222 [doi]

Funktionale Programmierung - Sprachdesign und ProgrammiertechnikPeter Pepper, Petra Hofstedt. eXamen.press, Springer, 2006. [doi]

2004

Distributed Teaching of Formal MethodsPeter Pepper. tfm 2004: 140-152 [doi]

2003

Development of communication protocols using algebraic and temporal specificationsMohamed Jmaiel, Peter Pepper. cn, 42(6):737-764, 2003. [doi]

Colimits for Concurrent CollectorsDusko Pavlovic, Peter Pepper, Douglas R. Smith. BIRTHDAY 2003: 568-597 [doi]

Funktionale Programmierung - in OPAL, ML, HASKELL und GOFER (2. Aufl.)Peter Pepper. Springer-Lehrbuch, Springer, 2003.

2002

From program languages to software languagesPeter Pepper, Michael Cebulla, Klaus Didrich, Wolfgang Grieskamp. jss, 60(2):91-101, 2002. [doi]

1999

Funktionale Programmierung in OPAL, ML, HASKELL und GOFERPeter Pepper. Springer, 1999.

1997

1996

Towards Integrating Algebraic Specification and Functional Programming: the Opal System (Extended Abstract)Klaus Didrich, Carola Gerke, Wolfgang Grieskamp, Christian Maeder, Peter Pepper. amast 1996: 559-562

Communicating Functional Agents and Their Application to Graphical User InterfacesThomas Frauenstein, Wolfgang Grieskamp, Peter Pepper, Mario Südholt. ershov 1996: 386-397

1995

Realizing Sets by Hash TablesPeter Pepper, R. Betschko, S. Dick, Klaus Didrich. korso 1995: 58-73

Grundlagen der Informatik (2. Aufl.)Peter Pepper. Oldenbourg, 1995.

A Method for the Development of Correct SoftwarePeter Pepper, Martin Wirsing. korso 1995: 27-57

1994

OPAL: Design and Implementation of an Algebraic Programming LanguageKlaus Didrich, Andreas Fett, Carola Gerke, Wolfgang Grieskamp, Peter Pepper. plsa 1994: 228-244

1993

On the potential Role of Algebraic Specification within Computer ScienceHartmut Ehrig, Peter Pepper. In Grzegorz Rozenberg, Arto Salomaa, editors, Current Trends in Theoretical Computer Science - Essays and Tutorials. Volume 40 of World Scientific Series in Computer Science, pages 51-53, World Scientific, 1993. [doi]

Algebreic Programming in OpalAndreas Fett, Carola Gerke, Wolfgang Grieskamp, Peter Pepper. eatcs, 50:171-181, 1993.

Program Development in an Algebraic SettingPeter Pepper. ifip2-1 1993: 225-262

Functional Development of Massively Parallel Programs (Invited Paper)Peter Pepper, Jürgen Exner, Mario Südholt. ershov 1993: 217-238

Funktionale Programmierung für massiv parallele SystemePeter Pepper, Jürgen Exner, Mario Südholt. gi 1993: 551-556

1992

Grundlagen der InformatikPeter Pepper. Oldenbourg, 1992.

1991

Literate Program Derivation: A Case StudyPeter Pepper. cip 1991: 101-124

1989

Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided ProgrammingFriedrich L. Bauer, Bernhard Möller, Helmuth Partsch, Peter Pepper. TSE, 15(2):165-180, 1989. [doi]

On Recent Trends in Algebraic SpecificationHartmut Ehrig, Peter Pepper, Fernando Orejas. icalp 1989: 263-288

1988

An Algebraic View of Local FormalismsPeter Pepper. WADT 1988:

1987

The Munich Project CIP, Volume II: The Program Transformation System CIP-SFriedrich L. Bauer, Herbert Ehler, A. Horsch, Bernhard Möller, Helmuth Partsch, O. Paukner, Peter Pepper. Volume 292 of Lecture Notes in Computer Science, Springer, 1987.

On the Algebraic Definition of Programming LanguagesManfred Broy, Martin Wirsing, Peter Pepper. TOPLAS, 9(1):54-99, 1987. [doi]

Specification of Distributed Systems Using Modal LogicsPeter Pepper. gi 1987: 110-121

A Simple Calculus for Program Transformation (Inclusive of Induction)Peter Pepper. SCP, 9(3):221-262, 1987.

1986

Algebraic Implementations Preserve Program CorrectnessManfred Broy, Bernhard Möller, Peter Pepper, Martin Wirsing. SCP, 7(1):35-53, 1986.

1985

The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-LFriedrich 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. Volume 183 of Lecture Notes in Computer Science, Springer, 1985.

1983

Abstract Data Types as a Tool for Requirement EngineeringHelmuth Partsch, Peter Pepper. re 1983: 42-55

Correctness of Type TransformationsPeter Pepper. adt 1983:

On Hierarchies of Abstract Data TypesMartin Wirsing, Peter Pepper, Helmuth Partsch, Walter Dosch. ACTA, 20:1-33, 1983.

1982

Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite AlgorithmManfred Broy, Peter Pepper. TOPLAS, 4(3):362-381, 1982. [doi]

On the Algebraic Specification of Programming LanguagesPeter Pepper. adt 1982:

Abstrakte Datentypen: Die algebraische Spezifikation von RechenstrukturenPeter Pepper, Manfred Broy, Friedrich L. Bauer, Helmuth Partsch, Walter Dosch, Martin Wirsing. insk, 5(2):107-119, 1982.

1981

1980

Programmtransformationen - Das aktuelle SchlagwortFriedrich L. Bauer, Manfred Broy, Helmuth Partsch, Peter Pepper. insk, 3(3):192-193, 1980.

On Relations Between ProgramsManfred Broy, Peter Pepper, Martin Wirsing. programm 1980: 59-78

Semantic Relations in Programming LanguagesManfred Broy, Helmuth Partsch, Peter Pepper, Martin Wirsing. ifip 1980: 101-106

1979

Existential Quantifiers in Abstract Data TypesManfred Broy, Walter Dosch, Helmuth Partsch, Peter Pepper, Martin Wirsing. icalp 1979: 73-87

A study of transformational semanticsPeter Pepper. PhD thesis, Technical University Munich, Germany, 1979. [doi]

1978

1976

A Family of Rules for Recursion RemovalHelmuth Partsch, Peter Pepper. ipl, 5(6):174-177, 1976.

Sign in or sign up to see more results.

runs on WebDSL