The problem of undefinedness in specifications.

Thumbnail Image
Files
problemofundefin00leng.pdf (2.88 MB)
Authors
Lengenfelder, Douglas Robert
Subjects
term rewriting systems
dendrogrammars
formal specification
algebraic semantics
Advisors
Davis, Daniel
Date of Issue
1988-06
Date
June 1988
Publisher
Language
en_US
Abstract
Conventional approaches to the formal specifications of computing systems do not provide a facility for leaving elements undefined. The purpose of this thesis is to introduce a formalism for such a facility and to examine its affect on the underlying semantics. These ideas are thus a modification of conventional formalism using algebraic semantics.
Type
Thesis
Description
URI
https://hdl.handle.net/10945/23362
Series/Report No
Department
Computer Science (CS)
Organization
Naval Postgraduate School (U.S.)
Identifiers
NPS Report Number
Sponsors
Funder
Format
48 p.
Citation
Distribution Statement
Approved for public release; distribution is unlimited.
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.
Collections
Theses