Logic in Computer Science (LICS 1997)

Paper: A Relational Account of Call-by-Value Sequentially (at LICS 1997)

Authors: Jon G. Riecke Anders Sandholm

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.

BibTeX

  @InProceedings{RieckeSandholm-ARelationalAccounto,
    author = 	 {Jon G. Riecke and Anders Sandholm},
    title = 	 {A Relational Account of Call-by-Value Sequentially},
    booktitle =  {Proceedings of the Twelfth Annual IEEE Symp. on Logic in Computer Science, {LICS} 1997},
    year =	 1997,
    editor =	 {Glynn Winskel},
    month =	 {June}, 
    pages =      {258--267},
    location =   {Warsaw, Poland}, 
    publisher =	 {IEEE Computer Society Press}
  }