Keywords:
Logic design
;
Algebra Data processing
;
Artificial intelligence
;
Computer science
;
Software engineering
;
Machine theory.
;
Compilers (Computer programs).
;
Computer science
;
Mathematical Logic and Formal Languages
;
Symbolic and Algebraic Manipulation
;
Computer Science
;
Logics and Meanings of Programs
;
Artificial Intelligence (incl. Robotics)
;
Programming Languages, Compilers, Interpreters
;
Software Engineering
;
Konferenzschrift 1993
;
Formale Spezifikationstechnik
;
Spezifikationstechnik
Description / Table of Contents:
Theory of domains and nearby -- Predicative programming — A survey -- A three-valued logic for refinement -- A compositional semantics of combining forms for gamma programs -- Algebraic properties of loop invariants -- An approach to parameterized first-order specifications: Semantics, correctness, parameter passing -- Algebraic modelling of imperative languages with pointers -- Galois connection based abstract interpretations for strictness analysis -- Efficient chaotic iteration strategies with widenings -- Semantic analysis of interval congruences -- Polymorphic typing for call-by-name semantics -- Logic program testing based on abstract interpretation -- Analysis of some semantic properties for programs of the applicative language AL -- Communication as unification in process algebras: Operational semantics -- Functional development of massively parallel programs -- Observing some properties of event structures -- The other linear logic -- Duration Calculi: An overview -- A unique formalism for specifying and designing objects in a parallel environment -- On the smooth calculation of relational recursive expressions out of first-order non-constructive specifications involving quantifiers -- Saturation replaces induction for a miniscoped linear temporal logic -- A formal approach to requirements engineering -- A two-phase approach to reverse engineering using formal methods -- Algebraically provable specification of optimized compilations -- Formal derivation of an error-detecting distributed data scheduler using Changeling -- REAL92: A combined specification language for real-time concurrent systems and properties -- Algebraic calculation of graph and sorting algorithms -- Automatical synthesis of programs with recursions -- Parsing in Isbes.
Type of Medium:
Online Resource
Pages:
Online-Ressource (IX, 433 S.)
Edition:
Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
ISBN:
9783540480563
Series Statement:
Lecture notes in computer science 735
URL:
http://www.springerlink.com/content/m32671256222
URL:
http://www.springerlink.de/openurl.asp?genre=book&isbn=978-3-540-57316-6
URL:
http://dx.doi.org/10.1007/BFb0039695
URL:
https://doi.org/10.1007/BFb0039695
URL:
https://zbmath.org/?q=an:0825.00066
Language:
English
Note:
Literaturangaben
Permalink