1185 search results - page 137 / 237 » Implementing Functional Languages: a tutorial |
PPDP
2004
Springer
15 years 3 months ago
2004
Springer
We introduce the theoretical basis for tracing lazy functional logic computations in a declarative multi-paradigm language like Curry. Tracing computations is a difficult task due...
DISCEX
2003
IEEE
15 years 3 months ago
2003
IEEE
Efforts toward automated detection and identification of multistep cyber attack scenarios would benefit significantly from a methodology and language for modeling such scenario...
IFL
2003
Springer
15 years 3 months ago
2003
Springer
Parallel programming generally requires awareness of the granularity and communication requirements of parallel subtasks, since without precaution, the overhead for parameter and r...
UML
2001
Springer
15 years 2 months ago
2001
Springer
: Organizations with large integrated computer-based systems are often faced with the challenge of evolving their mission-critical systems in a manner that maximizes reuse opportun...
POPL
1999
ACM
15 years 2 months ago
1999
ACM
Superfluous variables are often produced as the byproducts of program transformations, compilation, and poorly written code. These variables are irrelevant to the computational o...