dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Friedrich L. Bauer (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFriedrich 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)
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFriedrich 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 Springer 1987
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFriedrich 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 Springer 1985
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter 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)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFriedrich 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)
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFriedrich L. Bauer, Manfred Broy, Helmuth Partsch, Peter Pepper: Programmtransformationen - Das aktuelle Schlagwort. Informatik Spektrum 3(3): 192-193 (1980)
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFriedrich L. Bauer, Manfred Broy, Helmuth Partsch, Peter Pepper, Hans Wössner: Systematics of Transformation Rules. Program Construction 1978: 273-289
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Wössner, Peter Pepper, Helmuth Partsch, Friedrich L. Bauer: Special Transformation Techniques. Program Construction 1978: 290-321
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFriedrich 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

Selection of 9 from 164 records - Friedrich L. Bauer has 45 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page