3825 search results - page 566 / 765 » The Language of Time: A Reader |
196
click to vote
SIGCSE
2004
ACM
16 years 18 days ago
2004
ACM
Finding just the right example to answer a question can be difficult for CS1 students and teachers. For this to work well there must be an intuitive interface coupled to an approp...
171
click to vote
ICTAC
2004
Springer
16 years 16 days ago
2004
Springer
onnectivity and Full Abstraction for a Concurrent Calculus of Classes⋆ nded Abstract — Erika ´Abrah´am2 , Marcello M. Bonsangue3 , Frank S. de Boer4 , and Martin Steffen1 1 ...
199
click to vote
OOPSLA
2004
Springer
16 years 16 days ago
2004
Springer
It is difficult to write programs that behave correctly in the presence of run-time errors. Existing programming language features often provide poor support for executing clean-u...
193
click to vote
RTAS
2003
IEEE
16 years 13 days ago
2003
IEEE
Model-based automatic code generation is a process of converting abstract models into concrete implementations in the form of a program written in a high-level programming languag...
181
click to vote
PLDI
2010
ACM
16 years 7 days ago
2010
ACM
Dynamic correctness checking tools (a.k.a. lifeguards) can detect a wide array of correctness issues, such as memory, security, and concurrency misbehavior, in unmodified executa...