Inserire una breve descrizione delle modifiche fatte
(Richiesto)
Minor changes are by default collapsed in the page history.
No changes
The page does not exist yet.
Failed to load changes
Version by on
Leave Collaboration
Are you sure you want to leave the realtime collaboration and continue editing alone? The changes you save while editing alone will lead to merge conflicts with the changes auto-saved by the realtime editing session.
Contexts as First-Class Objects: An Implementation based on the SICStus Prolog System
7th Italian Conference on Logic Programming (GULP'92), pp. 307–320
Città Studi, Milano, Italy
giugno 1992
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.
Contexts as First-Class Objects: An Implementation based on the SICStus Prolog System (GULP 1992, 18/06/1992) — Andrea Omicini 
PFCNR-SICALPAR — Progetto Finalizzato del Consiglio Nazionale delle Ricerche "Sistemi Informatici e Calcolo parallelo" (01/01/1989–31/12/1994)