880 search results - page 47 / 176 » Model checking erlang programs: the functional approach |
136
click to vote
FORTE
2004
15 years 5 months ago
2004
Abstract. We present automated techniques for the explanation of counterexamples, where a counter-example should be understood as a sequence of program statements. Our approach is ...
152
click to vote
UML
2000
Springer
15 years 8 months ago
2000
Springer
Software testing can only be formalized and quanti ed when a solid basis for test generation can be de ned. Tests are commonly generated from program source code, graphical models ...
165
click to vote
ICFP
2000
ACM
15 years 8 months ago
2000
ACM
This paper describes FC++: a rich library supporting functional programming in C++. Prior approaches to encoding higher order functions in C++ have suffered with respect to polymo...
146
click to vote
CP
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification...
113
click to vote
AGP
1998
IEEE
15 years 8 months ago
1998
IEEE
Parsing has been a traditional workbench for showing the virtues of declarative programming. Both logic and functional programming claim the ability of writing parsers in a natura...