1205 search results - page 15 / 241 » Program Extraction from Large Proof Developments |
PLDI
2010
ACM
14 years 8 months ago
2010
ACM
A number of programming languages use rich type systems to verify security properties of code. Some of these languages are meant for source programming, but programs written in th...
CADE
2010
Springer
14 years 17 hour ago
2010
Springer
In order to support the verification of programs, verification tools such as ACL2 or Isabelle try to extract suitable induction axioms from the definitions of terminating, recursiv...
ISMIR
2004
Springer
14 years 4 months ago
2004
Springer
High-Level music descriptors are key ingredients for music information retrieval systems. Although there is a long tradition in extracting information from acoustic signals, the f...
COMPSAC
1996
IEEE
14 years 3 months ago
1996
IEEE
Business rules are operational rules that business organizationsfollow to peq%rm various activities. Over time, business rules evolve and the software that implemented them are al...
ICSEA
2006
IEEE
14 years 5 months ago
2006
IEEE
A modeling process is presented for extracting timingaccurate simulation models from complex embedded realtime systems. The process is supported by two complementary methods for t...