2019 search results - page 47 / 404 » Programming with Shared Data Abstractions |
POPL
2012
ACM
12 years 3 months ago
2012
ACM
nvenient way of pattern-matching against abstract data types. Publications: Dissertation
VSTTE
2005
Springer
14 years 1 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...
ICFP
2006
ACM
14 years 7 months ago
2006
ACM
t programming techniques encourage abstraction and reuse through external linking. Some parts of a program, however, must use concrete, internally specified references, so a pure ...
IFIP
2010
Springer
13 years 2 months ago
2010
Springer
We have designed, implemented and evaluated a resource adaptive distributed information sharing system where automatic adjustments are made internally in our information sharing sy...
DATE
2010
IEEE
14 years 23 days ago
2010
IEEE
Abstract—Cyber Physical Systems are distributed systemsof-systems that integrate sensing, processing, networking and actuation. Aggregating physical data over space and in time e...