Willkommen, schön sind Sie da!
Logo Ex Libris

Formalization of Programming Concepts

  • Kartonierter Einband
  • 492 Seiten
(0) Erste Bewertung abgeben
Bewertungen & Rezensionen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
InhaltThe algebra of functional programs: Function level reasoning, linear equations, and extended definitions.- The VDM principle... Weiterlesen
20%
130.00 CHF 104.00
Sie sparen CHF 26.00
Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

Inhalt
The algebra of functional programs: Function level reasoning, linear equations, and extended definitions.- The VDM principles of software specification & program design.- Attribute grammars : Theory and applications.- Compiler generation from formal definition of programming languages : A survey.- Formal behavioural specification of concurrent systems without globality assumptions.- A birkhoff-like theorem for algebraic classes of interpretations of program schemes.- Building data base management systems through formal specification.- Reducing types in applicative languages with structured data.- On the definition of lambda-calculus models.- About data type genericity.- On the algebraic extensions of abstract data types.- Scenarios: A model of non-determinate computation.- An operational semantics for a language with early completion data structures.- Le calcul des fermetures dans les lambda-langages.- Distributed termination with interval assertions.- Algebraic denotational semantics using parameterized abstract modules.- Relational semantics of strongly communicating sequential processes.- A construction of concurrent systems by means of sequential solutions and concurrency relations.- The development of an interpreter by means of abstract algebraic software specifications.- A formal model of an interpreter for nonprocedural languages.- Proof theoretic methodology for propositional dynamic logic.- FP systems in edinburgh LCF.- A proposal for operational semantics and equivalence of finite asynchronous processes.- An extension to horn clause logic allowing the definition of concurrent processes.- A semantic algebra for binding constructs.- On the representation of data types.- An approach to communications and parallelism in applicative languages.- Using least fixed points to characterize formal computations of non-deterministic equations.- Formal representations for recursively defined functional programs.- Petri nets and concurrency-like relations.

Produktinformationen

Titel: Formalization of Programming Concepts
Untertitel: International Colloquium, Peniscola, Spain, April 19-25, 1981. Proceedings
Editor:
EAN: 9783540106999
ISBN: 3540106995
Format: Kartonierter Einband
Herausgeber: Springer Berlin Heidelberg
Anzahl Seiten: 492
Gewicht: 739g
Größe: H235mm x B155mm x T26mm
Jahr: 1981
Untertitel: Englisch, Französisch
Auflage: 1981

Weitere Produkte aus der Reihe "Lecture Notes in Computer Science"