×

zbMATH — the first resource for mathematics

Pepper, Peter

Compute Distance To:
Author ID: pepper.peter Recent zbMATH articles by "Pepper, Peter"
Published as: Pepper, Peter; Pepper, P.
Documents Indexed: 47 Publications since 1976, including 6 Books

Publications by Year

Citations contained in zbMATH Open

21 Publications have been cited 101 times in 67 Documents Cited by Year
On hierarchies of abstract data types. Zbl 0513.68015
Wirsing, Martin; Pepper, Peter; Partsch, Helmut; Dosch, Walter; Broy, Manfred
13
1983
On the algebraic definition of programming languages. Zbl 0627.68009
Broy, Manfred; Wirsing, Martin; Pepper, Peter
12
1987
Existential quantifiers in abstract data types. Zbl 0404.68026
Broy, M.; Dosch, W.; Partsch, H.; Pepper, P.; Wirsing, M.
10
1979
Programming in a wide spectrum language: A collection of examples. Zbl 0469.68003
Bauer, F. L.; Broy, M.; Dosch, W.; Gnatz, R.; Krieg-Brückner, B.; Laut, A.; Luckmann, M.; Matzner, T.; Möller, B.; Partsch, H.; Pepper, P.; Samelson, K.; Steinbrüggen, R.; Wirsing, M.; Wössner, H.
9
1981
A study on transformational semantics. Zbl 0408.68074
Pepper, P.
8
1979
Algebraic implementations preserve program correctness. Zbl 0597.68021
Broy, Manfred; Möller, Bernhard; Pepper, Peter; Wirsing, Martin
7
1986
A family of rules for recursion removal. Zbl 0345.68011
Partsch, Helmut; Pepper, Peter
6
1976
On recent trends in algebraic specification. Zbl 0689.68013
Ehrig, H.; Pepper, P.; Orejas, F.
5
1989
Formal derivation of concurrent garbage collectors. Zbl 1286.68090
Pavlovic, Dusko; Pepper, Peter; Smith, Douglas R.
5
2010
Systematics of transformation rules. Zbl 0399.68009
Bauer, F. L.; Broy, M.; Partsch, H.; Pepper, P.; Wössner, H.
4
1979
On relations between programs. Zbl 0435.68017
Broy, M.; Pepper, P.; Wirsing, M.
4
1980
Towards a wide spectrum language to support program specification and program development. Zbl 0409.68003
Bauer, F. L.; Broy, M.; Gnatz, R.; Hesse, W.; Krieg-Brückner, B.; Partsch, H.; Pepper, P.; Wössner, H.
3
1979
Program development as a formal activity. Zbl 0447.68005
Broy, Manfred; Pepper, Peter
3
1981
Formal program construction by transformations - computer-aided, intuition-guided programming. Zbl 0664.68017
Bauer, Friedrich Ludwig; Möller, Bernhard; Partsch, Helmut; Pepper, Peter
3
1989
Semantic relations in programming languages. Zbl 0443.68005
Broy, M.; Partsch, H.; Pepper, P.; Wirsing, M.
2
1980
Integration of declarative and constraint programming. Zbl 1112.68030
Hofstedt, Petra; Pepper, Peter
2
2007
A simple calculus for program transformation (inclusive of induction). Zbl 0624.68020
Pepper, Peter
1
1987
A transformational approach to programming. Zbl 0405.68004
Pepper, P.; Partsch, H.; Wössner, H.; Bauer, F. L.
1
1978
Combining algebraic and algorithmic reasoning: an approach to the Schorr- Waite algorithm. Zbl 0483.68035
Broy, Manfred; Pepper, Peter
1
1982
Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen. Zbl 0488.68024
Pepper, P.; Broy, M.; Bauer, F. L.; Partsch, H.; Dosch, W.; Wirsing, M.
1
1982
Evolving specification engineering. Zbl 1170.68010
Pavlovic, Dusko; Pepper, Peter; Smith, Doug
1
2008
Formal derivation of concurrent garbage collectors. Zbl 1286.68090
Pavlovic, Dusko; Pepper, Peter; Smith, Douglas R.
5
2010
Evolving specification engineering. Zbl 1170.68010
Pavlovic, Dusko; Pepper, Peter; Smith, Doug
1
2008
Integration of declarative and constraint programming. Zbl 1112.68030
Hofstedt, Petra; Pepper, Peter
2
2007
On recent trends in algebraic specification. Zbl 0689.68013
Ehrig, H.; Pepper, P.; Orejas, F.
5
1989
Formal program construction by transformations - computer-aided, intuition-guided programming. Zbl 0664.68017
Bauer, Friedrich Ludwig; Möller, Bernhard; Partsch, Helmut; Pepper, Peter
3
1989
On the algebraic definition of programming languages. Zbl 0627.68009
Broy, Manfred; Wirsing, Martin; Pepper, Peter
12
1987
A simple calculus for program transformation (inclusive of induction). Zbl 0624.68020
Pepper, Peter
1
1987
Algebraic implementations preserve program correctness. Zbl 0597.68021
Broy, Manfred; Möller, Bernhard; Pepper, Peter; Wirsing, Martin
7
1986
On hierarchies of abstract data types. Zbl 0513.68015
Wirsing, Martin; Pepper, Peter; Partsch, Helmut; Dosch, Walter; Broy, Manfred
13
1983
Combining algebraic and algorithmic reasoning: an approach to the Schorr- Waite algorithm. Zbl 0483.68035
Broy, Manfred; Pepper, Peter
1
1982
Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen. Zbl 0488.68024
Pepper, P.; Broy, M.; Bauer, F. L.; Partsch, H.; Dosch, W.; Wirsing, M.
1
1982
Programming in a wide spectrum language: A collection of examples. Zbl 0469.68003
Bauer, F. L.; Broy, M.; Dosch, W.; Gnatz, R.; Krieg-Brückner, B.; Laut, A.; Luckmann, M.; Matzner, T.; Möller, B.; Partsch, H.; Pepper, P.; Samelson, K.; Steinbrüggen, R.; Wirsing, M.; Wössner, H.
9
1981
Program development as a formal activity. Zbl 0447.68005
Broy, Manfred; Pepper, Peter
3
1981
On relations between programs. Zbl 0435.68017
Broy, M.; Pepper, P.; Wirsing, M.
4
1980
Semantic relations in programming languages. Zbl 0443.68005
Broy, M.; Partsch, H.; Pepper, P.; Wirsing, M.
2
1980
Existential quantifiers in abstract data types. Zbl 0404.68026
Broy, M.; Dosch, W.; Partsch, H.; Pepper, P.; Wirsing, M.
10
1979
A study on transformational semantics. Zbl 0408.68074
Pepper, P.
8
1979
Systematics of transformation rules. Zbl 0399.68009
Bauer, F. L.; Broy, M.; Partsch, H.; Pepper, P.; Wössner, H.
4
1979
Towards a wide spectrum language to support program specification and program development. Zbl 0409.68003
Bauer, F. L.; Broy, M.; Gnatz, R.; Hesse, W.; Krieg-Brückner, B.; Partsch, H.; Pepper, P.; Wössner, H.
3
1979
A transformational approach to programming. Zbl 0405.68004
Pepper, P.; Partsch, H.; Wössner, H.; Bauer, F. L.
1
1978
A family of rules for recursion removal. Zbl 0345.68011
Partsch, Helmut; Pepper, Peter
6
1976
all top 5

