APLAS
2000
ACM
14 years 7 months ago
2000
ACM
APLAS
2000
ACM
14 years 7 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
14 years 7 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
14 years 7 months ago
2000
ACM
APLAS
2000
ACM
14 years 7 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
14 years 7 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...