scientific article; zbMATH DE number 1810493

MaRDI QIDQ3148334zbMATH OpenFDO

Authors Brian Postow, Kenneth W. Regan, Carl H. Smith

Publication date 30 September 2002

zbMATH Keywords

model of computation

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 1114038
• Towards the uniform implementation of declarative languages
• A new programming technique for lazy functional languages
• Purely functional lazy nondeterministic programming
• scientific article; zbMATH DE number 176934
• Purely functional lazy non-deterministic programming
• Universal properties of impure programming languages
• Unifying lazy and strict computations
• scientific article; zbMATH DE number 4096777

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