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: Ross:Brian_J=
Contributed to:
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.