BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Czech Republic
1 × Finland
1 × Germany
1 × Norway
1 × Portugal
1 × Switzerland
1 × The Netherlands
1 × United Kingdom
11 × USA
2 × Denmark
2 × Italy
2 × Poland
2 × Spain
3 × France
Collaborated with:
M.Abadi A.D.Gordon G.Ghelli K.G.Larsen R.Mardare P.Gardner G.D.Plotkin P.Curien A.Frisch R.M.Amadio G.Longo N.Benton C.Fournet R.Viswanathan J.Lévy B.C.Pierce M.Tribastone M.Tschaikowski A.Vandin J.E.Donahue M.J.Jordan B.Kalsow G.Nelson M.C.0002 M.Fränzle M.Z.Kwiatkowska L.Laurenti N.Paoletti M.Whitby
Talks about:
type (9) ambient (6) object (6) mobil (6) logic (6) languag (4) subtyp (4) system (3) markovian (2) properti (2)

Person: Luca Cardelli

DBLP DBLP: Cardelli:Luca

Facilitated 2 volumes:

ECOOP 2003Ed
POPL 1998Ed

Contributed to:

CSL 20112011
ICALP (2) 20112011
CSL 20082008
ECOOP 20072007
ICSE 20052005
ICALP 20042004
FoSSaCS 20032003
ECOOP 20022002
ICALP 20022002
ESOP 20012001
TLCA 20012001
POPL 20002000
FoSSaCS 19991999
ICALP 19991999
POPL 19991999
FoSSaCS 19981998
POPL 19971997
POPL 19961996
ECOOP 19951995
POPL 19951995
ESOP 19941994
ESOP 19941995
LICS 19941994
POPL 19931993
POPL 19911991
LFP 19901990
POPL 19901990
POPL 19891989
POPL 19881988
LFP 19841984
ICALP 19821982
CAV (2) 20172017
POPL 20162016

Wrote 37 papers:

CSL-2011-CardelliLM #axiom #logic #markov #metric
Continuous Markovian Logic — From Complete Axiomatization to the Metric Space of Formulas (LC, KGL, RM), pp. 144–158.
ICALP-v2-2011-CardelliLM #composition #logic #markov
Modular Markovian Logic (LC, KGL, RM), pp. 380–391.
CSL-2008-Cardelli #automaton
Molecules as Automata (LC), p. 32.
An Accidental Simula User (LC), p. 201.
ICSE-2005-Cardelli #modelling #programming
Transitions in programming models: 2 (LC), p. 2.
ICALP-2004-FrischC #regular expression
Greedy Regular Expression Matching (AF, LC), pp. 618–629.
Manipulating Trees with Hidden Labels (LC, PG, GG), pp. 216–232.
ECOOP-2002-BentonCF #abstraction #c# #concurrent
Modern Concurrency Abstractions for C# (NB, LC, CF), pp. 415–440.
ICALP-2002-CardelliGG #graph #logic #query
A Spatial Logic for Querying Graphs (LC, PG, GG), pp. 597–610.
ESOP-2001-CardelliG #logic #query
A Query Language Based on the Ambient Logic (LC, GG), pp. 1–22.
TLCA-2001-CardelliG #logic #strict
Logical Properties of Name Restriction (LC, ADG), pp. 46–60.
POPL-2000-CardelliG #logic #mobile
Anytime, Anywhere: Modal Logics for Mobile Ambients (LC, ADG), pp. 365–377.
FoSSaCS-1999-GordonC #equation #mobile
Equational Properties of Mobile Ambients (ADG, LC), pp. 212–226.
Wide Area Computation (LC), pp. 10–24.
ICALP-1999-CardelliGG #mobile
Mobility Types for Mobile Ambients (LC, ADG, GG), pp. 230–239.
POPL-1999-CardelliG #mobile
Types for Mobile Ambients (LC, ADG), pp. 79–92.
FoSSaCS-1998-CardelliG #mobile
Mobile Ambients (LC, ADG), pp. 140–155.
POPL-1997-Cardelli #composition
Program Fragments, Linking, and Modularization (LC), pp. 266–277.
An Interpretation of Objects and Object Types (MA, LC, RV), pp. 396–409.
ECOOP-1995-AbadiC #on the #type system
On Subtyping and Matching (MA, LC), pp. 145–167.
POPL-1995-Cardelli #distributed
A Language with Distributed Scope (LC), pp. 286–297.
ESOP-1994-AbadiC #formal method
A Theory of Primitive Objects — Scond-Order Systems (MA, LC), pp. 1–25.
ESOP-J-1994-AbadiC95 #formal method #higher-order
A Theory of Primitive Objects: Second-Order Systems (MA, LC), pp. 81–116.
LICS-1994-AbadiC #semantics
A Semantics of Object Types (MA, LC), pp. 332–341.
LICS-1994-PlotkinAC #parametricity #type system
Subtyping and Parametricity (GDP, MA, LC), pp. 310–319.
POPL-1993-AbadiCC #morphism #parametricity #polymorphism
Formal Parametric Polymorphism (MA, LC, PLC), pp. 157–170.
POPL-1991-AmadioC #recursion #type system
Subtyping Recursive Types (RMA, LC), pp. 104–118.
LFP-1990-CardelliL #semantics
A Semantic Basis for Quest (LC, GL), pp. 30–43.
Explicit Substitutions (MA, LC, PLC, JJL), pp. 31–46.
POPL-1989-AbadiCPP #dynamic typing #static typing #type system
Dynamic Typing in a Statically-Typed Language (MA, LC, BCP, GDP), pp. 213–227.
POPL-1989-CardelliDJKN #type system
The Modula-3 Type System (LC, JED, MJJ, BK, GN), pp. 202–212.
POPL-1988-Cardelli #type system
Structural Subtyping and the Notion of Power Type (LC), pp. 70–79.
LFP-1984-Cardelli #compilation #functional
Compiling a Functional Language (LC), pp. 208–217.
ICALP-1982-Cardelli #realtime
Real Time Agents (LC), pp. 94–106.
TAPSOFT-1995-AbadiC #calculus #imperative
An Imperative Object Calculus (MA, LC), pp. 471–485.
CAV-2017-CardelliCFKLPW #network #synthesis
Syntax-Guided Optimal Synthesis for Chemical Reaction Networks (LC, MC0, MF, MZK, LL, NP, MW), pp. 375–395.
POPL-2016-CardelliTTV #difference #symbolic computation
Symbolic computation of differential equivalences (LC, MT, MT, AV), pp. 137–150.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.