1036 search results - page 105 / 208 » Verification Programs for Abduction |
124
Voted
WWW
2005
ACM
16 years 5 months ago
2005
ACM
Server-side programming is one of the key technologies that support today's WWW environment. It makes it possible to generate Web pages dynamically according to a user's...
164
click to vote
FMOODS
2008
15 years 5 months ago
2008
Reasoning about object-oriented programs is hard, due to , dynamic binding and the need for data abstraction and framing. Reasoning about concurrent object-oriented programs is eve...
113
click to vote
COMPSAC
2005
IEEE
15 years 10 months ago
2005
IEEE
tract Co-Chairs Fei Xie, Portland State University, USA Jeff Lei, University of Texas at Arlington, USA Program Committee Members Sheikh Iqbal Ahamed, Marquette University, USA Doo...
243
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
Multiprocessors are now dominant, but real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, t...
248
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
We present a unified approach to type checking and property checking for low-level code. Type checking for low-level code is challenging because type safety often depends on compl...