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
Collaborated with:
A.Smaill
Talks about:
program (2) semant (2) prolog (2) partial (1) algebra (1) termin (1) evalu (1) base (1)

Person: Brian J. Ross

DBLP DBLP: Ross:Brian_J=

Contributed to:

ICLP 19911991
LOPSTR 19911991

Wrote 2 papers:

ICLP-1991-RossS #algebra #prolog #semantics #termination
An Algebraic Semantics of Prolog Program Termination (BJR, AS), pp. 316–330.
LOPSTR-1991-Ross #partial evaluation #prolog #semantics #source code
Semantics-based Partial Evaluation of Prolog Programs (BJR), pp. 221–237.

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.