8132 search results - page 360 / 1627 » Dependability, Abstraction, and Programming |
188
click to vote
ENTCS
2007
15 years 6 months ago
2007
Modern integrated development environments (IDEs) provide programmers with a variety of sophisticated tools for program visualization and manipulation. These tools assist the prog...
161
click to vote
SIGPLAN
2008
15 years 6 months ago
2008
Depending on individual department goals, undergraduate computer science educators teach theoretical concepts and skills with varying priorities on preparing students for continui...
346
click to vote
LPNMR
2011
Springer
14 years 9 months ago
2011
Springer
Communicating answer set programming is a framework to represent and reason about the combined knowledge of multiple agents using the idea of stable models. The semantics and expre...
184
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
We have verified several versions of the CPS transformation in Isabelle/HOL. In our verification we adopted first-order abstract syntax with variable names so that the formalizati...
171
click to vote
SCAM
2005
IEEE
16 years 12 days ago
2005
IEEE
We present a pointer analysis algorithm designed for source-to-source transformations. Existing techniques for pointer analysis apply a collection of inference rules to a dismantl...