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 × Belgium
1 × France
1 × Germany
2 × USA
Collaborated with:
J.H.Laurent C.M.Li M.Oros A.Adam Y.Huang M.Hernandez
Talks about:
program (2) logic (2) type (2) paramodul (1) algorithm (1) interact (1) attribut (1) theorem (1) manipul (1) inherit (1)

Person: Paul Y. Gloess

DBLP DBLP: Gloess:Paul_Y=

Contributed to:

ILPS 19941994
PLILP 19921992
WSA 19921992
PLILP 19911991
ICSE 19811981
CADE 19801980

Wrote 7 papers:

ILPS-1994-OrosG #datalog #inheritance #source code
Inferring Inheritance from Datalog Programs (MAO, PYG), p. 680.
PLILP-1992-LiG #logic #named
ProQuery: Logical Access to an OODB (CML, PYG), pp. 487–488.
WSA-1992-GloessHLH #on the
On Boolean Feature Types (PYG, YNH, CML, MAH), pp. 213–220.
PLILP-1991-Gloess #logic #order
U-Log, An Ordered Sorted Logic with Typed Attributes (PYG), pp. 275–286.
ICSE-1981-AdamGL #interactive
An Interactive Tool for Program Manipulation (AA, PYG, JPHL), p. 460–?.
CADE-1980-Gloess #correctness #empirical #parsing #proving #theorem proving
An Experiment with the Boyer-Moore Theorem Prover: A Proof of the Correctness of a Simple Parser of Expressions (PYG), pp. 154–169.
CADE-1980-GloessL #algorithm
Adding Dynamic Paramodulation to Rewrite Algorithms (PYG, JPHL), pp. 195–207.

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.