Duality Between Formal Description of Program Construction and Program Behaviour
نویسنده
چکیده
Symmetry between the construction of programs and generating their behaviour can be properly formulated in terms of category theory by using significant property of duality. On one hand, this consists of the algebraic construction of static data structures and relations between them (programs) and on the other hand it consists of the coalgebraic generating of dynamic behavioural structures of program systems.
منابع مشابه
The Effect of a Training Program Based on the Theory of Planned Behaviour (TPB) on Sexual High-Risk Behavioural Intentions in Female Prisonors, Vakil Abad Prison, Mashhad, Iran, 2013
Background and Aims: High-risk sexual behaviors are of the most important risky behaviours in the area of sexual and reproductive health. It seems that educational programs based on health behavioural change theories are of the most basic measures in prevention of social damages. Therefore, the present study was carried out to determine the effect of a training...
متن کاملComparing Conceptual, Divise and Agglomerative Clustering for Learning Taxonomies from Text
The application of clustering methods for automatic taxonomy construction from text requires knowledge about the tradeoff between, (i), their effectiveness (quality of result), (ii), efficiency (run-time behaviour), and, (iii), traceability of the taxonomy construction by the ontology engineer. In this line, we present an original conceptual clustering method based on Formal Concept Analysis fo...
متن کاملApplications of Fuzzy Program Graph in Symbolic Checking of Fuzzy Flip-Flops
All practical digital circuits are usually a mixture of combinational and sequential logic. Flip–flops are essential to sequential logic therefore fuzzy flip–flops are considered to be among the most essential topics of fuzzy digital circuit. The concept of fuzzy digital circuit is among the most interesting applications of fuzzy sets and logic due to the fact that if there has to be an ultimat...
متن کاملSpill - A Logic Language for Writing Testable Requirements Specifications
A requirements speciication is the rst formal description of a program. Formal methods of program construction can be practically useful only when the requirements speciication can be shown to be adequate. This must be done by informal means: inspection and testing. Current speciication languages do not easily support both inspection and testing. We propose a speciication language, Spill, which...
متن کاملRobust linear semi-infinite programming duality under uncertainty
In this paper, we propose a duality theory for semi-infinite linear programming problems under uncertainty in the constraint functions, the objective function, or both, within the framework of robust optimization. We present robust duality by establishing strong duality between the robust counterpart of an uncertain semi-infinite linear program and the optimistic counterpart of its uncertain La...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010