2534 search results - page 20 / 507 » A Type System for the Push-Enter Model |
TLDI
2003
ACM
14 years 24 days ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
HICSS
2009
IEEE
14 years 2 months ago
2009
IEEE
The rapid growth of the Internet has made computer-mediated communication popular and the use of e-negotiation systems (ENS) has attracted great attention from researchers and pra...
ICASSP
2007
IEEE
14 years 1 months ago
2007
IEEE
Content-based audio classification techniques have focused on classifying events that are both semantically and perceptually distinct (such as speech, music, environmental sounds...
GIS
2009
ACM
14 years 4 days ago
2009
ACM
Apart from visualization tasks, three-dimensional (3D) data management features are not or only hardly available in current spatial database systems and Geographic Information Sys...
POPL
2010
ACM
14 years 5 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...