A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
We present a foundational view of partially-static data structures as free extensions of algebras for suitable equational theories, i.e. the coproduct of an algebra and a free algebra in the category of ... By precalculating these free extensions, we construct a high-level library of partially-static data representations for common algebraic structures. ... Supported by the European Research Council grant 'events causality and symmetry Ð the nextgeneration semantics', the Engineering and Physical Sciences Research Council grant EP/N007387/1 'Quantum computation as ...doi:10.1145/3236795 dblp:journals/pacmpl/YallopGK18 fatcat:7vn5psxxivbvdiflr4otzd7sly
structures in which atoms are interpreted as partial functions. 86h:68105 The main results of the paper are as follows. ... Part I of this paper deals with basic properties of these algebras, and the existence of free algebras in particular.” ...
Lecture Notes in Computer Science
The central element of the Common Framework is a specification language called Casl for formal specification of functional requirements and modular software design which subsumes many previous algebraic ... The Common Framework Initiative ( CoFI ) is an open international collaboration which aims to provide a common framework for algebraic specification and development of software. ... Acknowledgements Many thanks to all the participants of CoFI, and in particular to the coordinators of the various CoFI Task Groups: Bernd Krieg-Brückner (Language Design); Andrzej Tarlecki (Semantics) ...doi:10.1007/3-540-46562-6_1 fatcat:eigcvszbr5hutlkl454ao5q5yu
Lecture Notes in Computer Science
As a basic tool we introduce a'modal' logic of transition rules and runs, which is, in the context of evolving algebras, just a de nitional extension of ordinary rst order logic. ... Proof by induction over , simultaneously for all static algebras (i.e. passing to A , we apply the inductive hypothesis both to A and to A ). De nition 1.2.5. A ?! A whenever A j = h i. ... A static algebra of A is any algebra of (A), i.e. a pair (U; I) where U is a set and I is a partial interpretation of (A) in U. ...doi:10.1007/3-540-56992-8_13 fatcat:qqz6m72povdhphksfomebpkc44
A "thrown" exception is a non-local side effect that complicates static reasoning about code. Particularly in functional languages it is fairly common to instead propagate errors as ordinary values. ... It furthermore supports automatically checking data invariants and function pre-and post-conditions, recording a trace of any due-to-an-error unevaluateable or failed expressions, and in some cases retaining ... Acknowledgments This research has been supported by the Research Council of Norway through the project DMPL-Design of a Mouldable Programming Language. ...dblp:conf/nik/HasuH16 fatcat:gebvmyfhvbgf3gt3fowwgrfiju
These include data structures, algebraic modules, rewriting and computing, canonical forms, tools for buiiding strategies and data types.” ... A (simple) loop check L is defined as a computable set L of finite SLD-derivations such that L is closed under variants and subderivation free. ...
state can be viewed as a static data type in the underlying formalism, and the dynamic evolution is given by operations handling configurations. ... We show how to extend in a canonical way a given formalism for specifying (static) data types (like usual algebraic specification frameworks) with dynamic features. ... helpful comments and suggestions on a preliminary presentation of this work. ...doi:10.1016/s0304-3975(98)00125-x fatcat:2xrc5abvvrhhpailo4groq2t5q
In the algebraic theory as introduced by the ADJ-group, a parameterized specification, like set (data), consists of a parameter declaration data and a target specification set (data). ... We show that the hypergraph formalism is a uniform notation to represent data and properties of data. Several results concerning context-free generation of conceptual schemata are proved.” ...
Some familiarity with the fundamental concepts of algebraic speciÿcation would be advantageous. ... The Common Algebraic Speciÿcation Language (CASL) is an expressive language for the formal speciÿcation of functional requirements and modular design of software. ... Acknowledgements This paper has been written by the coordinators of the CoFI Working Group. We ...doi:10.1016/s0304-3975(01)00368-1 fatcat:w6rcgk5xwjgf7nzlcyhqrcf2gu
Lecture Notes in Computer Science
In this approach a dynamic system is defined as some algebras representing the system's state, a set of access functions permitting to observe the state and a set of modifiers permitting to change the ... This paper presents a formalism of algebraic specifications with implicit state based on the concept of dynamic system. ... Acknowledgement We warmly thank Pierre Dauchy for his numerous and important contributions to AS-IS. ...doi:10.1007/978-3-540-49020-3_8 fatcat:mava3gfmrvazbc7t4fdenpsbky
If this thesis is accepted, the appropriateness of the corresponding definition of approximant can be seen as a design principle to test the mutual suitability of the parameters defining a language. ... The former is used to prove limiting completeness for the language of regular .~~xtem.s  which includes as subsets and restrictions the equational parts of many other languages. ... Acknowledgment I am indebted to Lawrence Moss for suggesting the idea that language models form a category to which the usual notions of initiality and finality can be "lifted". ...doi:10.1016/0304-3975(89)90139-4 fatcat:n5douxgeyrc2zf6lop3hpp3vjq
and mixed algebras (263-285); Artur Wolinski, Cylindric algebras for partial relational systems. ... Pavlides, Generalized radial-basis function neural networks for data mining of symbolic data (79- 85); A. P. Engelbrecht, Data generation using sensitivity analysis (86-91); Lotfi A. ...
Generic programming libraries such as Scrap Your Boilerplate eliminate the need to write repetitive code, but typically introduce significant performance overheads. ... Partially-static data and algebraic structure. benefit from partially-static data designed to take advantage of the algebraic laws of the underlying structure: as with partially-static lists, the string ... as partially static. ...doi:10.1145/3110273 dblp:journals/pacmpl/Yallop17 fatcat:23a3xf5a7nc3ribcrvfnnkeeai
The first, more effective for languages with static scope rules, is based on the application of partial evaluation (partial deduction in this context [Komorowski 1981] ). ... ., 1515 Broadway, New York, NY 10036 USA, fax +1 (212) 869-0481, or firstname.lastname@example.org. viewed as independent sub-programs, interpreted as elements of an algebra, and module composition is rendered in ...doi:10.1145/289121.289131 fatcat:blxpajjd3nelbjbphypl7paqm4
Traditional query optimizers assume accurate knowledge of run- ... Since the objective of this research is optimization of dynamic plans, not data modeling or extensible query processing models, the algebras in this prototype define a basic relational data model and typical ... Extensibility and Generality of Approach Let us presume that a query optimizer encapsulates cost in an abstract data type, as is done in the Volcano optimizer generator as well as many other optimizers ...doi:10.1145/191839.191872 dblp:conf/sigmod/ColeG94 fatcat:f7q7hlleerhcfez4ryzipddnny
« Previous Showing results 1 — 15 out of 36,888 results