3473 search results - page 156 / 695 » Aspect-Oriented Programming with C |
116
click to vote
PADL
2004
Springer
15 years 9 months ago
2004
Springer
An XML data binding is a translation of XML documents into values of some programming language. This paper discusses a typepreserving XML–Haskell data binding that handles docume...
125
click to vote
ERSHOV
2001
Springer
15 years 8 months ago
2001
Springer
Abstract The generic programming paradigm has exerted great influence on the recent development of C++, e.g., large parts of its standard library [2] are based on generic containe...
131
click to vote
FDL
2008
IEEE
15 years 10 months ago
2008
IEEE
There is an increasing need for automated conversion of high-level design descriptions into hardware. We present a flow that converts a software application written in the Brook ...
136
click to vote
POPL
1992
ACM
15 years 8 months ago
1992
ACM
Jade is a language designed to support coarse-grain parallelism on both shared and distributed addressspace machines. Jade is data-oriented: a Jade programmer simply augments a se...
123
Voted
VSTTE
2005
Springer
15 years 9 months ago
2005
Springer
After some general remarks about program verification, we introduce separation logic, a novel extension of Hoare logic that can strengthen the applicability and scalability of pro...