3470 search results - page 142 / 694 » Head-Elementary-Set-Free Logic Programs |
119
Voted
ICFP
2010
ACM
15 years 6 months ago
2010
ACM
We present a type and effect system for flow analysis that makes essential use of higher-ranked polymorphism. We show that, for higher-order functions, the expressiveness of highe...
142
Voted
ENTCS
2006
15 years 5 months ago
2006
Monitoring-oriented programming (MOP) is a software development and analysis technique in which monitoring plays a fundamental role. MOP users can add their favorite or domain-spe...
163
click to vote
ASE
2004
15 years 5 months ago
2004
TestEra is a framework for automated specification-based testing of Java programs. TestEra requires as input a Java method (in sourcecode or bytecode), a formal specification of th...
163
click to vote
JSC
2010
15 years 3 months ago
2010
We study the automated verification of pointer safety for heap-manipulating imperative programs with unknown procedure calls. Given a Hoare-style partial correctness specificati...
146
click to vote
AMAST
2008
Springer
15 years 7 months ago
2008
Springer
Many complex analysis problems can be most clearly and easily specified as logic rules and queries, where rules specify how given facts can be combined to infer new facts, and quer...