101
click to vote
PPDP
15 years 5 months ago
2004 Springer 
SML.NET is a compiler for Standard ML that targets the Common Language Runtime and is integrated into the Visual Studio development environment. It supports easy interoperability ...
116
click to vote
PPDP
15 years 5 months ago
2004 Springer 
Refactoring in object-orientation has gained increased attention due to its ability to improve design quality. Refactoring using design patterns (DPs) leads to production of high ...
107
click to vote
PPDP
15 years 5 months ago
2004 Springer
We introduce just enough tabling (JET), a mechanism to suspend and resume the tabled execution of logic programs at an arbitrary point. In particular, JET allows pruning of tabled...
PPDP
15 years 5 months ago
2004 Springer
Object Petri nets (OPNs) provide a natural and modular method for modelling many real-world systems. We give a structure-preserving translation of OPNs to Prolog by encoding the O...
103
click to vote
PPDP
15 years 5 months ago
2004 Springer
The new generic scheme CFLP(D) has been recently proposed in [24] as a logical and semantic framework for lazy constraint functional logic programming over a parametrically given ...
|
Programming Languages