Contexts as First-Class Objects: An Implementation based on the SICStus Prolog System


Enrico Denti, Antonio Natali, Andrea Omicini

7th Italian Conference on Logic Programming (GULP'92), pages 307-320
17-19 June 1992
Città Studi, Milano, Italy, Tremezzo, Como, Italy
Stefania Costantini (eds.)

This work provides a new view of contexts by defining them as primitives data types whose instances can be interpreted in two ways: as structured binding environments and as first-class objects. To achieve such a goal, an implementation is presented in which contexts are completely configured data structures, created by using the SICStus Prolog system support for modular programming. The main advantage of the implementation is to exploit the efficient indirect addressing scheme of SICStus Prolog in order to implement all the contextual binding mechanisms (late binding included) in a uniform way.

 @inproceedings{ctxlp-gulp92,
Address = {Tremezzo, Como, Italy},
Author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
Booktitle = {7th Italian Conference on Logic Programming (GULP'92)},
Editor = {Costantini, Stefania},
Month = {17--19 } # jun,
Pages = {307--320},
Publisher = {Citt\`{a} Studi, Milano, Italy},
Title = {Contexts as First-Class Objects: An Implementation based on the {SICS}tus {P}rolog System},
Year = 1992

Publication

— authors

Enrico Denti, Antonio Natali, Andrea Omicini

— editors

Stefania Costantini

— status

published

— sort

paper in proceedings

Venue

— volume

7th Italian Conference on Logic Programming (GULP'92)

— pages

307-320

— publication date

17-19 June 1992

BibTeX

— BibTeX ID
ctxlp-gulp92
— BibTeX category
inproceedings

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY