scientific article; zbMATH DE number 4011895

MaRDI QIDQ3761665zbMATH OpenFDO

Authors Gianni Aguzzi

Publication date 1986

zbMATH Keywords

Dijkstra's weakest preconditioningfunctional programminglinear expansionsMarkov algorithmNGPA systempattern matchingpointer algorithmrecursive FP-definitions

Mathematics Subject Classification ID

Computability and recursion theory on ordinals, admissible sets, etc. (03D60) General topics in the theory of software (68N01) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 3856378
• scientific article; zbMATH DE number 3878326
• scientific article; zbMATH DE number 3864470
• scientific article; zbMATH DE number 3976296
• Formal models for some features of programming languages

Cited in

(5)

• Acceptable functional programming systems
• scientific article; zbMATH DE number 3856378 (Why is no real title available?)
• scientific article; zbMATH DE number 3864470 (Why is no real title available?)
• scientific article; zbMATH DE number 3878326 (Why is no real title available?)
• Proposal for a natural formalization of functional programming concepts

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