3473 search results - page 203 / 695 » Aspect-Oriented Programming with C |
131
click to vote
USENIX
1990
15 years 5 months ago
1990
Dbx is the standard source-level debugger on most Unix1 workstations. Over the past six years Dbx has grown from a debugger for interpreted Pascal programs to a debugger for compi...
213
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 ...
117
click to vote
APLAS
2004
ACM
15 years 10 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 ...
144
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 ...
222
Voted
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 ...