APLAS
2000
ACM
14 years 4 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 4 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 4 months ago
2000
ACM
APLAS
2000
ACM
14 years 4 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 4 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...
APL
2000
ACM
14 years 4 months ago
2000
ACM
Although classical object-oriented programming languages provide high-level modeling capacities t data type, inheritance etc.), they remain low-level when it comes to data manipul...
TOOLS
2000
IEEE
14 years 4 months ago
2000
IEEE
TOOLS
2000
IEEE
14 years 4 months ago
2000
IEEE
TOOLS
2000
IEEE
14 years 4 months ago
2000
IEEE
TOOLS
2000
IEEE
14 years 4 months ago
2000
IEEE