Generic Specifications in LIL and in Ada via Analogies
Date of Award
Master of Science (MS)
Christian J. Wild
Call Number for Print
Special Collections LD4331.C65H37
We address the problem of .making verifiable specifications in generic program units in the Ada Programming Language*. We illustrate the methodologies of LIL proposed by Joseph Goguen and Justify the use of such a specification languages using analogy programming originally proposed by Nachum Dershowitz. The work in these areas is new and noticeably incomplete. We address our concern about the reusability of Ada software in a programming environment that includes a specification language like LIL. * Ada is a registered trademark of the U.S. Government (Ada Joint Program Office)
In Copyright. URI: http://rightsstatements.org/vocab/InC/1.0/ This Item is protected by copyright and/or related rights. You are free to use this Item in any way that is permitted by the copyright and related rights legislation that applies to your use. For other uses you need to obtain permission from the rights-holder(s).
Harrison, George C..
"Generic Specifications in LIL and in Ada via Analogies"
(1986). Master of Science (MS), Thesis, Computer Science, Old Dominion University, DOI: 10.25777/bhwj-9t34