926 search results - page 148 / 186 » Prolog as the First Programming Language |
169
click to vote
POPL
2010
ACM
16 years 2 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...
124
click to vote
TEI
2010
ACM
15 years 12 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 ...
130
click to vote
PLDI
2010
ACM
15 years 9 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...
146
Voted
ASPLOS
2009
ACM
15 years 9 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...
156
Voted
VSTTE
2010
Springer
15 years 2 months 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...