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: Gloess:Paul_Y=
Contributed to:
1994
1992
19921991
1981
1980Wrote 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.