Towards Formal Support for Generic Programming
نویسنده
چکیده
منابع مشابه
Towards generic formal semantics for consistency of heterogeneous multimodels
Modeling is almost always multimodeling : a system is represented by a set of interrelated models, each one capturing a specific local view or aspect of the system. Since local models are models of the same system, they implicitly overlap and hence may be globally consistent or inconsistent. Paper [1] pesents a framework for specifying overlaps between local models and defining their global con...
متن کاملTowards a Method for Rigorous Development of Generic Requirements Patterns
We present work in progress on a method for the engineering, validation and verification of generic requirements using domain engineering and formal methods. The need to develop a generic requirement set for subsequent system instantiation is complicated by the addition of the high levels of verification demanded by safety-critical domains such as avionics. Our chosen application domain is the ...
متن کاملA Prototype Generic Tool Supporting the Embedding of Formal Notations
In this paper, we describe the design and implementation of a prototype tool designed to support the embedding of one formal notation within another. The tool is designed primarily to support the automatic embedding of specification notations such as Z or AMN into the notations of generic theorem provers such as HOL or PVS. It is written in Java , which enables novel features such as dynamic ex...
متن کاملMathematical Programming Models for Solving Unequal-Sized Facilities Layout Problems - a Generic Search Method
This paper present unequal-sized facilities layout solutions generated by a genetic search program named LADEGA (Layout Design using a Genetic Algorithm). The generalized quadratic assignment problem requiring pre-determined distance and material flow matrices as the input data and the continuous plane model employing a dynamic distance measure and a material flow matrix are discussed. Computa...
متن کاملGeneric Programming with Concepts
Generic programming is an indispensable ingredient of modern programming languages. In the C++ programming language, generic programming is implemented by the means of parameterized fragments of code, called templates, in which parameters are constrained by concepts. This thesis consists of six publications investigating different aspects of generic programming with concepts—formal semantics of...
متن کامل