313 search results - page 2 / 63 » Lazy Abstraction with Interpolants |
POPL
2002
ACM
14 years 7 months ago
2002
ACM
CAV
2012
Springer
11 years 10 months ago
2012
Springer
Craig interpolation is a well known method of abstraction successfully used in both hardware and software model checking. The logical strength of interpolants can affect the quali...
EAMT
1993
13 years 11 months ago
1993
Daelemans W. Abstraction Considered Harmful: Lazy Learning of Language Processing. Proceedings of the 6th 5th Belgian-Dutch Conference on Machine Learning 1996; 3-12.
GI
2009
Springer
14 years 2 days ago
2009
Springer
Abstract: Contracts are a proven tool in software development. They provide specifications for operations that may be statically verified or dynamically validated by contract mon...
LPAR
2010
Springer
13 years 5 months ago
2010
Springer
traction for Size-Change Termination