138 search results - page 9 / 28 » Variables as Resource in Separation Logic |
123
click to vote
ICDCS
2002
IEEE
15 years 6 months ago
2002
IEEE
We argue that joint administration of access policies for a dynamic coalition formed by autonomous domains requires that these domains set up a coalition authority that distribute...
115
Voted
ECOOP
2010
Springer
15 years 6 months ago
2010
Springer
Recently, object-oriented languages, such as C , have been extended with language features prevalent in most functional languages: parametric polymorphism and higher-order function...
151
click to vote
ECOOP
2008
Springer
15 years 2 months ago
2008
Springer
Shared mutable objects pose grave challenges in reasoning, especially for data abstraction and modularity. This paper presents a novel logic for erroravoiding partial correctness o...
116
Voted
APLAS
2004
ACM
15 years 7 months ago
2004
ACM
Abstract. More than being just a tool for expressing algorithms, a welldesigned programming language allows the user to express her ideas eļ¬ciently. The design choices however eļ...
118
click to vote
ASYNC
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper proposes applying a logic synthesis approach to high level synthesis from SpecC speciļ¬cations to timed asynchronous gate-level circuits. The state-based logic synthes...