4880 search results - page 348 / 976 » Manuals as Structured Programs |
150
click to vote
AAECC
2007
Springer
15 years 5 months ago
2007
Springer
We enhance the dependency pair method in order to prove termination using recursive structure analysis in simply-typed term rewriting systems, which is one of the computational mod...
134
click to vote
ICPR
2004
IEEE
16 years 6 months ago
2004
IEEE
In contemporary TV news programs, multi-level anchorpersons are often used which indicate the inherent hierarchical structure of news program. However, these diverse anchorperson ...
121
click to vote
CAV
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. TVLA is a parametric framework for shape analysis that can be easily instantiated to create different kinds of analyzers for checking properties of programs that use link...
168
click to vote
FMCO
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...
121
click to vote
ESOP
2004
Springer
15 years 10 months ago
2004
Springer
Pattern matching is an important operation in functional programs. So far, pattern matching has been investigated in the context of structured terms. This paper presents an approac...