Work

A Process Semantics for Functional Programming

Year: 1995

Type: article

Abstract: The semantics of lazy functional programming languages is usually presented in two different ways: a semantics based on trees which is used to reason about a program; and a semantics based on graphs which is used to implement a program. The link between these semantics is often unclear. We present a process semantics for functional programming which has a number of interesting properties. Firstly it is structured in such a way that the relationship between the tree and graph semantics is clear. Secondly, it captures the main requirements of functional programming by incorporating laziness, cycles and strictness. Lastly, there is a simple formal correspondence between this semantics and other operational presentations.

Source: Electronic Notes in Theoretical Computer Science

DOI: 10.1016/s1571-0661(05)80178-1

Authors: Simon Brock, Gerald Ostheimer

Institution: University of St Andrews

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

OpenAlex ID: W2067368664

FWCI:

Cites: 15

Cited by:

Related to: 10