scientific article; zbMATH DE number 3937124

MaRDI QIDQ3710486zbMATH OpenFDO

Authors

Publication date 1986

zbMATH Keywords

ConferenceProceedingsInformation processingIFIPProgrammingFormal modelsVienna/Austria

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Recommendations

• Special issue: Proceedings of the international summer school and workshop on Formal models of programming and their applications, Beijing, China, September 17--20, 1997
• scientific article; zbMATH DE number 48095
• Approximation of abstract semantics by formal models of programs
• Formal models and free program schemata
• scientific article; zbMATH DE number 488596
• Toward formal development of programs from algebraic specifications: model-theoretic foundations
• A formal model of programs
• scientific article; zbMATH DE number 4119655
• Formal models for some features of programming languages

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3710486)