Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

8237 Publications


1981 | Report | LibreCat-ID: 8184
Engels, Gregor, Udo Pletat, and Hans-Dietrich Ehrich. Handling Errors and Exceptions in the Algebraic Specifications of Data Types. University of Osnabrück, 1981.
LibreCat
 

1981 | Report | LibreCat-ID: 8185
Pletat, Udo, Gregor Engels, and Hans-Dietrich Ehrich. Operational Semantics of Algebraic Specifications with Conditional Equations. University of Dortmund, Department of Computer Science, 1981.
LibreCat
 

1982 | Conference Paper | LibreCat-ID: 7811
Engels, Gregor, and Wilhelm Schäfer. “Specification of a Programming Support Environment by Graph Grammars.” In Proceedings of the Conference on Graphtheoretic Concepts in Computer Science (WG`82), München (Germany), 47–62. München/Leipzig: Hanser, 1982.
LibreCat
 

1982 | Conference Paper | LibreCat-ID: 7812
Pletat, Udo, Gregor Engels, and Hans-Dietrich Ehrich. “An Operational Approach to Conditional Algebraic Specifications.” In Proceedings of the 7eme Colloque Sur Les Arbres En Algebre et En Programmation, Lille (France), 82:254–70, 1982.
LibreCat
 

1983 | Journal Article | LibreCat-ID: 7412
Engels, Gregor, Udo Pletat, and Hans-Dietrich Ehrich. “An Operational Semantics for Specifications of Abstract Data Types with Error Handling.” Acta Informatica 9, no. 3 (1983): 235–54. http://dx.doi.org/10.1007/BF00265557.
LibreCat | DOI
 

1983 | Journal Article | LibreCat-ID: 7411
Engels, Gregor, Rupert Gall, Manfred Nagl, and Wilhelm Schäfer. “Software Specification Using Graph Grammars.” Computing 31, no. 4 (1983): 317–46. http://dx.doi.org/10.1007/BF02251236.
LibreCat | DOI
 

1983 | Conference Paper | LibreCat-ID: 8255
Nagl, Manfred, Gregor Engels, Rupert Gall, and Wilhelm Schäfer. “Software Specification by Graph Grammars.” In Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science, Osnabrück (Germany), 153:267–87. LNCS. Berlin/Heidelberg: Springer, 1983. https://doi.org/dx.doi.org/10.1007/BFb0000113.
LibreCat | DOI
 

1985 | Conference Paper | LibreCat-ID: 7813
Engels, Gregor, and Wilhelm Schäfer. “Graph Grammar Engineering: A Method Used for the Development of an Integrated Programming Support Environment.” In Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT 1985), Berlin (Germany), 186:179–93. LNCS. Berlin/Heidelberg: Springer, 1985.
LibreCat
 

1985 | Conference Paper | LibreCat-ID: 7814
Engels, Gregor, and Wilhelm Schäfer. “The Design of an Adaptive and Portable Programming Support Environment.” In Proceedings of the International Computing Symposium, Amsterdam (The Netherlands). Florenz, 1985.
LibreCat
 

1986 | Conference Paper | LibreCat-ID: 8256
Engels, Gregor, and Andrea Sandbrink. “Experiences with a Hybrid-Interpreter Based on Incremental Compilation Techniques.” In Proceedings of the Workshop on Compiler Compilers and Incremental Compilation Techniques, Bautzen, 12:172–84. Bautzen: Berlin(Ost): Akademie der Wissenschaften der DDR, 1986.
LibreCat
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year
Citation Style: Chicago

Export / Embed