Informatik (15 757 Artikel)

Abstract Architecture.- Foundations of denotational semantics.- Models of programming language concepts.- Formalization of data base models.- Experiments in block-structured GOTO language modeling:...

Formal description of programming concepts.- Electronic category theory.- An essay about research on sparse NP complete sets.- Some theoretical aspects of applicative multiprocessing.- On some disc...

Einführung.- Textverarbeitung und Informatik Seite.- Textverarbeitungssysteme.- Cognitive Dimensions of Information Manipulation Systems.- Eine Stack/String/Listen-Maschine für die Textverarbeitung...

1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5 Discussion of HLR.

Beginnings.- Context-free grammar forms.- EOL and ETOL forms.- Other topics.- Past, present and future.

and preliminaries.- Grammar covers and related concepts.- Covers, parsing and normal forms.- Properties of covers and preliminary transformations.- Normal form covers for context-free grammars.- Th...

Programming with coroutines.- A programming language with coroutines.- The design of the semantics of the language.- The syntax of the language.- The implementation of the language.- Conclusions an...

Computer programs for spelling correction: An experiment in program design.

Reliability measures for computer systems.- Reliability analysis of some computer architectures.- Coverage-related reliability analysis of some computer architectures.- Evaluation of some computer ...

1 -- Introduction.- 2 -- Magmas, algebras and trees.- 3 -- Program schemes.- 4 -- Semantics.- 5 -- Classes of interpretations.- 6 -- Program transformations.

Canonical expansions of Boolean functions.- Differences of Boolean functions.- Application to switching theory.

The post-office problem and related questions.- Series of graphs generated by rational machines.- On linearizing graphs.- Set-theoretic concepts in programming languages and their implementation.- ...

Firmware -- Heute.- Firmware Engineering: An Extensive Update.- Software Engineering -- Firmware Engineering.- Spezifikation von Firmware.- Firmware Development Systems, a Survey.- Firmware-Entwurf...

This text contains the proceedings of a workshop on software develoDment tools, held at Pingree Park, Colorado in May, 1979. The workshop, for which we were co-chair men, was primarily, but not exc...

Hauptvorträge.- ,,Expert Systems -- looking back and looking ahead,,.- ,,Relational Database Systems: Where we stand today,,.- ,,Capabilities and Protection".- ,,Effizienz paralleler Rechner".- Die...