3473 search results - page 317 / 695 » Aspect-Oriented Programming with C |
157
click to vote
MIDDLEWARE
2007
Springer
16 years 23 days ago
2007
Springer
Developing applications for sensor networks is a challenging task. Most programming systems narrowly focus on programming issues while ignoring that programming represents only a ...
157
click to vote
TACAS
2007
Springer
16 years 23 days ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
126
click to vote
ASPLOS
2006
ACM
16 years 19 days ago
2006
ACM
Visibility is a property of a programming language’s memory model that determines when values stored by one concurrent computation become visible to other computations. Our work...
157
click to vote
AOSD
2005
ACM
16 years 6 days ago
2005
ACM
Improving the structure of code can help developers work with a software system more efficiently and more consistently. To aid developers in re-structuring the implementation of c...
145
click to vote
HASKELL
2005
ACM
16 years 6 days ago
2005
ACM
A type-indexed function is a function that is defined for each member of some family of types. Haskell’s type class mechanism provides collections of open type-indexed function...