Computing with coercions

V. Breazu-Tannen, Carl Gunter, A. Scedrov

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

This paper relates two views of the operational semantics of a language with multiple inheritance. It is shown that the introduction of explicit coercions as an interpretation for the implicit coercion of inheritance does not affect the evaluation of a program in an essential way. The result is proved by semantic means using a denotational model and a computational adequacy result to relate the operational and denotational semantics.

Original languageEnglish (US)
Title of host publicationProc 1990 ACM Conf LISP Funct Program
Editors Anon
PublisherPubl by ACM
Pages44-60
Number of pages17
ISBN (Print)089791368X
StatePublished - 1990
Externally publishedYes
EventProceedings of the 1990 ACM Conference on LISP and Functional Programming - Nice, Fr
Duration: Jun 27 1990Jun 29 1990

Other

OtherProceedings of the 1990 ACM Conference on LISP and Functional Programming
CityNice, Fr
Period6/27/906/29/90

Fingerprint

Operational Semantics
Semantics
Denotational Semantics
Computing
Computational Results
Evaluation
Model
Interpretation
Language

ASJC Scopus subject areas

  • Engineering(all)
  • Software
  • Modeling and Simulation
  • Computational Theory and Mathematics
  • Computational Mathematics

Cite this

Breazu-Tannen, V., Gunter, C., & Scedrov, A. (1990). Computing with coercions. In Anon (Ed.), Proc 1990 ACM Conf LISP Funct Program (pp. 44-60). Publ by ACM.

Computing with coercions. / Breazu-Tannen, V.; Gunter, Carl; Scedrov, A.

Proc 1990 ACM Conf LISP Funct Program. ed. / Anon. Publ by ACM, 1990. p. 44-60.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Breazu-Tannen, V, Gunter, C & Scedrov, A 1990, Computing with coercions. in Anon (ed.), Proc 1990 ACM Conf LISP Funct Program. Publ by ACM, pp. 44-60, Proceedings of the 1990 ACM Conference on LISP and Functional Programming, Nice, Fr, 6/27/90.
Breazu-Tannen V, Gunter C, Scedrov A. Computing with coercions. In Anon, editor, Proc 1990 ACM Conf LISP Funct Program. Publ by ACM. 1990. p. 44-60
Breazu-Tannen, V. ; Gunter, Carl ; Scedrov, A. / Computing with coercions. Proc 1990 ACM Conf LISP Funct Program. editor / Anon. Publ by ACM, 1990. pp. 44-60
@inproceedings{ea08d6afa33148b1a718a2e0d2cf457d,
title = "Computing with coercions",
abstract = "This paper relates two views of the operational semantics of a language with multiple inheritance. It is shown that the introduction of explicit coercions as an interpretation for the implicit coercion of inheritance does not affect the evaluation of a program in an essential way. The result is proved by semantic means using a denotational model and a computational adequacy result to relate the operational and denotational semantics.",
author = "V. Breazu-Tannen and Carl Gunter and A. Scedrov",
year = "1990",
language = "English (US)",
isbn = "089791368X",
pages = "44--60",
editor = "Anon",
booktitle = "Proc 1990 ACM Conf LISP Funct Program",
publisher = "Publ by ACM",

}

TY - GEN

T1 - Computing with coercions

AU - Breazu-Tannen, V.

AU - Gunter, Carl

AU - Scedrov, A.

PY - 1990

Y1 - 1990

N2 - This paper relates two views of the operational semantics of a language with multiple inheritance. It is shown that the introduction of explicit coercions as an interpretation for the implicit coercion of inheritance does not affect the evaluation of a program in an essential way. The result is proved by semantic means using a denotational model and a computational adequacy result to relate the operational and denotational semantics.

AB - This paper relates two views of the operational semantics of a language with multiple inheritance. It is shown that the introduction of explicit coercions as an interpretation for the implicit coercion of inheritance does not affect the evaluation of a program in an essential way. The result is proved by semantic means using a denotational model and a computational adequacy result to relate the operational and denotational semantics.

UR - http://www.scopus.com/inward/record.url?scp=0025548749&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0025548749&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:0025548749

SN - 089791368X

SP - 44

EP - 60

BT - Proc 1990 ACM Conf LISP Funct Program

A2 - Anon, null

PB - Publ by ACM

ER -