University of Bremen Logo  
 
Research Group Theoretical Computer Science
 
HOME
TEAM
TEACHING
RESEARCH
Publications in 1982 (get BIBTeX file):

Hartmut Ehrig, Hans-Jörg Kreowski, James Thatcher, Eric Wagner, Jesse Wright: Parameter Passing in Algebraic Specification Languages. In Proc. Workshop on Program Specification (Aarhus, 1981), volume 134 of Lecture Notes in Computer Science, pages 322-369. Springer, 1982. (Draft version) also appeared in: Theoretical Computer Science Vol. 28, 45-81, 1984.

Hartmut Ehrig, Hans-Jörg Kreowski, Bernd Mahr, Peter Padawitz: Algebraic Implementation of Abstract Data Types. Theoretical Computer Science 20:209-263, 1982.

Hartmut Ehrig, Hans-Jörg Kreowski: Keywords in Context: An Algebraic Specification. In Proc. Workshop on Program Specification (Aarhus, 1981), volume 134 of Lecture Notes in Computer Science, pages 73-83. Springer, 1982.

Hartmut Ehrig, Hans-Jörg Kreowski: Parameter Passing Commutes with Implementation of Parameterized Data Types. In Proc. International Conference on Automata, Languages and Programming ICALP'82 (Aarhus), volume 140 of Lecture Notes in Computer Science, pages 197-211. Springer, 1982.


Mail Address
University of Bremen
Dept. for Math. &
Computer Science

P.O. Box 330 440
28334 Bremen
Germany

Physical Address
Bibliothekstrasse 5
MZH 5130
28359 Bremen

Phone
++49(421)218 64451

Email (Secr.)
Helga Reinermann

helga@tzi.de