Sciweavers

ANLP
2000
123views more  ANLP 2000»
13 years 6 months ago
Generating Text with a Theorem Prover
The process of documenting designs is tedious and often error-prone. We discuss a system that automatically generates documentation for the single step transition behavior of Stat...
Ivan I. Garibay