2018 search results - page 127 / 404 » Code Normal Forms |
130
click to vote
ECEASST
2008
15 years 2 months ago
2008
Abstract: Templates are a language feature of C++ and can be used for metaprogramming. The metaprogram is executed by the compiler and outputs source code which is then compiled. T...
115
Voted
ICSE
2009
IEEE-ACM
15 years 6 days ago
2009
IEEE-ACM
Most system level software is written in C and executed concurrently. Because such software is often critical for system reliability, it is an ideal target for formal verification...
143
click to vote
SCP
2010
14 years 9 months ago
2010
Current software development often relies on non trivial coordination logic for combining autonomous services, eventually running on different platforms. As a rule, however, such ...
104
click to vote
CADE
2006
Springer
16 years 2 months ago
2006
Springer
We present a proof procedure that is complete for first-order logic, but which can also be used when searching for finite models. The procedure uses a normal form which is based on...
103
Voted
CADE
2001
Springer
16 years 2 months ago
2001
Springer
A boolean formula in conjunctive normal form (CNF) F is refuted by literal?once resolution if the empty clause is inferred from F by resolving on each literal of F at most once. Li...