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 × Denmark
2 × Italy
4 × USA
Collaborated with:
R.Rocha S.C.Madeira V.Marchetti T.Mantadelis S.Castro K.Mens P.Crocker P.Nunes
Talks about:
logtalk (4) program (3) thread (3) logic (3) implement (2) parallel (2) competit (2) coinduct (2) predic (2) object (2)

Person: Paulo Moura

DBLP DBLP: Moura:Paulo

Contributed to:

ICLP 20142014
PADL 20132013
LOPSTR 20112011
ICLP 20092009
PADL 20092009
ICLP 20082008
PADL 20082008
ICLP 20062006

Wrote 10 papers:

ICLP-J-2014-MantadelisRM #exclamation #induction
Tabling, Rational Terms, and Coinduction Finally Together! (TM, RR, PM), pp. 429–443.
PADL-2013-CastroMM #java #logic programming #named
LogicObjects: Enabling Logic Programming in Java through Linguistic Symbiosis (SC, KM, PM), pp. 26–42.
PADL-2013-Moura #implementation #induction #logic programming #performance
A Portable and Efficient Implementation of Coinductive Logic Programming (PM), pp. 77–92.
LOPSTR-2011-Moura #semantics
Meta-predicate Semantics (PM), pp. 155–172.
ICLP-2009-Moura #effectiveness #encapsulation #prolog #reuse
From Plain Prolog to Logtalk Objects: Effective Code Encapsulation and Reuse (PM), p. 23.
PADL-2009-Moura #implementation
Secure Implementation of Meta-predicates (PM), pp. 269–283.
PADL-2009-MouraRM #thread
High Level Thread-Based Competitive Or-Parallelism in Logtalk (PM, RR, SCM), pp. 107–121.
ICLP-2008-MouraRM #thread
Thread-Based Competitive Or-Parallelism (PM, RR, SCM), pp. 713–717.
PADL-2008-MouraCN #multi #programming #thread
High-Level Multi-threading Programming in Logtalk (PM, PC, PN), pp. 265–281.
Logtalk Processing of STEP Part 21 Files (PM, VM), pp. 453–454.

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.