Toward a semantics for the QUEST language
Alessi, Fabio ; Barbanera, Franco
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 28 (1994), p. 513-555 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1994-01-01
@article{ITA_1994__28_6_513_0,
     author = {Alessi, Fabio and Barbanera, Franco},
     title = {Toward a semantics for the QUEST language},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     volume = {28},
     year = {1994},
     pages = {513-555},
     mrnumber = {1305115},
     zbl = {0884.68076},
     language = {en},
     url = {http://dml.mathdoc.fr/item/ITA_1994__28_6_513_0}
}

Alessi, Fabio; Barbanera, Franco. Toward a semantics for the QUEST language. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 28 (1994) pp. 513-555. http://gdmltest.u-ga.fr/item/ITA_1994__28_6_513_0/

1. M. Ababi, G. D. Plotkin, A PER Model of Polymorphism and Recursive types, Proc. Symposium on Logic in Computer Science, IEEE, 1990, 355-364. | MR 1099188

2. F. Alessi, F. Barbanera, Toward a Semantics for the QUEST Language, to appear in Sixth Annual IEES Symposium on Logic in Computer Science, Amsterdam, July 1991. | MR 1305115

3. R. Amadio, Recursion over Realizability Structures, Information and Computation, 1991. | MR 1097263 | Zbl 0760.03012

4. H. P. Barendregt, The Lambda Calculus: Its Syntax and Semantics, Studies in Logic, 103, North-Holland, 1981, Revised Edition, 1984. | MR 622912 | Zbl 0551.03007

5. V. Breazu-Tannen, T. Coquand, C. Gunter, G. Scedrov, Inheritance and Explicit Coercion, in Fourth Annual IEEE Symposium on Logic in Computer Science, 1989, 112-129. | Zbl 0716.68012

6. K. Bruce, G. Longo, A Modest Model for Records, Inheritance and Bounded Quantification, Information and Computations 1990, 87, 196-240. | MR 1055952 | Zbl 0711.68072

7. L. Cardelli, Typeful Programming, SRC report 45, 1989.

8. L. Cardelli, G. Longo, A Semantic Basis for Quest SRC report 55, 1990. | MR 1140339

9. L. Cardelli, P. Wegner, On Understanding Types, Data Abstraction and Polymorphism, Computing Surveys, 1985, 17, 471-522.

10. F. Cardone, Recursive Types for Fun, Theoretical Computer Science, 1991. | MR 1122644 | Zbl 0746.68018

11. R. Cartwright, Types as Intervals, Proc. Symposium on Principle of Programming Languages, ACM, 1984, 22-36.

12. M. Coppo, A Completeness Theorem for Recursively defined Types, Proc. 12th International Colloquium on automata, Languages and programming, LNCS 194, 1985, 120-129. | MR 819247 | Zbl 0585.68047

13. M. Coppo, M. Zacchi, Type Inference and Logical Relations, Proc. Symposium on Logic in Computer Science, IEEE, 1986, 218-226.

14. M. Dezani Ciancaglini, B. Venneri, Partial Types and Intervals, SIAM Journal on Computing, 1990, 19, 644-658. | MR 1053932 | Zbl 0697.03005

15. C. Gunter, Universal Profinite Domains, Information and Computation, 1987, 72, 1-30. | MR 871554 | Zbl 0628.68050

16. C. Gunter, D. Scott, Semantic Domains, Handbook of Theoretical Computer Science, North Holland, 1990, 633-674. | MR 1127197 | Zbl 0900.68301

17. D. Macqueen, G. Plotkin, R. Sethi, An Ideal Model for Recursive Polymorphic Types, Information and Control, 1986, 71, 95-130. | MR 864747 | Zbl 0636.68016

18. S. Martini, Bounded Quantifiers have Interval Models, ACM Conference on LISP and Functional Programming Languages, 1988, 164-173.

19. J. C. Mitchell, A Type Inference Approach to Reduction Properties and Semantics of Polymorphic Expressions, Proceedings of ACM Conference on LISP and Functional Programming, 1986, 308-319.