3256 search results - page 182 / 652 » Mixin-Based Programming in C |
274
click to vote
VLDB
2007
ACM
16 years 7 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 ...
166
Voted
APLAS
2004
ACM
16 years 11 days 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 ...
184
click to vote
WSC
2008
15 years 9 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 ...
264
Voted
POPL
2007
ACM
16 years 7 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 ...
173
click to vote
ECOOP
2010
Springer
15 years 11 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...