651 search results - page 5 / 131 » Structured Types and Separation Logic |
114
Voted
VSTTE
2005
Springer
15 years 8 months ago
2005
Springer
After some general remarks about program verification, we introduce separation logic, a novel extension of Hoare logic that can strengthen the applicability and scalability of pro...
122
click to vote
ENTCS
2007
15 years 2 months ago
2007
As a first step toward a notion of quantum data structures, we introduce a typing system for reflecting entanglement and separability. This is presented in the context of classi...
125
Voted
APSEC
2008
IEEE
15 years 9 months ago
2008
IEEE
Memory usage analysis is an important problem for resource-constrained mobile devices, especially under mission- or safety-critical circumstances. Program codes running on or bein...
111
Voted
SAS
2004
Springer
15 years 8 months ago
2004
Springer
Role logic is a notation for describing properties of relational structures in shape analysis, databases and knowledge bases. A natural fragment of role logic corresponds to two-va...
128
Voted
CORR
2004
Springer
15 years 2 months ago
2004
Springer
We have previously introduced role logic as a notation for describing properties of relational structures in shape analysis, databases and knowledge bases. A natural fragment of ro...