APLAS
2000
ACM
13 years 12 months ago
2000
ACM
APLAS
2000
ACM
13 years 12 months ago
2000
ACM
We describe a system called CFLP which aims at the integration of the best features of functional logic programming (FLP), cooperative constraint solving (CCS), and distributed co...
APLAS
2000
ACM
13 years 12 months ago
2000
ACM
Previous studies on safety of program transformations with respect to performance considered two criteria: preserving performance within a constant factor and preserving complexit...
APLAS
2000
ACM
13 years 12 months ago
2000
ACM
APLAS
2000
ACM
13 years 12 months ago
2000
ACM
We present a generalized let-polymorphic type inference algorithm, prove that any of its instances is sound and complete with respect to the Hindley/Milner let-polymorphic type sy...
APLAS
2000
ACM
13 years 12 months ago
2000
ACM
We have implemented Kima, an automated error correction system for concurrent logic programs. Kima corrects near-misses such as wrong variable occurrences in the absence of explici...