O.-J. Dahl, O. Owe and T. J. Bastiansen. Subtyping and constructive specification. Nordic Journal of Computing 5(1), 1998. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Order-Sorted Inductive Types - Barthe (1999) (Correct)
....Its main contribution is to show that the interaction can be controlled in a satisfactory manner provided some mild restrictions are imposed on order sorted signatures. 6. 1 Related work Inductive and recursive definitions for order sorted data types have been studied in a series of papers [DOB98, KD98, OD91] by Owe, Dahl, Bastiansen and Kristoffersen. These works are carried in the context of ABEL, a specification language developed at Oslo University. Their work emphasizes the expressibility of the framework and suggests a paradigm, called terminating generator induction (TGI) which provides a ....
O.-J. Dahl, O. Owe, and T.J. Bastiansen. Subtyping and constructive specification. Nordic Journal of Computing, 5(1), Spring 1998.
On Introducing Higher Order Functions in ABEL - Kristoffersen, Dahl (1998) (1 citation) Self-citation (Dahl) (Correct)
....we are here concerned with the so called TGI fragment of ABEL, in which types and functions are defined inductively over given sets of generator functions. TGI stands for terminating generator induction. Partial functions may be defined using an explicit error indicator. A companion paper [5] is a prerequisite for a thorough understanding of what is to follow. It explains the notion of TGI, as well as some applications of subtypes. The TGI fragment of ABEL can be seen as a ML like, 1 st order programming language. With this paper we attempt to extend the TGI fragment with higher order ....
....basis #, # for sequences is the natural choice in the present context focusing on ABEL as a programming language. In the more traditional setting of ABEL used as a language for specifying, documenting and reasoning about imperative programs the basis #, # is more appropriate, see [3] [5]. HIGHER ORDER FUNCTIONS IN ABEL 3 Remark 2. In the higher order setting formal types such as T above can be instantiated to functional types. We nevertheless shall regard formal types as 1 st order, and module bodies will be type checked accordingly. The consequent language restriction will be ....
[Article contains additional citation context not shown here]
O.-J. Dahl, O. Owe and T. J. Bastiansen. Subtyping and constructive specification. Nordic Journal of Computing 5(1), 1998.
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