3546 search results - page 387 / 710 » A Causal Logic of Logic Programming |
111
click to vote
JFLP
2002
15 years 1 months ago
2002
We present a practical partial evaluation scheme for multi-paradigm declarative languages combining features from functional, logic, and concurrent programming. In contrast to pre...
115
click to vote
SIGPLAN
2008
15 years 1 months ago
2008
It is argued that the teaching of programming is central to the education of skilled computer professionals, that the teaching of programming languages is central to the teaching ...
115
click to vote
OOPSLA
2009
Springer
15 years 8 months ago
2009
Springer
Programs written in managed languages are compiled to a platform-independent intermediate representation, such as Java bytecode. The relative high level of Java bytecode has engen...
134
click to vote
DSRT
2008
IEEE
15 years 3 months ago
2008
IEEE
This paper proposes a novel Lightweight Time Warp (LTW) protocol for high-performance parallel optimistic simulation of large-scale DEVS and CellDEVS models. By exploiting the cha...
112
click to vote
ITS
2010
Springer
15 years 3 months ago
2010
Springer
A vital goal of instruction is to enable learners to transfer acquired knowledge to appropriate future situations. For elementary school children in middle-high-SES schools, “exp...