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 × Israel
1 × Japan
3 × France
3 × USA
Collaborated with:
L.M.Pereira L.Monteiro M.Filgueiras
Talks about:
program (7) logic (7) prolog (3) structur (2) languag (2) system (2) semant (2) transform (1) implement (1) backtrack (1)

Person: António Porto

DBLP DBLP: Porto:Ant=oacute=nio

Facilitated 1 volumes:

PPDP 2009Ed

Contributed to:

ICLP 20112011
PADL 20092009
PADL 20032003
FLOPS 20022002
ICLP 19911991
ICLP 19901990
SLP 19841984
ILPC 19821982
CADE 19801980

Wrote 10 papers:

ICLP-J-2011-Porto #composition #prolog #semantics
A structured alternative to Prolog with simple compositional semantics (AP), pp. 611–627.
PADL-2009-Porto #database #interactive #logic programming #relational
High-Level Interaction with Relational Databases in Logic Programming (AP), pp. 152–167.
PADL-2003-Porto #information management #prolog
An Integrated Information System Powered by Prolog (AP), pp. 92–109.
FLOPS-2002-Porto #abstraction #logic programming
Structural Abstraction and Application in Logic Programming (AP), pp. 275–289.
ICLP-1991-Porto #logic programming
Logic Programming Environments (AP), p. 946.
CLP-1990-MonteiroP90 #inheritance #logic programming
A Transformational View of Inheritance in Logic Programming (LM, AP), pp. 481–494.
SLP-1984-PortoF84 #approach #logic programming #natural language #semantics
Natural Language Semantics: A Logic Programming Approach (AP, MF), pp. 228–232.
ILPC-1982-PereiraP82 #implementation #prolog #scalability
A Prolog Implementation of a Large System on a Small Machine (LMP, AP), pp. 225–229.
ILPC-1982-Porto82 #logic #named #programming
Epilog: A Language for Extended Programming in Logic (AP), pp. 31–37.
CADE-1980-PereiraP #backtracking #logic programming #source code
Selective Backtracking for Logic Programs (LMP, AP), pp. 306–317.

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.