315 search results - page 51 / 63 » Reasoning about Assignments in Recursive Data Structures |
101
click to vote
AAAI
2007
15 years 2 months ago
2007
bstract or nonliving entities act or are described as living. And living things gain extra benefits such as animals talking. For this reason, the standard scripts are modified to a...
107
click to vote
SAS
2009
Springer
16 years 7 days ago
2009
Springer
The Java programming language requires that out-of-bounds array accesses produce runtime exceptions. In general, this requires a dynamic bounds check each time an array element is...
119
click to vote
POPL
1993
ACM
15 years 3 months ago
1993
ACM
e data structures are abstractions of simple records and pointers. They impose a shape invariant, which is verified at compiletime and exploited to automatically generate code fo...
104
click to vote
PPDP
2007
Springer
15 years 5 months ago
2007
Springer
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...
ICMCS
2005
IEEE
15 years 5 months ago
2005
IEEE
Along with images and videos, 3D models have raised a certain interest for a number of reasons, including advancements in 3D hardware and software technologies, their ever decreas...