| |
|
| Artikel-Nr.: 858A-9783540100072 Herst.-Nr.: 9783540100072 EAN/GTIN: 9783540100072 |
| |
|
| | |
| Abstract Architecture.- Foundations of denotational semantics.- Models of programming language concepts.- Formalization of data base models.- Experiments in block-structured GOTO language modeling: -- EXITs versus continuations.- An introduction to data algebras.- Time sequences as a tool for describing program behaviour.- The semantics of clear, a specification language.- An example of hierarchical program specification.- Modular program construction using abstractions.- On the structure of application programs.- Abstract objects as abstract data types.- Design and analysis of highly parallel and distributed systems.- On the semantics of fair parallelism.- Dijkstra's predicate transformers and smyth's powerdomains.- Banquet talk. Weitere Informationen: | | Author: | D. Bjorner | Verlag: | Springer Berlin | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, bücher für datenbanken - englischsprachig, EDV / Theorie / Software-Entw. / Software Engineering, Design; distributed systems; Language; modeling; programming; programming language; Semantics, design, distributed systems, language, modeling, programming, programming language, semantics, software |
| | |
| |