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 × United Kingdom
2 × USA
Collaborated with:
L.M.Pereira T.Swift
Talks about:
program (2) logic (2) increment (1) complet (1) semant (1) normal (1) answer (1) tight (1) queri (1) model (1)

Person: Alexandre Miguel Pinto

DBLP DBLP: Pinto:Alexandre_Miguel

Contributed to:

ICLP 20102010
ICLP 20092009
PADL 20092009

Wrote 3 papers:

ICLP-2010-PereiraP10 #logic programming #semantics #source code
Tight Semantics for Logic Programs (LMP, AMP), pp. 134–143.
ICLP-2009-SwiftPP #incremental
Incremental Answer Completion in the SLG-WAM (TS, AMP, LMP), pp. 519–524.
PADL-2009-PereiraP #logic programming #modelling #query #source code #top-down
Layered Models Top-Down Querying of Normal Logic Programs (LMP, AMP), pp. 254–268.
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.