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 × Canada
1 × France
Collaborated with:
A.S.K.Cheng J.Staples W.Johnston K.Winter L.v.d.Berg P.A.Strooper
Talks about:
model (2) variabl (1) transit (1) program (1) symbol (1) prolog (1) higher (1) effici (1) order (1) level (1)

Person: Peter J. Robinson

DBLP DBLP: Robinson:Peter_J=

Contributed to:

FM 20062006
ICLP 19911991

Wrote 2 papers:

FM-2006-JohnstonWBSR #model checking #modelling #order #performance
Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking (WJ, KW, LvdB, PAS, PJR), pp. 524–540.
ICLP-1991-ChengRS #metaprogramming #prolog
Higher Level Meta Programming in Qu-Prolog 3: 0 (ASKC, PJR, JS), pp. 285–298.

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.