1856 search results - page 21 / 372 » Formal Dialectic Specification |
TAP
2010
Springer
14 years 11 months ago
2010
Springer
We present QuickSpec, a tool that automatically generates algebraic specifications for sets of pure functions. The tool is based on testing, rather than static analysis or theorem ...
118
Voted
EUROCAST
2007
Springer
15 years 5 months ago
2007
Springer
abstract Parsing schemata [4] provide a formal, simple and uniform way to describe, analyze and compare different parsing algorithms. The notion of a parsing schema comes from cons...
73
Voted
ADAEUROPE
2009
Springer
15 years 8 months ago
2009
Springer
92
Voted
CBSE
2009
Springer
15 years 8 months ago
2009
Springer
90
Voted
ADBIS
2007
Springer
15 years 8 months ago
2007
Springer