209 search results - page 5 / 42 » An executable formal semantics of C with applications |
WCRE
1995
IEEE
13 years 11 months ago
1995
IEEE
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
ACL
1989
13 years 8 months ago
1989
We present an algorithm for generating strings from logical form encodings that improves upon previous algorithms in that it places fewer restrictions on the class of grammars to ...
PLDI
2003
ACM
14 years 21 days ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...
FM
2003
Springer
14 years 20 days ago
2003
Springer
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
RR
2007
Springer
14 years 1 months ago
2007
Springer
Expressing rules in controlled natural language can bring us closer to the vision of the Semantic Web since rules can be written in the notation of the application domain and are u...