This paper has three major objectives: (i) to provide several new features for object-oriented programming (OOP);(ii) to provide a rigorous logical semantics for OOP;and (in) to unify OOP with functionalprogramming. ...
详细信息
The proceedings contain 19 papers. The topics discussed include: an object-oriented framework for graphical programming;compilation into actors;exceptions in object-oriented languages;a generalized object model;object...
ISBN:
(纸本)0897912055
The proceedings contain 19 papers. The topics discussed include: an object-oriented framework for graphical programming;compilation into actors;exceptions in object-oriented languages;a generalized object model;objects in concurrent logicprogramming languages;concurrent programming in orient84ik: an object-oriented knowledge representation language;enhancement for multiple-inheritance;an overview of actor languages;a comparison of the object-oriented and process paradigms;maintaining consistency in a database with changing types;extensions and foundations of object-oriented programming;an algebraic model of subtypes in object-oriented languages (draft);basic concepts in object oriented programming;a mechanism for specifying the structure of large, layered, object-oriented programs;block structure and object oriented languages;and classification in object-oriented systems.
The proceedings contain 28 papers. The special focus in this conference is on Category Theory and Computer programming. The topics include: A categorical view of weakest liberal preconditions;functor-category semantic...
ISBN:
(纸本)9783540171621
The proceedings contain 28 papers. The special focus in this conference is on Category Theory and Computer programming. The topics include: A categorical view of weakest liberal preconditions;functor-category semantics of programming languages and logics;finite approximation of spaces: Extended abstract;Categories of partial morphisms and the λP-calculus: Extended abstract;a note on distributive laws and power domains;category theory and models for parallel computation;categorical models of process cooperation;galois connections and computer science applications;a study in the foundations of programming methodology: Specifications, institutions, charters and parchments;elements of categorical reasoning: Products and coproducts and some other (co-)limits;bits and pieces of the theory of institutions;Extended ML: An institution-independent framework for formal program development;behavioural program specification;key extensions of abstract data types, final algebras, and database semantics;theories as categories;internal completeness of categories of domains;formalising the network and hierarchical data models — an application of categorical logic;a categorical unification algorithm;computing with categories;functors and natural transformations;adjunctions;cartesian closure — Higher types in categories;algebra categorically;category theory and logic;categories, data types, and imperative languages;category theory and programming language semantics: An overview.
We have noted that data modelling and conceptual modelling have content and performance as their concerns. For the different data models, the Network and the Hierarchic, we have given logics involving the operations w...
详细信息
logicprogramming in combination with expert directed statistical analysis makes possible a unique aproach to new expert systems for NMR and other chemical analyses as well as for medical applications of NMR. This app...
详细信息
ISBN:
(纸本)0841209669
logicprogramming in combination with expert directed statistical analysis makes possible a unique aproach to new expert systems for NMR and other chemical analyses as well as for medical applications of NMR. This approach has been applied to understanding the behavior of T//1, T//2 and **1H density in magnetic resonance imaging (MRI). Also, this technique is used to develop intelligent behavior within NMR1 and NMR2 spectroscopic data reduction systems. Sets of rules generate a solution space which may be statistical, functional or symbolic (non-numerical). Unlike other expert system environments, the statistical foundations which govern many of the 'macroscopic' inferences are included, allowing for modification to the underlying 'implicit' statistical bases at any time.
The theory of institutions formalizes the intuitive notion of a "logical system." Institutions were introduced (1) to support as much computer science as possible independently of the underlying logical syst...
详细信息
ISBN:
(纸本)9783540171621
The theory of institutions formalizes the intuitive notion of a "logical system." Institutions were introduced (1) to support as much computer science as possible independently of the underlying logical system, (2) to facilitate the transfer of results (and artifacts such as theorem provers) from one logical system to another, and (3) to permit combining a number of different logical systems. In particular, programming-in-the-large (in the style of the Clear specification language) is available for any specification or "logical" programming language based upon a suitable institution. Available features include generic modules, module hierarchies, "data constraints" (for data abstraction), and "multiplex" institutions (for combining multiple logical systems). The basic components of an institution are: a category of signatures (which generally provide symbols for constructing sentences);a set (or category) of Σ-sentences for each signature Σ;a category (or set) of Σ-models for each Σ;and a Σ-satisfaction relation, between Σ-sentences and Σ-models, for each Σ. The intuition of the basic axiom for institutions is that truth (i.e., satisfaction) is invariant under change of notation. This paper enriches institutions with sentence morphisms to model proofs, and uses this to explicate the notion of a logical programming language. To ease constructing institutions, and to clarify various notions, this paper introduces two further concepts. A charter consists of an adjunction, a "base" functor, and a "ground" object;we show that "chartering" is a convenient way to "found" institutions. Parchments provide a notion of sentential syntax, and a simple way to "write" charters and thus get institutions. Parchments capture the insight that the syntax of logic is an initial algebra. Everything is illustrated with the many-sorted equational institution. Parchments also explicate the sense of finitude that is appropriate for specifications. Finally, we introduce generalized instituti
Abstract interpretation is a compile-time technique which is used to gain information about a program that may then be used to optimise the execution of the program. A particular use of abstract interpretation is in s...
详细信息
The Extended ML specification language provides a framework for the formal stepwise development of modular programs in the Standard ML programming language from specifications. The object of this paper is to equip Ext...
详细信息
暂无评论