Algebraic Specification Language: a Case Study
Newton, Michael
Click on author name above for full title listing
Hardback
176 pages
Published: 2002
Publisher: The University of Chicago Press
ISBN / EAN: 1575861232
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,