Travelled to:1 × Australia
1 × Canada
1 × Japan
1 × The Netherlands
1 × USA
2 × United Kingdom
Collaborated with:∅ R.Yang R.Ramirez K.L.Clark M.Lam I.T.Foster G.A.Ringwood K.Satoh
Talks about:parlog (4) program (3) concurr (3) declar (2) tempo (2) implement (1) algorithm (1) structur (1) sequenti (1) parallel (1)
Person: Steve Gregory
DBLP: Gregory:Steve
Contributed to:
2002
1997
1995
1995199319871986Wrote 8 papers:
- PADL-2002-YangG #data type #logic programming #performance #source code
- Exploiting Efficient Control and Data Structures in Logic Programs (RY, SG), pp. 318–331.
- PLILP-1997-Gregory #approach #concurrent #declarative #programming
- A Declarative Approach to Concurrent Programming (SG), pp. 79–93.
- ICLP-1995-GregoryR #concurrent #declarative #named #programming language
- Tempo: A Declarative Concurrent Programming Language (SG, RR), pp. 515–529.
- LOPSTR-1995-Gregory #algorithm #concurrent
- Derivation of Concurrent Algorithms in Tempo (SG), pp. 46–60.
- ILPS-1993-Gregory #parallel
- Experiments with Speculative Parallelism in Parlog (SG), pp. 370–387.
- ICLP-1987-ClarkG87 #prolog
- PARLOG and PROLOG United (KLC, SG), pp. 927–961.
- ICLP-1987-LamG87
- PARLOG and ALICE : A Marriage of Convenience (ML, SG), pp. 294–310.
- ICLP-1986-FosterGRS86 #implementation
- A Sequential Implementation of Parlog (ITF, SG, GAR, KS), pp. 149–156.