926 search results - page 121 / 186 » Prolog as the First Programming Language |
128
click to vote
ESOP
2008
Springer
15 years 6 months ago
2008
Springer
In this work we address the problem of proving, by static analysis means, that allocating and deallocating regions in the store provides a safe way to achieve memory management. Th...
160
click to vote
SIGCSE
2008
ACM
15 years 4 months ago
2008
ACM
Blind students are an underrepresented group in computer science. In this paper, we describe our experience preparing and leading the computer science track at the National Federa...
123
click to vote
TCAD
2002
15 years 4 months ago
2002
Embedded hard real-time software systems often need fine-grained parallelism and precise control of timing, things typical real-time operating systems do not provide. The Esterel l...
157
click to vote
HEURISTICS
2008
15 years 3 months ago
2008
Since their beginning in constraint programming, set solvers have been applied to a wide range of combinatorial search problems, such as bin-packing, set partitioning, circuit desi...
136
click to vote
ESOP
2012
Springer
14 years 18 days ago
2012
Springer
The existing call-by-need λ calculi describe lazy evaluation via equational logics. A programmer can use these logics to safely ascertain whether one term is behaviorally equivale...