A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
ASL+ is a formalism for speci cation and programming in-the-large, based on an arbitrary institution. It has rules for proving the satisfaction and re nement of speci cations, which can be seen as a type theory with subtyping, including contravariant re nement for -abstracted speci cations and a notion of strati ed equality for higher-order objects. We describe the syntax of the language and a partial equivalence relation semantics. This style of semantics is familiar from subtyping calculi,doi:10.1007/bfb0014424 fatcat:smhwraodvzcove6jbtrwqmqdei