3256 search results - page 182 / 652 » Mixin-Based Programming in C |
207
click to vote
VLDB
2007
ACM
16 years 4 months ago
2007
ACM
In this paper we argue that developing information extraction (IE) programs using Datalog with embedded procedural extraction predicates is a good way to proceed. First, compared ...
116
Voted
APLAS
2004
ACM
15 years 9 months ago
2004
ACM
With generic functional programming techniques, we have eased GUI programming by constructing a programming toolkit with which one can create GUIs in an abstract and compositional ...
141
click to vote
WSC
2008
15 years 6 months ago
2008
Proposed in this paper is the architecture of a PLC programming environment that enables a visual verification of PLC programs. The proposed architecture integrates a PLC program ...
219
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
Type-preserving compilation can improve software reliability by generating code that can be verified independently of the compiler. Practical type-preserving compilation does not ...
129
Voted
ECOOP
2010
Springer
15 years 8 months ago
2010
Springer
ncy Abstractions on x86-TSO Scott Owens University of Cambridge Abstract. With the rise of multi-core processors, shared-memory concurrency has become a widespread feature of compu...