1002 search results - page 186 / 201 » Reasoning about Object Structures Using Ownership |
CAS
2004
13 years 9 months ago
2004
Accounting for human activity through physics does not require anything more than a switch of mind. Objectivity needs first to be recognized as an epistemological principle that s...
POPL
2006
ACM
14 years 10 months ago
2006
ACM
We describe a novel method for verifying programs that manipulate linked lists, based on two new predicates that characterize reachability of heap cells. These predicates allow re...
PLPV
2009
ACM
14 years 6 months ago
2009
ACM
This paper is part of a line of work on using the logical techniques of polarity and focusing to design a dependent programming language, with particular emphasis on programming w...
CG
2004
Springer
13 years 9 months ago
2004
Springer
When interacting with natural or urban environments there are many situations where the ability to access data in real time becomes relevant. Augmented Reality (AR) technologies a...
GIS
2008
ACM
14 years 11 months ago
2008
ACM
Geospatial information integration is not a trivial task. An integrated view must be able to describe various heterogeneous data sources and its interrelation to obtain shared con...