Titlebook: GI — 11. Jahrestagung; In Verbindung mit Th Wilfried Brauer Conference proceedings 1981 Springer-Verlag Berlin Heidelberg 1981 Algorithmen.

obdurate

书目名称GI — 11. Jahrestagung影响因子(影响力)




书目名称GI — 11. Jahrestagung影响因子(影响力)学科排名




书目名称GI — 11. Jahrestagung网络公开度




书目名称GI — 11. Jahrestagung网络公开度学科排名




书目名称GI — 11. Jahrestagung被引频次




书目名称GI — 11. Jahrestagung被引频次学科排名




书目名称GI — 11. Jahrestagung年度引用




书目名称GI — 11. Jahrestagung年度引用学科排名




书目名称GI — 11. Jahrestagung读者反馈




书目名称GI — 11. Jahrestagung读者反馈学科排名

uveitis

Description of Parameterized Compiler Modulesechniques for syntactic analysis. Compiler descriptions in form of attribute grammars are, like denotational semantics definitions in the sense of Scott and Strachey, monolithic and do not encourage modularization. Compiler descriptions, like any other specification of complex program systems, are n

hemoglobin

Static-Scope-LISP: Zerlegung Eines Interpretierers in Übersetzer und Laufzeitsystemruktion auftretenden Schwierigkeiten haben verschiedene prinzipielle Untersuchungen ausgelöst, so daß der Übersetzerbau zunehmend auch die Aufmerksamkeit der mehr theoretisch durchdrungenen Nachbargebiete auf sich zieht. Man ist seit langem bemüht, die traditionelle per-Hand-Konstruktion von Überset

Oligarchy

Programs as Transformations of Algebraic Theories (Extended Abstract)ograms computing on abstractly specified data types have been studied. At least two different types of theories have emerged. Approaches of the first type view programming language ., such as assignment or if-then-else, as operators of algebras that contain as a sub-algebra the data types on which t

Palpitation

chuckle

Semantikdefinition im Rahmen Eines Programmiersystemgeneratorsn hierzu resultieren aus der Arbeit am PSG-Projekt (“Programmiersystrmgenerator”) und stellen Teilaspekte einer formalen Sprachdefinition und der aus ihr erzeugten Programmierumgebung dar. Die Semantikbeschreibung ist denotational unter Berücksichtigung von Strukturierungshilfsmitteln. Fragmente wer

chuckle

拥挤前

Hoare-Style Proof Systems and Formal Computationsems can help to construct correct programs. One possible answer is provided by observing that efforts to find sound and complete Hoare-style proof systems can be considered as efforts to understand the formal computations of the considered programs. Stated in general terms this observation may seem

Ganglion-Cyst

手铐