1715 search results - page 77 / 343 » Domain-Specific Program Checking |
139
Voted
FOIKS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We extend the open answer set semantics for programs with generalized literals. Such extended programs (EPs) have interesting properties, e.g. the ability to express infi...
109
click to vote
IPPS
2000
IEEE
15 years 6 months ago
2000
IEEE
Detecting races is important for debugging shared-memory parallel programs, because the races result in unintended nondeterministic executions of the programs. Previous on-the- y t...
118
Voted
HYBRID
2004
Springer
15 years 7 months ago
2004
Springer
We present a new high-level programming language, called XGIOTTO, for programming applications with hard real-time constraints. Like its predecessor, XGIOTTO is based on the LET (l...
117
click to vote
AINA
2006
IEEE
15 years 8 months ago
2006
IEEE
Given a client/server application, how can the server entrust the integrity of the remote client, albeit the latter is running on an un-trusted machine? To address this research p...
124
click to vote
CAV
2008
Springer
15 years 4 months ago
2008
Springer
We study the problem of monitoring concurrent program runs for atomicity violations. Unearthing fundamental results behind scheduling algorithms in database control, we build space...