Standard

The semantics of name resolution in Grace. / Vergu, Vlad; Haisma, Michiel; Visser, Eelco.

DLS Proceedings of the 13th ACM SIGPLAN International Symposium on Dynamic Languages, Vancouver, BC, Canada, October 23 - 27, 2017. ed. / Davide Ancona. New York : Association for Computing Machinery (ACM), 2017. p. 63-74 (ACM Sigplan Notices- DLS'17; Vol. 52, No. 11).

Research output: Scientific - peer-reviewConference contribution

Harvard

Vergu, V, Haisma, M & Visser, E 2017, The semantics of name resolution in Grace. in D Ancona (ed.), DLS Proceedings of the 13th ACM SIGPLAN International Symposium on Dynamic Languages, Vancouver, BC, Canada, October 23 - 27, 2017. ACM Sigplan Notices- DLS'17, no. 11, vol. 52, Association for Computing Machinery (ACM), New York, pp. 63-74, DLS 2017, Vancouver, Canada, 24-24 October. DOI: 10.1145/3133841.3133847

APA

Vergu, V., Haisma, M., & Visser, E. (2017). The semantics of name resolution in Grace. In D. Ancona (Ed.), DLS Proceedings of the 13th ACM SIGPLAN International Symposium on Dynamic Languages, Vancouver, BC, Canada, October 23 - 27, 2017. (pp. 63-74). (ACM Sigplan Notices- DLS'17; Vol. 52, No. 11). New York: Association for Computing Machinery (ACM). DOI: 10.1145/3133841.3133847

Vancouver

Vergu V, Haisma M, Visser E. The semantics of name resolution in Grace. In Ancona D, editor, DLS Proceedings of the 13th ACM SIGPLAN International Symposium on Dynamic Languages, Vancouver, BC, Canada, October 23 - 27, 2017. New York: Association for Computing Machinery (ACM). 2017. p. 63-74. (ACM Sigplan Notices- DLS'17; 11). Available from, DOI: 10.1145/3133841.3133847

Author

Vergu, Vlad; Haisma, Michiel; Visser, Eelco / The semantics of name resolution in Grace.

DLS Proceedings of the 13th ACM SIGPLAN International Symposium on Dynamic Languages, Vancouver, BC, Canada, October 23 - 27, 2017. ed. / Davide Ancona. New York : Association for Computing Machinery (ACM), 2017. p. 63-74 (ACM Sigplan Notices- DLS'17; Vol. 52, No. 11).

Research output: Scientific - peer-reviewConference contribution

BibTeX

@inbook{be54178e9c6d4c6e8cc1ad875386c2c7,
title = "The semantics of name resolution in Grace",
keywords = "object orientation, dynamic semantics, name resolution",
author = "Vlad Vergu and Michiel Haisma and Eelco Visser",
year = "2017",
doi = "10.1145/3133841.3133847",
series = "ACM Sigplan Notices- DLS'17",
publisher = "Association for Computing Machinery (ACM)",
number = "11",
pages = "63--74",
editor = "Davide Ancona",
booktitle = "DLS Proceedings of the 13th ACM SIGPLAN International Symposium on Dynamic Languages, Vancouver, BC, Canada, October 23 - 27, 2017",
address = "United States",

}

RIS

TY - CHAP

T1 - The semantics of name resolution in Grace

AU - Vergu,Vlad

AU - Haisma,Michiel

AU - Visser,Eelco

PY - 2017

Y1 - 2017

N2 - Grace is a dynamic object oriented programming languagedesigned to aid programming education. We present a formalmodel of and give an operational semantics for its objectmodel and name resolution algorithm. Our main contributions are a systematic model of Grace’s name resolution usingscope graphs, relating linguistic features to other languages,and an operationalization of this model in the form of anoperational semantics which is readable and executable. Thesemantics are extensively tested against a reference Graceimplementation.

AB - Grace is a dynamic object oriented programming languagedesigned to aid programming education. We present a formalmodel of and give an operational semantics for its objectmodel and name resolution algorithm. Our main contributions are a systematic model of Grace’s name resolution usingscope graphs, relating linguistic features to other languages,and an operationalization of this model in the form of anoperational semantics which is readable and executable. Thesemantics are extensively tested against a reference Graceimplementation.

KW - object orientation

KW - dynamic semantics

KW - name resolution

UR - http://resolver.tudelft.nl/uuid:be54178e-9c6d-4c6e-8cc1-ad875386c2c7

U2 - 10.1145/3133841.3133847

DO - 10.1145/3133841.3133847

M3 - Conference contribution

T3 - ACM Sigplan Notices- DLS'17

SP - 63

EP - 74

BT - DLS Proceedings of the 13th ACM SIGPLAN International Symposium on Dynamic Languages, Vancouver, BC, Canada, October 23 - 27, 2017

PB - Association for Computing Machinery (ACM)

ER -

ID: 34370611