315 search results - page 27 / 63 » Reasoning about Assignments in Recursive Data Structures |
125
click to vote
LICS
2009
IEEE
15 years 8 months ago
2009
IEEE
A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted be...
100
click to vote
ENTCS
2006
15 years 1 months ago
2006
In object-oriented languages, the Visitor pattern can be used to traverse tree-like data structures: a visitor object contains some operations, and the data structure objects allo...
128
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Many real-world data are maintained in relational format, with different tables storing information about entities and their links or relationships. The structure (schema) of the ...
105
click to vote
IQ
2001
15 years 3 months ago
2001
: Corporate household data not only refers to the strict hierarchical structure about and within the corporation, but also the variety of inter-organizational relationships. It is ...
135
click to vote
LICS
2007
IEEE
15 years 8 months ago
2007
IEEE
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure ...