1205 search results - page 3 / 241 » Program Extraction from Large Proof Developments |
WADT
1999
Springer
13 years 9 months ago
1999
Springer
TYPES
1995
Springer
13 years 9 months ago
1995
Springer
SIGSOFT
2005
ACM
13 years 11 months ago
2005
ACM
Programs usually follow many implicit programming rules, most of which are too tedious to be documented by programmers. When these rules are violated by programmers who are unawar...
TACAS
2000
Springer
13 years 9 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
SIGADA
2005
Springer
13 years 11 months ago
2005
Springer
Recent trends in software re-engineering have included tools to extract program slices from existing Ada procedures. One such tool has already been developed that extracts program...