3319 search results - page 206 / 664 » Subshifts, Languages and Logic |
189
click to vote
TODS
2012
13 years 9 months ago
2012
B-trees have been ubiquitous in database management systems for several decades, and they serve in many other storage systems as well. Their basic structure and their basic operat...
308
click to vote
POPL
2006
ACM
16 years 7 months ago
2006
ACM
We define a type system, which may also be considered as a simple Hoare logic, for a fragment of an assembly language that deals with code pointers and jumps. The typing is aimed ...
174
click to vote
PPDP
2007
Springer
16 years 22 days ago
2007
Springer
We give a denotational semantics to a region-based effect system tracking reading, writing and allocation in a higher-order language with dynamically allocated integer references....
180
click to vote
ATAL
2005
Springer
16 years 4 days ago
2005
Springer
This paper addresses the notion of declarative goals as used in agent programming. Declarative goals describe desirable states, and semantics of these goals in an agent programmin...
157
click to vote
PPDP
2005
Springer
16 years 2 days ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...