2610 search results - page 257 / 522 » The Recognition Strategy Language |
209
click to vote
ICFP
2001
ACM
16 years 6 months ago
2001
ACM
The CIL compiler for core Standard ML compiles whole ML programs using a novel typed intermediate language that supports the generation of type-safe customized data representation...
119
click to vote
CHI
2003
ACM
16 years 7 months ago
2003
ACM
Event-based programming has been studied little, yet recent work suggests that language paradigm can predict programming strategies and performance. A contextual inquiry of four e...
168
click to vote
ICALP
2007
Springer
16 years 23 days ago
2007
Springer
d Abstract) Marcin Jurdzi´nski and Ashutosh Trivedi Department of Computer Science, University of Warwick, UK In a reachability-time game, players Min and Max choose moves so that...
167
click to vote
UM
2007
Springer
16 years 21 days ago
2007
Springer
In the classroom, teachers know how to motivate their students and how to exploit this knowledge to adapt or optimize their instruction when a student shows signs of demotivation. ...
155
click to vote
APLAS
2006
ACM
16 years 17 days ago
2006
ACM
The abstract domain of polyhedra is sufficiently expressive to be deployed in verification. One consequence of the richness of this domain is that long, possibly infinite, sequen...