Formalization of Programming Concepts
Diaz
Broschiertes Buch

Formalization of Programming Concepts

International Colloquium, Peniscola, Spain, April 19-25, 1981. Proceedings

Mitarbeit: Diaz, J.; Ramos, I.
Versandkostenfrei!
Versandfertig in 1-2 Wochen
39,99 €
inkl. MwSt.
PAYBACK Punkte
20 °P sammeln!
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 dat...