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 × Belgium
1 × Cyprus
1 × France
1 × Germany
1 × Portugal
3 × Italy
4 × USA
Collaborated with:
E.Lamma A.Natali A.Ciampolini C.Stefanelli M.Gavanelli M.Milano M.Montali F.Chesani M.Alberti M.Bugliesi C.Ruggieri P.Torroni F.M.Maggi A.Brogi P.Mancarella D.Daolio
Talks about:
logic (10) program (7) constraint (3) object (3) verif (3) communic (2) partial (2) specif (2) prolog (2) declar (2)

Person: Paola Mello

DBLP DBLP: Mello:Paola

Contributed to:

SAC 20132013
ICLP 20082008
PPDP 20062006
SAC 20042004
ICLP 19991999
SAC 19991999
ICLP 19971997
WRLA 19961996
ICLP 19941994
PDP 19941994
JICSLP 19921992
LOPSTR 19921992
NACLP 19901990
NACLP 19891989
ECOOP 19871987
ESOP 19861986

Wrote 16 papers:

SAC-2013-MontaliCMM #constraints #towards
Towards data-aware constraints in declare (MM, FC, PM, FMM), pp. 1391–1396.
ICLP-2008-MontaliTACGLM #declarative #logic programming #specification #using #verification
Verification from Declarative Specifications Using Logic Programming (MM, PT, MA, FC, MG, EL, PM), pp. 440–454.
PPDP-2006-AlbertiGLCMM #abduction #framework #verification #web #web service
An abductive framework for a-priori verification of web services (MA, MG, EL, FC, PM, MM), pp. 39–50.
SAC-2004-AlbertiDTGLM #interactive #protocol #specification #verification
Specification and verification of agent interaction protocols in a logic-based system (MA, DD, PT, MG, EL, PM), pp. 72–78.
Domains as First Class Objects in CLP(FD) (MG, EL, PM, MM), p. 608.
SAC-1999-CiampoliniLMS #abduction #coordination #logic
Abductive Coordination for Logic Agents (AC, EL, PM, CS), pp. 134–140.
ICLP-1997-LammaMM #constraints #logic programming #reasoning
Reasoning on Constraints in Constraint Logic Programming (EL, MM, PM), p. 413.
RWLW-1996-CiampoliniLMS #distributed #implementation #logic
Distributed logic objects: A fragment of rewriting logic and its implementation (AC, EL, PM, CS), pp. 110–125.
ICLP-1994-LammaM #composition #logic programming
Modularity in Logic Programming (EL, PM), pp. 15–17.
PDP-1994-CiampoliniLMS #architecture #parallel #unification
Multi-level Copying For Unification In Parallel Architectures (AC, EL, PM, CS), pp. 518–525.
JICSLP-1992-BrogiLMM #logic programming #source code
Normal Logic Programs as Open Positive Programs (AB, EL, PM, PM), pp. 783–797.
LOPSTR-1992-LammaM #partial evaluation
A Rationalisation of the ATMS in Terms of Partial Evaluation (EL, PM), pp. 118–131.
NACLP-1990-BugliesiLM #logic #partial evaluation
Partial Evaluation for Hierarchies of Logic Theories (MB, EL, PM), pp. 359–376.
NACLP-1989-MelloNR #logic programming #perspective #re-engineering
Logic Programming in a Software Engineering Perspective (PM, AN, CR), pp. 441–458.
ECOOP-1987-MelloN #communication #prolog
Objects as Communicating Prolog Units (PM, AN), pp. 181–191.
ESOP-1986-MelloN #communication #prolog #source code
Programs as Collections of Communicating Prolog Units (PM, AN), pp. 274–288.

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.