Algebraic Specification Language: a Case Study
Newton, Michael
Click on author name above for full title listing
Paperback
176 pages
Published: 2002
Publisher: The University of Chicago Press
ISBN / EAN: 1575861224
This work explores the use of an algebraic (software) specification language (ASL) in the description and modelling of natural language grammar. It is particularly concerned with the application of methods of loose specification and stepwise refinement,