211 search results - page 15 / 43 » 04491 Abstracts Collection - Synchronous Programming - SYNCH... |
IPPS
1999
IEEE
15 years 1 months ago
1999
IEEE
Abstract. We describe how the PVS verification system has been used to verify a safety property of a garbage collection algorithm, originally suggested by Ben-Ari. The safety prope...
ECOOP
2005
Springer
15 years 3 months ago
2005
Springer
There are many algorithms for concurrent garbage collection, but they are complex to describe, verify, and implement. This has resulted in a poor understanding of the relationships...
83
Voted
ESOP
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. We study the notion of binding-time analysis for logic programs. We formalise the unfolding aspect of an on-line partial deduction s a Prolog program. Using abstract inte...
ICCCN
2007
IEEE
15 years 3 months ago
2007
IEEE
This paper proposes a spatio-temporal macroprogramming paradigm for push-pull hybrid wireless sensor networks (WSNs). The proposed paradigm, called SpaceTime Oriented Programming ...
OOPSLA
2009
Springer
15 years 4 months ago
2009
Springer
Bruce and Foster proposed the language LOOJ, an extension of Java with the notion of MyType, which represents the type of a self reference and changes its meaning along with inher...