3335 search results - page 331 / 667 » Grid result checking |
187
click to vote
AADEBUG
1997
Springer
15 years 11 months ago
1997
Springer
We introduce an assertion language for run-time checking of linked list data structure shapes. The assertion language is expressive enough to define characteristic predicates for ...
195
click to vote
ICIW
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract-- Maintaining large websites and verifying their semantic content is a difficult task. In this paper we propose a framework for syntactic validation, semantic verification...
165
click to vote
APLAS
2001
ACM
15 years 10 months ago
2001
ACM
The garbage collection is a safe and efficient method for managing the heap. However it is not efficient for temporary storages that are allocated often and deallocated quickly. R...
169
click to vote
ADAEUROPE
2008
Springer
15 years 8 months ago
2008
Springer
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
164
click to vote
AFRICACRYPT
2008
Springer
15 years 8 months ago
2008
Springer
Proof-of-work schemes are economic measures to deter denial-of-service attacks: service requesters compute moderately hard functions the results of which are easy to check by the ...