33 Titles in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik 1
jump to filter-options33 Titles in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik
1
About the derivation languages of grammars and machines
In: Automata, languages and programming, Vol. 4.1977, page 337-351
Abstract interfaces for compiler generating tools
In: Compiler compilers and high speed compilation, Vol. 1989, page 103-114ALSI : Eine höhere Programmiersprache zur Transformation von ALGOL-68-Verbunden in SIMULA-Klassen
In: Fachtagung über Programmiersprachen, Vol. 3, page 162-172Attribute grammars as a specification method
In: Attribute grammars, applications and systems (Lecture notes in computer science : 545), Vol. 1991, page 16-47Attribute grammars system in a compiler construction environment
In: Attribute grammars, applications and systems, Vol. 1991, page 380-400Attribute inheritance implemented on top of a relational database system
In: Data engineering / International Conference on Data Engineering <6, 1990, Los Angeles, Calif.>, Vol. 1990, page 503-509Benutzerschnittstelle und Architektur der integrierten Datenbankentwurfsumgebung CADDY
In: Abstracts des Workshops Grundlagen von Datenbanken, Vol. 1989, page 1-2Ein Beweisverfahren für Datenbankprädikate
In: Proc. of the German Workshop on Artificial Intelligence, GW AI-85, Informatik-Fachberichte 118, Vol. 9.1985, page 164-175Characterizations of time-bounded computations by limited primitive recursion
In: Automata, languages and programming, Vol. 2.1974, page 280-293Compilation for instruction parallel processors
In: Compiler compilers, Vol. 1990, page 179-192The complexity of embedding graphs into binary trees
In: Fundamentals of computation theory, Vol. 5, page 300-309Development and programming of deductive databases with PROTOS-L
In: How knowledge engineering methods can be applied to software engineering, and how software engineering methods can be applied to knowledge engineering, Vol. 1990, page 171-176Eigenschaften von Programmiersprachen
definiert durch attributierte GrammatikenIn: Programmiersprachen und Programmentwicklung, Vol. 6, page 157-174Elementary actions on an extended entity-relationship database
In: Graph grammars and their application to computer science, Vol. 1991, page 344-362Executable specifications for language implementation
In: Programming language implementation and logic programming, Vol. 1993, page 1-11The GAG-system : A tool for compiler construction
In: Methods and tools for compiler construction, Vol. 1984, page 165-181Implementation of visit-oriented attribute evaluators
In: Attribute grammars, applications and systems (Lecture notes in computer science : 545), Vol. 1991, page 114-139Improving the concurrency of integrity checks and write operations
In: Proceedings / ICDT '90, Third International Conference on Database Theory, Paris, France, December 12 - 14, 1990, Vol. 1990, page 259-273An inference engine for function free logic programs
In: Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, Vol. 1990, page 885-890Integrated predicative synchronization implemented in a federated DBMS
In: Tenth Annual International Phoenix Conference on Computers and Communications, Vol. 1991, page 123-129