A Type Calculus for Executable Modeling Languages
Loading...
Authors
Bradley, Gordon H.
Clemence, Robert D. Jr.
Subjects
Advisors
Date of Issue
1987-07
Date
1987-07
Publisher
Language
Abstract
There is considerable current interest in the design and construction of directly executable modeling languages for mathematical progranuning. Our research extends contemporary modeling languages by specifying a type calculus for an extended dimensional system that determines if the model is well formed in the sense that the objective function and constraints consist of homogeneous components. Each variable, coefficient, constant, function, input and output of the model is assigned a type that consists of its concepts qualities, and units of measurement with optional seal e factors. In checking the composition of functions and constraints, the system allows a hierarchy of concepts that provides inheritance of qualities and automatic concept conversion. In addition, each set in a model is typed so the system can check the validity of operations on indices.
Type
Technical Report
Description
Series/Report No
Department
Operations Research (OR)
Organization
Identifiers
NPS Report Number
NPS52-87-029
Sponsors
Funder
Format
Citation
Bradley, G. and R. Clemence, "A Type Calculus for Executable Modeling Languages," Naval Postgraduate School Technical Report NPS52-87-02, 1987.
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.