Files in this item

FilesDescriptionFormat

application/pdf

application/pdf8823155.pdf (6MB)Restricted to U of Illinois
(no description provided)PDF

Description

Title:Executing Quantifiers in FASE Specifications
Author(s):Jefferson, Stanley Ted
Doctoral Committee Chair(s):Kamin, Samuel N.
Department / Program:Computer Science
Discipline:Computer Science
Degree Granting Institution:University of Illinois at Urbana-Champaign
Degree:Ph.D.
Genre:Dissertation
Subject(s):Computer Science
Abstract:FASE is a system for writing and testing data type specifications based upon a method known as final algebra specification. FASE specifications are highly abstract, yet to a great extent executable. The difficulty with executing FASE specifications arises from the inclusion of unrestricted quantification over infinite domains in the FASE specification language. Quantifiers not only provide an extremely powerful language constuct, but due to the highly abstract nature of the FASE specification method, some specifications cannot be written without the use of quantifiers. This dissertation describes a method for executing FASE specifications, which in many instances is capable of handling unrestricted quantification.
Issue Date:1988
Type:Text
Description:176 p.
Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1988.
URI:http://hdl.handle.net/2142/69596
Other Identifier(s):(UMI)AAI8823155
Date Available in IDEALS:2014-12-15
Date Deposited:1988


This item appears in the following Collection(s)

Item Statistics