Executing Quantifiers in FASE Specifications

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.

Name thesis:degree_name

Ph.D.

Level thesis:degree_level

Dissertation

Discipline thesis:degree_discipline

Computer Science

Grantor

University of Illinois at Urbana-Champaign

Year dc:date

2014

Author dc:creator

• Jefferson, Stanley Ted

Contributors dc:contributor

• Kamin, Samuel N.

• Computer Science

Identifier

(UMI)AAI8823155

OAI identifier oai:identifier

oai:www.ideals.illinois.edu:2142/69596