scientific article; zbMATH DE number 3827166

MaRDI QIDQ3673065zbMATH OpenFDO

Authors

Publication date 1982

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)