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 × France
1 × India
1 × Norway
1 × Poland
2 × Portugal
3 × Italy
3 × USA
Collaborated with:
M.Gabbrielli G.Levi G.Delzanno F.S.d.Boer J.Mauro A.Bossi P.Tacchella M.Comini M.Fabris G.Amato S.D.N.D.Maio F.Scozzari J.Sneyers M.Bugliesi
Talks about:
semant (4) chr (4) composit (3) program (3) abstract (2) logic (2) time (2) differenti (1) constraint (1) substitut (1)

Person: Maria Chiara Meo

DBLP DBLP: Meo:Maria_Chiara

Contributed to:

FM 20152015
ICLP 20102010
PPDP 20092009
PPDP 20072007
PPDP 20052005
ICLP 20032003
FoSSaCS 20022002
PPDP 20012001
ILPS 19951995
ICLP 19941994
POPL 19931993
ALP 19921992
JICSLP 19921992

Wrote 13 papers:

FM-2015-AmatoMMS #abstract domain
Narrowing Operators on Template Abstract Domains (GA, SDNDM, MCM, FS), pp. 57–72.
ICLP-J-2010-GabbrielliMMS #decidability
Decidability properties for fragments of CHR (MG, JM, MCM, JS), pp. 611–626.
PPDP-2009-GabbrielliMM #on the #power of
On the expressive power of priorities in CHR (MG, JM, MCM), pp. 267–276.
Unfolding in CHR (PT, MG, MCM), pp. 179–186.
PPDP-2005-DelzannoGM #composition #semantics
A compositional semantics for CHR (GD, MG, MCM), pp. 209–217.
ICLP-2003-DelzannoGM #composition #infinity #verification
Compositional Verification of Infinite State Systems (GD, MG, MCM), pp. 47–48.
FoSSaCS-2002-BoerGM #concurrent #constraints #correctness #proving #source code
Proving Correctness of Timed Concurrent Constraint Programs (FSdB, MG, MCM), pp. 37–51.
PPDP-2001-BoerGM #semantics
A Denotational Semantics for Timed Linda (FSdB, MG, MCM), pp. 28–36.
ILPS-1995-CominiLM #abstraction #composition
Compositionality in SLD-Derivations and their Abstractions (MC, GL, MCM), pp. 561–575.
ICLP-1994-BossiFM #bottom-up #semantics
A Bottom-up Semantics for Constructive Negation (AB, MF, MCM), pp. 520–534.
POPL-1993-BossiB #difference #logic programming
Differential Logic Programming (AB, MB, MG, GL, MCM), pp. 359–370.
ALP-1992-GabbrielliM #fixpoint #semantics
Fixpoint Semantics for Partial Computed Answer Substitutions and Call Patterns (MG, MCM), pp. 84–99.
JICSLP-1992-GabbrielliLM #logic programming #source code
Observational Equivalences for Logic Programs (MG, GL, MCM), pp. 131–145.

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.