BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Israel
1 × Italy
1 × Portugal
2 × United Kingdom
4 × USA
Collaborated with:
L.Caires J.Jacquet V.Pedro M.Mamede A.Porto F.C.N.Pereira ∅ L.M.Pereira J.C.Cunha J.N.Aparício
Talks about:
logic (8) program (6) contextu (3) concurr (3) claus (3) communic (2) semant (2) proof (2) sub (2) transform (1)

Person: Luís Monteiro

DBLP DBLP: Monteiro:Lu=iacute=s

Facilitated 1 volumes:

ICALP 2005Ed

Contributed to:

ESOP 19981998
ALP/HOA 19971997
ILPS 19951995
ICLP 19941994
JICSLP 19921992
ICLP 19901990
NACLP 19901990
ICLP 19861986
LICS 19861986
ILPC 19821982

Wrote 12 papers:

ESOP-1998-CairesM #concurrent #execution #logic #specification
Verifiable and Executable Logic Specifications of Concurrent Objects in Lpi (LC, LM), pp. 42–56.
ALP-1997-CairesM #proving #semantics
Proof Net Semantics of Proof Search Computation (LC, LM), pp. 194–208.
ILPS-1995-PedroM #approach #logic programming #verification
An Approach to Verification in Contextual Logic Programming (VP, LM), p. 634.
ICLP-1994-CairesM #higher-order #logic programming #polymorphism #unification
Higher-Order Polymorphic Unification for Logic Programming (LC, LM), pp. 419–433.
ICLP-1994-JacquetM #named
PP-clauses: A Means for Handling Resources (JMJ, LM), p. 743.
JICSLP-1992-JacquetM #communication #logic programming #towards
Communicating Clauses: Towards Synchronous Communication in Contextual Logic Programming (JMJ, LM), pp. 98–112.
JICSLP-1992-MamedeM #logic programming #reasoning #taxonomy
A Contraint Logic Programming Scheme for Taxonomic Reasoning (MM, LM), pp. 255–269.
CLP-1990-MonteiroP90 #inheritance #logic programming
A Transformational View of Inheritance in Logic Programming (LM, AP), pp. 481–494.
NACLP-1990-JacquetM #comparative #logic programming #parallel #programming language #semantics
Comparative Semantics for a Parallel Contextual Logic Programming Language (JMJ, LM), pp. 195–214.
ICLP-1986-PereiraMCA86 #backtracking #distributed #prolog
Delta Prolog: A Distributed Backtracking Extension with Events (LMP, LM, JCC, JNA), pp. 69–83.
LICS-1986-MonteiroP #concurrent #formal method
A Sheaf-Theoretic Model of Concurrency (LM, FCNP), pp. 66–76.
ILPC-1982-Monteiro82 #concurrent #horn clause #logic #specification
A Horn Clause-like Logic for Specifying Concurrency (LM), pp. 1–8.
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.