132 search results - page 15 / 27 » A Rewriting Logic Semantics Approach to Modular Program Anal... |
84
Voted
PEPM
2007
ACM
15 years 5 months ago
2007
ACM
Program query languages and pattern-detection techniques are an essential part of program analysis and manipulation systems. Queries and patterns permit the identification of the...
101
click to vote
CHARME
2003
Springer
15 years 4 months ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
101
Voted
APN
2001
Springer
15 years 3 months ago
2001
Springer
We address the verification of programmable logic controllers (PLC). In our approach, a PLC program is translated into a special type of colored Petri net, a so-called register net...
138
Voted
RULEML
2010
Springer
14 years 10 months ago
2010
Springer
Rule bases are common in many business rule applications, clinical decision support programs, and other types of intelligent systems. As the size of the rule bases grows and the in...
102
click to vote
ICFEM
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...