387 search results - page 2 / 78 » Compilation of Specifications |
APSEC
2001
IEEE
13 years 8 months ago
2001
IEEE
Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniq...
DEXA
2007
Springer
13 years 8 months ago
2007
Springer
Abstract. The parsing schemata formalism allows us to describe parsing algorithms in a simple, declarative way by capturing their fundamenntics while abstracting low-level detail. ...
EUROCAST
2007
Springer
13 years 8 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...
FPL
2007
Springer
13 years 11 months ago
2007
Springer
CHARME
1993
Springer
13 years 9 months ago
1993
Springer