|
A Relational Account of Call-by-Value Sequentiality
Jon G. Riecke December 1997 |
Abstract: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 Available as PostScript, PDF, DVI. |