An introduction to OBJ 3
AbstractOBJ 3 is a new implementation of the OBJ language, with a new efficient operational semantics based on order-sorted term-rewriting. OBJ is a declarative language, with mathematical semantics...
View ArticleCompiling concurrent rewriting onto the Rewrite Rule Machine
AbstractFollowing a brief review of the of the Rewrite Rule Machine's concurrent rewriting model of computation, this paper describes a technique for transforming rule sets which eliminates non-left...
View ArticleSemantics of non-terminating rewrite systems using minimal coverings
AbstractWe propose a new semantics for rewrite systems based on interpreting rewrite rules as inequations between terms in an ordered algebra. In particular, we show that the algebra of normal forms in...
View ArticleSoftware component search
AbstractAn important problem in software development is to make better use of software libraries by improving the search and retrieval process, that is, by making it easier to find the few components...
View ArticleA hidden Herbrand Theorem
AbstractThe benefits of the object, logic (or relational), functional, and constraint paradigms can be combined, by providing existential queries over objects and their attributes, subject to...
View ArticleHiding more of hidden algebra
AbstractBehavioral specification is a rapidly advancing area of algebraic semantics that supports practical applications by allowing models (implementations) that only behaviorally satisfy...
View ArticleAn Introduction to Algebraic Semiotics, with Application to User Interface...
AbstractThis paper introduces a new approach to user interface design and other areas, called algebraic semiotics. The approach is based on a notion of sign, which allows complex hierarchical structure...
View ArticleSocial and Semiotic Analyses for Theorem Prover User Interface Design 1
Abstract. We describe an approach to user interface design based on ideas from social science, narratology (the theory of stories), cognitive science, and a new area called algebraic semiotics. Social...
View ArticleHidden Congruent Deduction
AbstractCleverly designed software often fails to satisfy its requirements strictly, but instead satisfies them behaviorally, in the sense that they appear to be satisfied under every experiment that...
View ArticleA Metadata Integration Assistant Generator for Heterogeneous Distributed...
AbstractThis paper describes a metadata interchange approach for semi-automated integration of heterogeneous distributed databases. Our system prototype uses distributed metadata to generate a GUI tool...
View ArticleInstitution Morphisms
Abstract. Institutions formalise the intuitive notion of logical system, including syntax, semantics, and the relation of satisfaction between them. Our exposition emphasises the natural way that...
View ArticleA Metadata Tool for Retrieval from Heterogeneous Distributed XML Documents
AbstractA metadata approach for retrieval from heterogeneous distributed XML documents is given. A prototype system uses distributed metadata to generate a GUI data integration tool, for describing...
View ArticleComposing Hidden Information Modules over Inclusive Institutions
AbstractThis paper studies the composition of modules that can hide information, over a very general class of logical systems called inclusive institutions. Two semantics are given for the composition...
View ArticleCritical Points for Interactive Schema Matching
AbstractExperience suggests that fully automated schema matching is infeasible, especially for n-to-m matches involving semantic functions. It is therefore advisable for a matching algorithm not only...
View ArticleWhat Is a Concept?
AbstractThe lattice of theories of Sowa and the formal concept analysis of Wille each address certain formal aspects of concepts, though for different purposes and with different technical apparatus....
View ArticleWhat is a Logic?
AbstractThis paper builds on the theory of institutions, a version of abstract model theory that emerged in computer science studies of software specification and semantics. To handle proof theory, our...
View ArticleInformation Retrieval from Distributed Semistructured Documents Using...
AbstractWe describe a method for retrieving information from distributed heterogeneous semistructured documents, and its implementation in the metadata interface DDXMI (Distributed Document XML...
View ArticleWhat is a Logic?
AbstractThis paper builds on the theory of institutions, a version of abstract model theory that emerged in computer science studies of software specification and semantics. To handle proof theory, our...
View Article