3736 search results - page 371 / 748 » Generative Programming |
149
click to vote
PPDP
2010
Springer
15 years 2 months ago
2010
Springer
Most Prolog implementations are implemented in low-level languages such as C and are based on a variation of the WAM instruction set, which enhances their performance but makes th...
132
click to vote
IFIP
2010
Springer
14 years 11 months ago
2010
Springer
We present a new approach to information flow control (IFC), ploits counterexample-guided abstraction refinement (CEGAR) technology. The CEGAR process is built on top of our existi...
197
Voted
PLDI
2012
ACM
13 years 7 months ago
2012
ACM
Concurrent, object-oriented programs often use thread-safe library classes. Existing techniques for testing a thread-safe class either rely on tests using the class, on formal spe...
129
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
Well designed domain specific languages enable the easy expression of problems, the application of domain specific optimizations, and dramatic improvements in productivity for t...
126
click to vote
USENIX
1993
15 years 6 months ago
1993
Discovering different types of file resources (such as documentation, programs, and images) in the vast amount of data contained within network file systems is useful for both u...