scientific article; zbMATH DE number 3827166

zbMATH Open0522.68006MaRDI QIDQ3673065FDOQ3673065

Author name not available (Why is that?)

Publication date: 1982

Title of this publication is not available (Why is that?)

zbMATH Keywords

functional programmingidealized AlgolparallelismVLSIprogram correctnessinduction principlesNice/FranceAdaProgram constructionspecification logiclogic for computable functionsinvariance properties of programscompiler production from abstract data typesformal systems specificationsperluette systemSPRACsystem DELTAsystem development methodtransformation of recursive procedures into iterative ones

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theory of software (68Nxx)

Cited In (4)

• Monoidal indeterminates and categories of possible worlds
• A first order logic of effects
• A fibrational framework for possible-world semantics of \textsc{Algol}-like languages
• Continuations in possible-world semantics

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 Q3673065)