Olivier Michel, Jean-Louis Giavitto  @ NUS Home/Search
Context Related
| lami.univevry.fr/pub/p...lami_32.ps.gz Cached: PS.gz PS PDF Image Update Help From: mgs.lami.univevry.fr/bibmgs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper, we address the problem of names and name capture on its own by designing, through the use of three operators, a complete and consistent mechanism of name capture for a declarative framework. We perceive expressions with free names as incomplete expressions which will be dynamically completed by a name capture mechanism. The formalism allows the de nition of rst-class environments (which can be the result of a computation). We apply this mechanism to model distributed incremental... (Update)
Context of citations to this paper: More
.... 76, 68, 69, 78] Relations between the declarative and the implicit and static approaches of parallelism are more detailed in [7, 30, 67, 60]. Since 1994, the 81 2 project has evolved to take into account dynamical structures in applications. As a matter of fact, this aspect was...
Cited by: More
Computation in Space and Space in Computation - Giavitto, Michel, Cohen, Spicher (2004) (Correct)
Curriculum Vitæ - Giavitto (Correct)
Similar documents (at the sentence level):
14.4%: Amalgams: Names and Name Capture in a Declarative Framework - Michel (1998) (Correct)
Active bibliography (related documents): More All
0.6: M-LISP: A Representation-Independent Dialect of LISP with.. - Muller (1992) (Correct)
0.6: M-LISP: Its Natural Semantics and Equational Logic (Extended.. - Muller (1991) (Correct)
0.5: Jam - Designing a Java Extension with Mixins - Ancona, Lagorio, Zucca (2003) (Correct)
Similar documents based on text: More All
0.4: Pattern-matching and Rewriting Rules for Group Indexed.. - Giavitto, Michel, Cohen (2002) (Correct)
0.3: Etude De La Définition De Fonctions Récursives.. - Balaa (2001) (Correct)
0.3: A Topological Framework for the Specification and the.. - Spicher, Michel.. (2004) (Correct)
Related documents from co-citation: More All
3: Group based fields - Giavitto, Michel et al. - 1995
2: Data structure as topological spaces - Giavitto, Michel - 2002
2: Rapport d'activit du thme (context) - Giavitto, Sansonnet - 1996
BibTeX entry: (Update)
Olivier Michel and Jean-Louis Giavitto. Amalgams: Names and name capture in a declarative framework. Technical Report 32, LaMI -- Universit d'vry Val d'Essonne, January 1998. also avalaible as LRI Research-Report RR-1159. http://citeseer.comp.nus.edu.sg/674424.html More
@misc{ michel98amalgams,
author = "O. Michel and J. Giavitto",
title = "Amalgams: Names and name capture in a declarative framework",
text = "Olivier Michel and Jean-Louis Giavitto. Amalgams: Names and name capture
in a declarative framework. Technical Report 32, LaMI -- Universit d'vry
Val d'Essonne, January 1998. also avalaible as LRI Research-Report RR-1159.",
year = "1998",
url = "citeseer.comp.nus.edu.sg/674424.html" }
Citations (may not include all citations):906 A structural approach to operational semantics - Plotkin - 1981
369 A semantics of multiple inheritance - Cardelli - 1984
240 Mixin-based inheritance - Bracha, Cook - 1990
79 Object-Oriented Programming in Common Lisp (context) - Keene - 1989
71 Modularity and Multiple Inheritance (context) - Bracha - 1992
67 Mixin modules - Duggan, Sourelis - 1996
59 An approach to genuine dynamic linking - Ho, Olsson - 1991
58 Collection-oriented languages - Sipelstein, Blelloch - 1991
35 Lambda-calculus notation with nameless dummies: a tool for a.. (context) - de Bruijn - 1972
28 Software Composition: Towards an Integration of Functional a.. (context) - Dami - 1994
21 A kernel language for modules and abstract data types (context) - Burstall, Lampson - 1984
18 An algebraic approach to mixins and modularity - Ancona, Zucca - 1996
16 Enriching the lambda calculus with contexts: toward a theory.. (context) - Lee, Friedman - 1996
13 Research Institute for Mathematical Sciences (context) - Hashimoto, Ohori - 1996
13 The typed polymorphic label-selective lambda-calculus - Garrigue, At-Kaci - 1994
13 Quasi-static scoping: Sharing variable bindings across multi.. - Lee, Friedman - 1993
12 Elements of interaction: Turing award lecture (context) - Milner - 1993
11 Dipartimento di Informatica e Scienze dell'Informazione - Ge.. (context) - Ancona, algebraic - 1997
10 Dynamic binding and lexical binding in a transformation calc.. (context) - Garrigue - 1995
10 Computer Science Dept (context) - Milner, polyadic et al. - 1991
9 A syntactic theory of local names (context) - Odersky - 1993
9 A consistent extension of the lambda-calculus as a base for .. (context) - Berkling, Fehr - 1982
8 The Caml Ligth system release (context) - Leroy - 1993
8 A language design for concurrent processes (context) - Tesler, Enea - 1968
6 special issue on Parallel Logic Programming (context) - Michel, Design - 1996
6 Introducing dynamicity in the data-parallel language - Michel - 1996
4 straightforward translation DL System declarative data paral.. - translation, in et al. - 1996
3 The mystery of the tower revealed: A non-re ective descripti.. (context) - Wand, Friedman - 1988
3 Reprsentations dynamiques de l'espace dans un langage dclara.. (context) - Michel - 1996
3 The implementation of procedurally re ective languages (context) - Rivires, Smith - 1984
3 records and compatibility in the N-calculus (context) - Dami - 1995
3 without name capture (context) - Dami - 1994
3 Caml Applets User Guide (context) - Rouaix - 1996
2 A thoery of mixin modules: basic abd derived operators (context) - Ancona, Zucca - 1996
2 ed system of parameterization for programming languages (context) - Lamping - 1988
2 Object-oriented programming with avors (context) - Moon - 1986
2 Encapsultation and composition as orthogonal operators on mi.. (context) - Limberghen, Mens - 1996
1 data-parallelism and data- ow (context) - Michel, De Vito et al. - 1996
1 A programming language supporting rst-class parallel enviro.. (context) - Jagannathan - 1989
1 The Java TM Language Speci cation (context) - Microsystems - 1995
1 ow language for massively parallel computer (context) - Giavitto - 1991
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.