Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Santiago M. Pericás-Geertsen"'
Publikováno v:
Computer Languages, Systems & Structures. 28:29-60
The Ambient Calculus (henceforth, AC) was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code (In: Nivat M, editor. FoSSaCS '98, Lecture Notes in Computer Science, vol. 1378. Berlin: Springer, 1998. p.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4c2cd82230dff192ba3feecfdab0fe03
https://doi.org/10.1016/s0096-0551(02)00007-3
https://doi.org/10.1016/s0096-0551(02)00007-3
Publikováno v:
LICS
We consider type systems that combine universal types, recursive types, and object types. We study type inference in these systems under a rank restriction, following Leivant's notion of rank. To motivate our work, we present several examples showing
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::907d2bf470870f3893e1e0cd49b6249b
https://doi.org/10.1109/lics.1999.782600
https://doi.org/10.1109/lics.1999.782600
Publikováno v:
Programming Languages and Systems ISBN: 9783540418627
ESOP
ESOP
The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [6]. We consider an Ambient Calculus where ambients transport and exchange programs rather that just inert data. We propose d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bfee7dca5836ef6181af22010586f42a
https://doi.org/10.1007/3-540-45309-1_14
https://doi.org/10.1007/3-540-45309-1_14
Publikováno v:
Information and Computation. (1):2-27
Existing type systems for object calculi are based on invariant subtyping. Subtyping invariance is required for soundness of static typing in the presence of method overrides, but it is often in the way of the expressive power of the type system. Fle
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ffadae5ca88745575c4817f3b3f998c7
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.