Skip to main content

Subtypes for Specifications

DOI 10.1007/3-540-63531-9_2 dblp

Abstract elided by the publisher.

BibTeX

@inproceedings{Rushby:FSE97,
  author    = {John M. Rushby},
  title     = {Subtypes for Specifications},
  booktitle = {{ESEC/SIGSOFT} {FSE}},
  pages     = {4--19},
  series    = {LNCS},
  volume    = {1301},
  publisher = {Springer},
  year      = {1997},
  doi       = {10.1007/3-540-63531-9\_2},
}

Related papers

Forcing Behavioral Subtyping through Specification Inheritance ICSE 1996
Behavioral Subtyping, Specification Inheritance, and Modular Reasoning TOPLAS 2015
Specifications and Their Use in Defining Subtypes OOPSLA 1993
Revisiting Iso-Recursive Subtyping TOPLAS 2022
The simple essence of algebraic subtyping: principal type inference with subtyping made easy (functional pearl) ICFP 2020
Reasoning about Object-Oriented Programs that Use Subtypes OOPSLA 1990
Revisiting iso-recursive subtyping OOPSLA 2020
Recursive subtyping revealed JFP 2002