Cited by 85 Authors

7 Broy, Manfred
7 Wirsing, Martin
5 Hennicker, Rolf
5 Meseguer Guaita, José
4 Roşu, Grigore
4 Tarlecki, Andrzej
3 Back, Ralph-Johan
3 Sannella, Donald T.
2 del Vado Vírseda, Rafael
2 Dosch, Walter
2 Estévez-Martín, Sonia
2 Fernández, Antonio J.
2 Hortalá-González, Teresa
2 Möller, Bernhard
2 Orejas, Fernando
2 Rodríguez-Artalejo, Mario
2 Sáenz-Pérez, Fernando
2 Smith, Douglas R.
2 Talcott, Carolyn L.
1 Aboul-Hosn, Kamal
1 Allouche, Jean-Paul Simon
1 Åman Pohjola, Johannes
1 Arsac, Jacques J.
1 Bauer, Friedrich Ludwig
1 Bergstra, Jan A.
1 Bidoit, Michel
1 Cachera, David
1 De Nicola, Rocco
1 Demange, Delphine
1 Dershowitz, Nachum
1 Dress, François
1 Drosten, Klaus
1 Ehrich, Hans-Dieter
1 Ehrig, Hartmut
1 Fauser, Bertfried
1 Fiadeiro, José Luiz
1 Finance, Jean-Pierre
1 Gaudel, Marie-Claude
1 Gogolla, Martin
1 Hikita, Teruo
1 Hoare, C. A. R. Tony
1 Jagannathan, Suresh
1 Jones, Cliff B.
1 Jürgensen, Helmut
1 Kahl, Wolfram
1 Kahrs, Stefan Michael
1 Khoshnevisan, Hessam
1 Klaeren, Herbert A.
1 Kozen, Dexter C.
1 Kreowski, Hans-Jörg
1 Leavens, Gray T.
1 Lipeck, Udo Walter
1 Lucas, Salvador
1 Moineau, Th.
1 Myers, Eugene W.
1 Myreen, Magnus O.
1 Navarro, Marisa
1 Nepeĭvoda, Nikolaĭ Nikolaevich
1 Nuriev, R. M.
1 Pair, Claude
1 Pavlović, Duško
1 Petri, Gustavo
1 Pettorossi, Alberto
1 Pichardie, David
1 Pigozzi, Don Leonard
1 Quere, A.
1 Remy, Jean-Luc
1 Sandberg Ericsson, Adam
1 Scarioni, F.
1 Şerbănuţă, Traian Florin
1 Sharir, Micha
1 Speranza, H. G.
1 Struth, Georg
1 Stümpel, Annette
1 Tiuryn, Jerzy
1 Tucker, John V.
1 van Staden, Stephan
1 Vitek, Jan
1 Ward, Martin P.
1 Wood, Derick
1 Yatapanage, Nisansala
1 Zakowski, Yannick
1 Zedan, Hussein
1 Zhang, Minghua
1 Zhu, Huibiao

Citations by Year