scientific article; zbMATH DE number 1810493

zbMATH Open1012.68078MaRDI QIDQ3148334FDOQ3148334

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

Publication date: 30 September 2002

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

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

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)

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)