Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach

DOI10.1007/11894100_4zbMath1156.68332OpenAlexW1608754516MaRDI QIDQ5302889

Kevin Hammond

Publication date: 15 January 2009

Published in: Central European Functional Programming School (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11894100_4

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Graph-based communication in Eden

Uses Software

• SIGNAL
• Erlang

This page was built for publication: Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach