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: Moura:Paulo
Contributed to:
2014
2013
201120092009200820082006Wrote 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.
- ICLP-2006-MouraM
- Logtalk Processing of STEP Part 21 Files (PM, VM), pp. 453–454.