scientific article; zbMATH DE number 1692450

MaRDI QIDQ2763567zbMATH OpenFDO

Authors

Publication date 20 January 2002

zbMATH Keywords

dynamic properties of Hume

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Computing methodologies and applications (68U99)

Recommendations

• Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach
• A Useful Bounded Resource Functional Language
• The semantic layers of Timber.
• scientific article; zbMATH DE number 3967898
• Distributed implementation of a process-algebra based programming language for embedded systems

Cited in

(3)

• Exception handling for copyless messaging
• Real-time MLton: a standard ML runtime for real-time functional programs
• Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach

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