Open AccessA Relational Account of Call-by-Value Sequentiality
Author(s) -
Jon G. Riecke,
Anders B. Sandholm
Publication year - 1999
Publication title -
brics report series
Language(s) - English
Resource type - Journals
eISSN - 1601-5355
pISSN - 0909-0878
DOI - 10.7146/brics.v6i10.20067
Subject(s) - construct (python library) , class (philosophy) , value (mathematics) , mathematics , computer science , discrete mathematics , programming language , artificial intelligence , statistics
We construct a model for FPC, a purely functional, sequential, call-by-value language. The model is built from partial continuous functions, in the style of Plotkin, further constrained to be uniform with respect to a class of logical relations. We prove that the model is fully abstract.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom