2173 search results - page 25 / 435 » An operational semantics for skeletons |
97
Voted
SAJ
2000
15 years 7 days ago
2000
This paper presents algebraic results that are important for the extended tyft/tyxt format [12, 13] which can be used to describe many different process algebras. This format is b...
119
click to vote
FMCAD
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...
199
Voted
POPL
2008
ACM
16 years 24 days ago
2008
ACM
Software transactions have received significant attention as a way to simplify shared-memory concurrent programming, but insufficient focus has been given to the precise meaning o...
94
Voted
TRUSTBUS
2009
Springer
15 years 7 months ago
2009
Springer
DKAL is a new expressive high-level authorization language. It has been successfully tried at Microsoft which led to further improvements of the language itself. One improvement is...
LICS
2007
IEEE
15 years 6 months ago
2007
IEEE