×
Author ID: pepper.peter Recent zbMATH articles by "Pepper, Peter"
Published as: Pepper, Peter; Pepper, P.

Publications by Year

Citations contained in zbMATH Open

23 Publications have been cited 99 times in 76 Documents Cited by Year
On hierarchies of abstract data types. Zbl 0513.68015
Wirsing, Martin; Pepper, Peter; Partsch, Helmut; Dosch, Walter; Broy, Manfred
15
1983
On the algebraic definition of programming languages. Zbl 0627.68009
Broy, Manfred; Wirsing, Martin; Pepper, Peter
13
1987
Existential quantifiers in abstract data types. Zbl 0404.68026
Broy, M.; Dosch, W.; Partsch, H.; Pepper, P.; Wirsing, M.
13
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.
11
1981
On recent trends in algebraic specification. Zbl 0689.68013
Ehrig, H.; Pepper, P.; Orejas, F.
8
1989
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
Algorithmic language and program development. In collab. with H. Partsch and P. Pepper. Transl. from the German. Zbl 0486.68007
Bauer, F. L.; Woessner, H.
7
1982
A family of rules for recursion removal. Zbl 0345.68011
Partsch, Helmut; Pepper, Peter
6
1976
Formal derivation of concurrent garbage collectors. Zbl 1286.68090
Pavlovic, Dusko; Pepper, Peter; Smith, Douglas R.
6
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
Integration of declarative and constraint programming. Zbl 1112.68030
Hofstedt, Petra; Pepper, Peter
3
2007
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
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
Semantic relations in programming languages. Zbl 0443.68005
Broy, M.; Partsch, H.; Pepper, P.; Wirsing, M.
2
1980
A simple calculus for program transformation (inclusive of induction). Zbl 0624.68020
Pepper, Peter
1
1987
Algebraic programming in Opal. Zbl 1023.68629
Fett, Andreas; Gerke, Carola; Grieskamp, Wolfgang; Pepper, Peter
1
1993
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
A transformational approach to programming. Zbl 0405.68004
Pepper, P.; Partsch, H.; Wössner, H.; Bauer, F. L.
1
1978
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.
6
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
3
2007
Algebraic programming in Opal. Zbl 1023.68629
Fett, Andreas; Gerke, Carola; Grieskamp, Wolfgang; Pepper, Peter
1
1993
On recent trends in algebraic specification. Zbl 0689.68013
Ehrig, H.; Pepper, P.; Orejas, F.
8
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
13
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
15
1983
Algorithmic language and program development. In collab. with H. Partsch and P. Pepper. Transl. from the German. Zbl 0486.68007
Bauer, F. L.; Woessner, H.
7
1982
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.
11
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.
13
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 93 Authors

7 Broy, Manfred
7 Wirsing, Martin
6 Hennicker, Rolf
5 Meseguer Guaita, José
4 Roşu, Grigore
4 Tarlecki, Andrzej
3 Back, Ralph-Johan
3 Sáenz-Pérez, Fernando
3 Sannella, Donald T.
2 Åman Pohjola, Johannes
2 Bergstra, Jan A.
2 del Vado Vírseda, Rafael
2 Dosch, Walter
2 Ehrig, Hartmut
2 Estévez-Martín, Sonia
2 Fernández, Antonio J.
2 Hortalá-González, Teresa
2 Ibragimov, F. N.
2 Kasymov, Nadimulla Khabibullaevich
2 Möller, Bernhard
2 Myreen, Magnus O.
2 Orejas, Fernando
2 Pigozzi, Don Leonard
2 Rodríguez-Artalejo, Mario
2 Sandberg Ericsson, Adam
2 Smith, Douglas R.
2 Talcott, Carolyn L.
2 Tucker, John V.
1 Aboul-Hosn, Kamal
1 Allouche, Jean-Paul Simon
1 Arsac, Jacques J.
1 Bauer, Friedrich Ludwig
1 Bidoit, Michel
1 Cachera, David
1 Dadazhanov, Ruzmat Normatovich
1 De Nicola, Rocco
1 Demange, Delphine
1 Dershowitz, Nachum
1 Dress, François
1 Drosten, Klaus
1 Ehrich, Hans-Dieter
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, Gary T.
1 Leavens, Gray T.
1 Lipeck, Udo Walter
1 Lucas, Salvador
1 Mahr, Bernd
1 Moineau, Th.
1 Myers, Eugene W.
1 Navarro, Marisa
1 Nepeĭvoda, Nikolaĭ Nikolaevich
1 Nieva, Susana
1 Nuriev, R. M.
1 Pair, Claude
1 Pavlović, Duško
1 Petri, Gustavo
1 Pettorossi, Alberto
1 Pichardie, David
1 Quere, A.
1 Remy, Jean-Luc
1 Sánchez-Hernández, Jaime
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 Treinen, Ralf
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