scientific article; zbMATH DE number 3827166

MaRDI QIDQ3673065zbMATH OpenFDO

Authors

Publication date 1982

zbMATH Keywords

Adacompiler production from abstract data typesformal systems specificationsfunctional programmingidealized Algolinduction principlesinvariance properties of programslogic for computable functionsNice/Franceparallelismperluette systemProgram constructionprogram correctnessspecification logicSPRACsystem DELTAsystem development methodtransformation of recursive procedures into iterative onesVLSI

Mathematics Subject Classification ID

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

Cited in

(4)

• Continuations in possible-world semantics
• A first order logic of effects
• Monoidal indeterminates and categories of possible worlds
• A fibrational framework for possible-world semantics of \textsc{Algol}-like 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 Q3673065)