3256 search results - page 300 / 652 » Mixin-Based Programming in C |
103
Voted
TACAS
2007
Springer
15 years 7 months 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...
ASPLOS
2006
ACM
15 years 7 months 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...
109
Voted
AOSD
2005
ACM
15 years 6 months 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...
85
Voted
HASKELL
2005
ACM
15 years 6 months 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...
106
Voted
CC
2005
Springer
15 years 6 months ago
2005
Springer
In this paper, we present a formal description of data slicing, which is a type-directed program transformation technique that separates a program’s heap into several independent...