Travelled to:1 × France
1 × USA
1 × United Kingdom
Collaborated with:R.S.Kemp S.E.Abdullahi E.E.Miranda I.T.Foster S.Gregory K.Satoh
Talks about:interpret (1) implement (1) framework (1) distribut (1) sequenti (1) abstract (1) program (1) definit (1) collect (1) algebra (1)
Person: Graem A. Ringwood
DBLP: Ringwood:Graem_A=
Contributed to:
1992
19901986Wrote 3 papers:
- IWMM-1992-AbdullahiMR #distributed
- Collection Schemes for Distributed Garbage (SEA, EEM, GAR), pp. 43–81.
- NACLP-1990-KempR #abstract interpretation #algebra #framework #source code
- An Algebraic Framework for Abstract Interpretation of Definite Programs (RSK, GAR), pp. 516–530.
- ICLP-1986-FosterGRS86 #implementation
- A Sequential Implementation of Parlog (ITF, SG, GAR, KS), pp. 149–156.