Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Peter Pepper
2010 – today
- 2011
[c32]Peter Pepper, Alexandra Mehlhase, Christoph Höger, Lena Scholz: A Compositional Semantics for Modelica-style Variable-structureModeling. EOOLT 2011: 45-54- [e1]Hans-Ulrich Heiß, Peter Pepper, Holger Schlingloff, Jörg Schneider (Eds.): Informatik 2011: Informatik schafft Communities, Beiträge der 41. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 4.-7.10.2011, Berlin (Abstract Proceedings). LNI 192, GI 2011, ISBN 978-88579-286-4-7
- 2010
- [c31]Christoph Höger, Florian Lorenzen, Peter Pepper: Notes on the Separate Compilation of Modelica. EOOLT 2010: 43-51
- [c30]Dusko Pavlovic, Peter Pepper, Douglas R. Smith: Formal Derivation of Concurrent Garbage Collectors. MPC 2010: 353-376
- [i2]Dusko Pavlovic, Peter Pepper, Douglas R. Smith: Formal Derivation of Concurrent Garbage Collectors. CoRR abs/1006.4342 (2010)
2000 – 2009
- 2008
- [c29]Dusko Pavlovic, Peter Pepper, Douglas R. Smith: Evolving Specification Engineering. AMAST 2008: 299-314
- 2007
- [j17]Petra Hofstedt, Peter Pepper: Integration of declarative and constraint programming. TPLP 7(1-2): 93-121 (2007)
- [j16]Ingo Stürmer, Mirko Conrad, Heiko Dörr, Peter Pepper: Systematic Testing of Model-Based Code Generators. IEEE Trans. Software Eng. 33(9): 622-634 (2007)
- 2006
- [c28]Stephan Frank, Petra Hofstedt, Peter Pepper, Dirk Reckmann: Solution Strategies for Multi-domain Constraint Logic Programs. Ershov Memorial Conference 2006: 209-222
- 2005
- [i1]Petra Hofstedt, Peter Pepper: Integration of Declarative and Constraint Programming. CoRR abs/cs/0511090 (2005)
- 2004
- [c27]
- 2003
- [b6]Peter Pepper: Funktionale Programmierung - in OPAL, ML, HASKELL und GOFER (2. Aufl.). Springer-Lehrbuch, Springer 2003, ISBN 978-3-540-43621-8, pp. I-XIV, 1-300
- [j15]Mohamed Jmaiel, Peter Pepper: Development of communication protocols using algebraic and temporal specifications. Computer Networks 42(6): 737-764 (2003)
- [c26]Dusko Pavlovic, Peter Pepper, Douglas R. Smith: Colimits for Concurrent Collectors. Verification: Theory and Practice 2003: 568-597
- 2002
- [j14]Peter Pepper, Michael Cebulla, Klaus Didrich, Wolfgang Grieskamp: From program languages to software languages. Journal of Systems and Software 60(2): 91-101 (2002)
1990 – 1999
- 1999
- [b5]Peter Pepper: Funktionale Programmierung in OPAL, ML, HASKELL und GOFER. Springer 1999, ISBN 978-3-540-64541-2, pp. I-XIV, 1-296
- 1997
- [j13]Peter Pepper, Douglas R. Smith: A High-Level Derivation of Global Search Algorithms (with Constraint Propagation). Sci. Comput. Program. 28(2-3): 247-271 (1997)
- [c25]Mario Südholt, Christian Piepenbrock, Klaus Obermayer, Peter Pepper: Solving large systems of differential equations in parallel using covers and skeletons. Algorithmic Languages and Calculi 1997: 132-159
- [c24]Peter Pepper: Deriving Parallel Numerical Algorithms using Data Distribution Algebras: Wang's Algorithm. HICSS (1) 1997: 501-
- [c23]Klaus Didrich, Wolfgang Grieskamp, Christian Maeder, Peter Pepper: Programming in the Large: The Algebraic-Functional Language Opal 2alpha. Implementation of Functional Languages 1997: 322-337
- 1996
- [c22]Klaus Didrich, Carola Gerke, Wolfgang Grieskamp, Christian Maeder, Peter Pepper: Towards Integrating Algebraic Specification and Functional Programming: the Opal System (Extended Abstract). AMAST 1996: 559-562
- [c21]Thomas Frauenstein, Wolfgang Grieskamp, Peter Pepper, Mario Südholt: Communicating Functional Agents and Their Application to Graphical User Interfaces. Ershov Memorial Conference 1996: 386-397
- 1995
- [b4]Peter Pepper: Grundlagen der Informatik (2. Aufl.). Oldenbourg 1995, ISBN 978-3-486-23513-5, pp. 1-357
- [c20]Peter Pepper, Martin Wirsing: A Method for the Development of Correct Software. KORSO Book 1995: 27-57
- [c19]Peter Pepper, R. Betschko, S. Dick, Klaus Didrich: Realizing Sets by Hash Tables. KORSO Book 1995: 58-73
- 1994
- [c18]Klaus Didrich, Andreas Fett, Carola Gerke, Wolfgang Grieskamp, Peter Pepper: OPAL: Design and Implementation of an Algebraic Programming Language. Programming Languages and System Architectures 1994: 228-244
- 1993
- [j12]Andreas Fett, Carola Gerke, Wolfgang Grieskamp, Peter Pepper: Algebreic Programming in Opal. Bulletin of the EATCS 50: 171-181 (1993)
- [c17]Peter Pepper, Jürgen Exner, Mario Südholt: Functional Development of Massively Parallel Programs (Invited Paper). Formal Methods in Programming and Their Applications 1993: 217-238
- [c16]Peter Pepper, Jürgen Exner, Mario Südholt: Funktionale Programmierung für massiv parallele Systeme. GI Jahrestagung 1993: 551-556
- [c15]
- 1992
- [b3]Peter Pepper: Grundlagen der Informatik. Oldenbourg 1992, ISBN 978-3-486-21153-5, pp. 1-355
- 1991
- [c14]
1980 – 1989
- 1989
- [j11]Friedrich L. Bauer, Bernhard Möller, Helmuth Partsch, Peter Pepper: Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming. IEEE Trans. Software Eng. 15(2): 165-180 (1989)
- [c13]Hartmut Ehrig, Peter Pepper, Fernando Orejas: On Recent Trends in Algebraic Specification. ICALP 1989: 263-288
- 1988
- [c12]
- 1987
- [b2]Friedrich L. Bauer, Herbert Ehler, A. Horsch, Bernhard Möller, Helmuth Partsch, O. Paukner, Peter Pepper: The Munich Project CIP, Volume II: The Program Transformation System CIP-S. Lecture Notes in Computer Science 292, Springer 1987, ISBN 3-540-18779-0
- [j10]Peter Pepper: A Simple Calculus for Program Transformation (Inclusive of Induction). Sci. Comput. Program. 9(3): 221-262 (1987)
- [j9]Manfred Broy, Martin Wirsing, Peter Pepper: On the Algebraic Definition of Programming Languages. ACM Trans. Program. Lang. Syst. 9(1): 54-99 (1987)
- [c11]Peter Pepper: Specification of Distributed Systems Using Modal Logics. GI Jahrestagung 1987: 110-121
- 1986
- [j8]Manfred Broy, Bernhard Möller, Peter Pepper, Martin Wirsing: Algebraic Implementations Preserve Program Correctness. Sci. Comput. Program. 7(1): 35-53 (1986)
- 1985
- [b1]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: The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L. Lecture Notes in Computer Science 183, Springer 1985, ISBN 3-540-15187-7
- 1983
- [j7]Martin Wirsing, Peter Pepper, Helmuth Partsch, Walter Dosch: On Hierarchies of Abstract Data Types. Acta Inf. 20: 1-33 (1983)
- [c10]
- [c9]Helmuth Partsch, Peter Pepper: Abstract Data Types as a Tool for Requirement Engineering. Requirements Engineering 1983: 42-55
- 1982
- [j6]Peter Pepper, Manfred Broy, Friedrich L. Bauer, Helmuth Partsch, Walter Dosch, Martin Wirsing: Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen. Informatik Spektrum 5(2): 107-119 (1982)
- [j5]Manfred Broy, Peter Pepper: Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite Algorithm. ACM Trans. Program. Lang. Syst. 4(3): 362-381 (1982)
- [c8]
- 1981
- [j4]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: Programming in a Wide Spectrum Language: A Collection of Examples. Sci. Comput. Program. 1(1-2): 73-114 (1981)
- [j3]Manfred Broy, Peter Pepper: Program Development as a Formal Activity. IEEE Trans. Software Eng. 7(1): 14-23 (1981)
- 1980
- [j2]Friedrich L. Bauer, Manfred Broy, Helmuth Partsch, Peter Pepper: Programmtransformationen - Das aktuelle Schlagwort. Informatik Spektrum 3(3): 192-193 (1980)
- [c7]Manfred Broy, Helmuth Partsch, Peter Pepper, Martin Wirsing: Semantic Relations in Programming Languages. IFIP Congress 1980: 101-106
- [c6]Manfred Broy, Peter Pepper, Martin Wirsing: On Relations Between Programs. Symposium on Programming 1980: 59-78
1970 – 1979
- 1979
- [c5]Manfred Broy, Walter Dosch, Helmuth Partsch, Peter Pepper, Martin Wirsing: Existential Quantifiers in Abstract Data Types. ICALP 1979: 73-87
- 1978
- [c4]Friedrich L. Bauer, Manfred Broy, Helmuth Partsch, Peter Pepper, Hans Wössner: Systematics of Transformation Rules. Program Construction 1978: 273-289
- [c3]Hans Wössner, Peter Pepper, Helmuth Partsch, Friedrich L. Bauer: Special Transformation Techniques. Program Construction 1978: 290-321
- [c2]
- [c1]Friedrich L. Bauer, Manfred Broy, Rupert Gnatz, Wolfgang Hesse, Bernd Krieg-Brückner, Helmuth Partsch, Peter Pepper, Hans Wössner: Towards a Wide Spectrum Language to Support Program Specification and Program Development. Program Construction 1978: 543-552
- 1976
- [j1]Helmuth Partsch, Peter Pepper: A Family of Rules for Recursion Removal. Inf. Process. Lett. 5(6): 174-177 (1976)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 20:44 CET by the dblp team