David R. Aspinall. Type systems for algebraic specification in-the-large. Forthcoming PhD thesis, Department of Computer Science, University of Edinburgh, 1996. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Types, Subtypes, and ASL+ - David Aspinall Department Self-citation (Aspinall) (Correct)
No context found.
David R. Aspinall. Type systems for algebraic specification in-the-large. Forthcoming PhD thesis, Department of Computer Science, University of Edinburgh, 1996.
Types, Subtypes, and ASL+ - Aspinall (1995) Self-citation (Aspinall) (Correct)
....2 describes the formal syntax of ASL and the kind checking system used to define the semantics. In Section 3 we describe the semantics based on partial equivalence relations. Section 4 provides only an outline of the formal system for proving satisfaction; a fuller treatment will appear in [2]. Section 5 concludes. 1.1 Overview of the ASL framework ASL is proposed as a kernel language for writing programs and specifications in the large; it extends the calculus parameterisation mechanism of ASL. Suppose we wish to specify symbol tables for various kinds of lookup key: let KEY be a ....
....for all g 2 J GammaK. Proof A corollary of the final part of Proposition 4.3, taking g = g 0 . 5 Conclusions ASL provides a unified framework for programming and specification inthe large which seems powerful. Some larger and more detailed examples than those shown here have been studied in [17, 15, 2] but work is still needed to appreciate the practical merits of the different mechanisms of parameterisation. Real specification languages built on ASL might not use all of the parameterisation possibilities (Extended ML, for example, lacks parameterised specifications) but it makes sense to ....
David R. Aspinall. Type systems for algebraic specification in-the-large. Forthcoming PhD thesis, Department of Computer Science, University of Edinburgh, 1996.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC