435 search results - page 21 / 87 » Generative Programming and Active Libraries |
122
Voted
ICFP
2003
ACM
16 years 3 months ago
2003
ACM
To improve the quality of type error messages in functional programming languages, we propose four techniques which influence the behaviour of constraint-based type inference proc...
126
click to vote
ICAI
2004
15 years 5 months ago
2004
This paper shows how to generate an English step-by-step explanation that describes how an automated reasoning system solves a complex logic program. We limit our attention to pro...
136
click to vote
LSSC
2001
Springer
15 years 8 months ago
2001
Springer
Within the trend of object-based distributed programming, we present a non-intrusive graphical environment for remote monitoring and steering, IC2D: Interactive Control and Debuggi...
179
click to vote
ICFP
2012
ACM
13 years 6 months ago
2012
ACM
Most complex software projects are compiled using a build tool (e.g. make), which runs commands in an order satisfying userdefined dependencies. Unfortunately, most build tools r...
138
Voted
ACSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
We present NetSpy, a tool to automatically generate network-level signatures for spyware. NetSpy determines whether an untrusted program is spyware by correlating user input with ...