Travelled to:1 × Sweden
1 × USA
2 × Italy
Collaborated with:A.King J.C.Martin R.A.Kowalski F.Sadri
Talks about:program (3) logic (3) concurr (2) analysi (2) type (2) serialis (1) freeness (1) schedul (1) databas (1) integr (1)
Person: Paul Soper
DBLP: Soper:Paul
Contributed to:
1996
1994
19921992
1987Wrote 5 papers:
- LOPSTR-1996-MartinKS #logic programming #source code
- Typed Norms for Typed Logic Programs (JCM, AK, PS), pp. 224–238.
- ICLP-1994-KingS
- Depth-k Sharing and Freeness (AK, PS), pp. 553–568.
- ALP-1992-KingS #analysis #concurrent #logic programming #source code
- Serialisation Analysis of Concurrent Logic Programs (AK, PS), pp. 322–334.
- JICSLP-1992-KingS #analysis #concurrent #logic programming #source code
- Schedule Analysis of Concurrent Logic programs (AK, PS), pp. 478–492.
- VLDB-1987-KowalskiSS #database #deduction
- Integrity Checking in Deductive Databases (RAK, FS, PS), pp. 61–69.