A Categorical Model for Higher Order Imperative Programming (1993)
by
David A. Naumann
| Venue: | Mathematical Structures in Computer Science |
| Citations: | 14 - 13 self |
BibTeX
@INPROCEEDINGS{Naumann93acategorical,
author = {David A. Naumann},
title = {A Categorical Model for Higher Order Imperative Programming},
booktitle = {Mathematical Structures in Computer Science},
year = {1993},
pages = {8--4}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper gives the first complete axiomatization for higher types in the refinement calculus of predicate transformers.
