926 search results - page 148 / 186 » Prolog as the First Programming Language |
145
click to vote
POPL
2010
ACM
15 years 12 months ago
2010
ACM
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verifi...
101
click to vote
TEI
2010
ACM
15 years 9 months ago
2010
ACM
Programming microcontrollers for tangible interfaces can be easier and more accessible than it is now, empowering a broader audience to participate. The first part of this studio ...
111
click to vote
PLDI
2010
ACM
15 years 6 months ago
2010
ACM
While iterative optimization has become a popular compiler optimization approach, it is based on a premise which has never been truly evaluated: that it is possible to learn the b...
122
click to vote
ASPLOS
2009
ACM
15 years 6 months ago
2009
ACM
Software systems are constantly changing. Patches to fix bugs and patches to add features are all too common. Every change risks breaking a previously working system. Hence admini...
135
click to vote
VSTTE
2010
Springer
15 years 9 days ago
2010
Springer
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...