3824 search results - page 496 / 765 » Geometry Constructions Language |
170
click to vote
OTM
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Protocols that govern the interactions between software components are a popular means to support the construction of correct component-based systems. Previous studies ha...
154
click to vote
PPDP
2007
Springer
16 years 21 days ago
2007
Springer
We propose a framework to construct web-oriented user interfaces in a high-level way by exploiting declarative programming techniques. Such user interfaces are intended to manipul...
177
click to vote
ACL2
2006
ACM
16 years 17 days ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
190
click to vote
PLDI
2006
ACM
16 years 16 days ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
220
click to vote
PLDI
2006
ACM
16 years 16 days ago
2006
ACM
Constructing correct concurrent garbage collection algorithms is notoriously hard. Numerous such algorithms have been proposed, implemented, and deployed – and yet the relations...