6740 search results - page 643 / 1348 » Using Classification as a Programming Language |
158
click to vote
TOPLAS
2002
15 years 6 months ago
2002
traction and information hiding K. RUSTAN M. LEINO and GREG NELSON Compaq Systems Research Center er describes an approach for verifying programs in the presence of data abstractio...
172
click to vote
ICLP
2005
Springer
16 years 14 hour ago
2005
Springer
This paper presents experimental comparisons between declarative encodings of various computationally hard problems in both Answer Set Programming (ASP) and Constraint Logic Progra...
180
click to vote
ENTCS
2007
15 years 6 months ago
2007
We describe a modular programming style that harnesses modern type systems to verify safety conditions in practical systems. This style has three ingredients: (i) A compact kernel...
292
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
Garbage collectors are notoriously hard to verify, due to their lowlevel interaction with the underlying system and the general difficulty in reasoning about reachability in graph...
160
click to vote
DALT
2007
Springer
16 years 20 days ago
2007
Springer
Agent-oriented programming languages have gone a long way in the level of sophistication offered to programmers, and there has also been much progress in tools to support multi-ag...