1083 search results - page 184 / 217 » Using Contextual Logic Programming for Temporal Reasoning |
153
Voted
ICFEM
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
170
Voted
ICSE
2011
IEEE-ACM
14 years 5 months ago
2011
IEEE-ACM
A raw object is partially initialized, with only some fields set to legal values. It may violate its object invariants, such as that a given field is non-null. Programs often ma...
133
click to vote
SEKE
2010
Springer
14 years 11 months ago
2010
Springer
Abstract--Property specification is still one of the most challenging tasks for transference of software verification technology like model checking. The use of patterns has been p...
145
click to vote
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
111
click to vote
SIGSOFT
2003
ACM
16 years 2 months ago
2003
ACM
Web Services are software services that can be advertised by providers and deployed by customers using Web technologies. This concept is currently carried further to address Web s...