A Fully Abstract Semantics for a Concurrent Functional Language With Monadic Types (1995)
by
Alan Jeffrey
| Citations: | 20 - 4 self |
BibTeX
@MISC{Jeffrey95afully,
author = {Alan Jeffrey},
title = {A Fully Abstract Semantics for a Concurrent Functional Language With Monadic Types},
year = {1995}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper presents a typed higher-order concurrent functional programming language, based on Moggi's monadic metalanguage and Reppy's Concurrent ML. We present an operational semantics for the language, and show that a higherorder variant of the traces model is fully abstract for maytesting. This proof uses a program logic based on Hennessy-Milner logic and Abramsky's domain theory in logical form.
