@inbook{a4666f7275d147f0a364f0029ddaf49f,
title = "Semantic and Syntactic Approaches to Simulation Relations",
abstract = "Simulation relations are tools for establishing the correctness of data refinement steps. In the simply-typed lambda calculus, logical relations are the standard choice for simulation relations, but they suffer from certain shortcomings; these are resolved by use of the weaker notion of pre-logical relations instead. Developed from a syntactic setting, abstraction barrier-observing simulation relations serve the same purpose, and also handle polymorphic operations. Meanwhile, second-order pre-logical relations directly generalise pre-logical relations to polymorphic lambda calculus (System F). We compile the main refinement-pertinent results of these various notions of simulation relation, and try to raise some issues for aiding their comparison and reconciliation.",
author = "Jo Hannay and Shin-ya Katsumata and Donald Sannella",
year = "2003",
doi = "10.1007/978-3-540-45138-9_4",
language = "English",
isbn = "978-3-540-40671-6",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "68--91",
editor = "Branislav Rovan and Peter Vojt{\'a}s",
booktitle = "Mathematical Foundations of Computer Science 2003 Book Subtitle",
address = "United Kingdom",
}