標題: Titlebook: Recent Trends in Data Type Specification; 11th Workshop on Spe Magne Haveraaen,Olaf Owe,Ole-Johan Dahl Conference proceedings 1996 Springer [打印本頁] 作者: FERN 時間: 2025-3-21 16:28
書目名稱Recent Trends in Data Type Specification影響因子(影響力)
書目名稱Recent Trends in Data Type Specification影響因子(影響力)學科排名
書目名稱Recent Trends in Data Type Specification網絡公開度
書目名稱Recent Trends in Data Type Specification網絡公開度學科排名
書目名稱Recent Trends in Data Type Specification被引頻次
書目名稱Recent Trends in Data Type Specification被引頻次學科排名
書目名稱Recent Trends in Data Type Specification年度引用
書目名稱Recent Trends in Data Type Specification年度引用學科排名
書目名稱Recent Trends in Data Type Specification讀者反饋
書目名稱Recent Trends in Data Type Specification讀者反饋學科排名
作者: 現(xiàn)存 時間: 2025-3-21 22:00
On the role of category theory in the area of algebraic specifications,s..In detail we discuss different approaches to an abstract theory of specification logics. Further we present a uniform framework for developing particular specification logics. We make use of ‘classifying categories’, to present categories of algebras as functor categories and to obtain necessary 作者: Feigned 時間: 2025-3-22 03:07
Unification of theories: A challenge for computing science,ructure of modern mathematics has also been determined by its great unifying theories — topology, algebra and the like. The same ideals and goals are shared by researchers and students of theoretical computing science.作者: 厭食癥 時間: 2025-3-22 05:41 作者: minaret 時間: 2025-3-22 10:09
Unifying theories in different institutions,tween the different specification spaces that they provide. We show that there is a canonical way in which adjunctions between the categories of signatures can be lifted to the categories of theories. This lifting is associated with a duality between the concepts of institution map and institution m作者: bacteria 時間: 2025-3-22 14:54
Interchange format for inter-operability of tools and translation, specifications. We discuss some semantic compatibility criteria required to ensure a minimal level of inter-operability, we describe a proposal for a specification interchange format, and we explain the mechanisms needed to solve the issues raised by user interaction. The technical generic solution作者: packet 時間: 2025-3-22 17:57
Experiments with partial evaluation domains for rewrite specifications,s of the term rewriting specification in any respect. In particular, the expressive power of term rewriting systems as a programming language for generic programs and as a theorem prover has been preserved. Our method is based on the following observation. Many rewrite specifications are instances o作者: semble 時間: 2025-3-22 23:37
Class-sort polymorphism in GLIDER,owerful than the standard . that can be found in a number of functional languages (e.g. Standard ML, Miranda, etc.).In particular, polymorphic or generic types are considered to be parameterized by specifications (i.e. sorts, operations and even axioms) and not just by sorts. The semantic framework 作者: defenses 時間: 2025-3-23 02:25 作者: 水獺 時間: 2025-3-23 05:49
A category-based equational logic semantics to constraint programming,raint logic, such as . and .. We show that constraint logic is an institution, and we internalise the study of constraint logic to the framework of category-based equational logic. By showing that constraint logic is a special case of category-based equational logic, we integrate the constraint logi作者: CRUDE 時間: 2025-3-23 12:36
Concurrent state transformations on abstract data types,re formally algebraic and dynamic specifications. In the approach presented here states are modelled as partial algebras that extend a fixed partial algebra considered as static data type. Transitions are specified by rules that express the replacement of properties when passing from one state to an作者: Consensus 時間: 2025-3-23 15:07
A view on implementing processes: Categories of circuits,cts from the bicategories of circuits appearing previously in the literature: it is parameterized by a monad which allows flexibility in the emergent notion of process..We focus on the circuits which arise from a distributive category and the exception monad. These circuits are partial in that they 作者: Bereavement 時間: 2025-3-23 18:56 作者: 一再遛 時間: 2025-3-24 00:52
Minimal term rewriting systems,which all rules have an extremely simple form. A notion of simulation of (rewrite) relations is presented, under which an MTRS can be said to simulate a TRS. The MTRS rules can be directly interpreted as instructions for an extremely simple Abstract Rewriting Machine (ARM). Favourable practical resu作者: 火光在搖曳 時間: 2025-3-24 05:18 作者: 寬敞 時間: 2025-3-24 08:01
Rewriting and reasoning with set-relations II: The non-ground case completeness,ng the three properties of the equivalence relations. The paper presents a complete inference system which is a generalization of ordered paramodulation and superposition calculi. Notions of rewriting proof and confluent rule system are defined for such non-equivalence relations. Together with the n作者: 沉著 時間: 2025-3-24 12:22 作者: DIS 時間: 2025-3-24 15:49
Concurrent state transformations on abstract data types,e general approach to a specification framework for environment transformations is presented. It allows the specification of dynamic systems based on dynamic entities like pointers, and has the same structural properties as the algebraic specification logic.作者: 別炫耀 時間: 2025-3-24 22:12
0302-9743 kshop on Abstract Data Types held jointly with the 8th COMPASS Workshop in Oslo, Norway, in September 1995..The 25 research papers included were chosen from 57 pre-selected workshop presentations; also included are six invited contributions. The volume reports the progress achieved in the area of al作者: Panther 時間: 2025-3-25 02:48 作者: 責難 時間: 2025-3-25 05:37 作者: 空氣 時間: 2025-3-25 09:22 作者: PLE 時間: 2025-3-25 14:18 作者: Anthology 時間: 2025-3-25 18:19 作者: 敵手 時間: 2025-3-26 00:01 作者: 使成波狀 時間: 2025-3-26 00:43
Conference proceedings 1996bstract Data Types held jointly with the 8th COMPASS Workshop in Oslo, Norway, in September 1995..The 25 research papers included were chosen from 57 pre-selected workshop presentations; also included are six invited contributions. The volume reports the progress achieved in the area of algebraic sp作者: 好開玩笑 時間: 2025-3-26 06:15
On the role of category theory in the area of algebraic specifications,basic results for particular specification logics in a uniform manner. The specification logics considered are: equational logic for total algebras, conditional equational logic for partial algebras, and rewrite logic for concurrent systems.作者: malapropism 時間: 2025-3-26 11:57 作者: Glossy 時間: 2025-3-26 13:24 作者: 厭倦嗎你 時間: 2025-3-26 20:38
,Reification — Changing viewpoint but preserving truth,emporal logic. Temporal formulae which incorporate action symbols have to be treated carefully under the presence of reification..In this paper we propose the so-called reification logic by extending a linear temporal logic by the concept of transaction. A transaction is a logical unit of a specific作者: 謊言 時間: 2025-3-27 00:30
A view on implementing processes: Categories of circuits,s coincide with elements of the terminal coalgebra of a specific datatype. The co-induction principle provides mechanisms for the construction of circuits, the normalization of circuit expressions and for the proof of safety and liveness properties.作者: 正面 時間: 2025-3-27 02:25 作者: 易受騙 時間: 2025-3-27 05:53
nitial data in the image of g(A). Material that is scattered throughout numerous papers is brought together and presented in a fresh, organized way, together with a great deal of new material.978-3-540-57703-4978-3-540-48322-9Series ISSN 0075-8434 Series E-ISSN 1617-9692 作者: 輕觸 時間: 2025-3-27 13:12 作者: 出價 時間: 2025-3-27 14:17 作者: 刺耳 時間: 2025-3-27 21:02
H. Ehrig,M. Gro?e-Rhode,U. Wolteruations, and secondly to present some specialised topics in integral equations which we hope will inspire fur- ther research in the area. To this end, the first part of the book deals with existence principles and results for nonlinear, Fredholm and Volterra inte- gral and integrodifferential equati作者: 花爭吵 時間: 2025-3-28 00:05
Tony Hoareence of the interval of existence on . and .. We mention in passing that, in the results which follow, the interval . can be replaced by any bounded interval and the initial value can be specified at any point in .. The reasoning needed to cover this slightly more general situation requires minor mo作者: mechanism 時間: 2025-3-28 03:42 作者: anus928 時間: 2025-3-28 07:34
Pierre Lescanne in modal contexts and stories. Peter Woodruff addresses the relation between free logic and supervaluation semantics, presenting a novel condition which recovers desirable metatheoretic properties for free logic under that semantics. Terence Parsons shows how free logic can be utilized in interpret作者: 追逐 時間: 2025-3-28 10:36
Michel Bidoit,Christine Choppy,Frédéric Voisinn the steam engine was connected to the weaving frames, to the metalworking hammers, and to other machines used to manufacture other machines in an endless reiteration of assemblies and applications, the enormous outcome of which is what subsequently came to be described as “mass production”. The ph作者: minimal 時間: 2025-3-28 18:07 作者: 樹上結蜜糖 時間: 2025-3-28 19:28
S. Clérici,R. Jiménez,F. Orejasities constitutes the core material of this book and begins in chapter three. Readers fa- miliar with the Walrasian general equilibrium model as exposited in (13], [23] or [52] may treat chapter one as a handy reference for the main economic concepts and notions that are used throughout the book.作者: 你正派 時間: 2025-3-29 02:01
Eva Coscia,Gianna Reggio of commodities constitutes the core material of this book and begins in chapter three. Readers fa- miliar with the Walrasian general equilibrium model as exposited in (13], [23] or [52] may treat chapter one as a handy reference for the main economic concepts and notions that are used throughout the book.978-3-662-21893-8作者: temperate 時間: 2025-3-29 03:45
G. Denker of commodities constitutes the core material of this book and begins in chapter three. Readers fa- miliar with the Walrasian general equilibrium model as exposited in [13], [23J or [52J may treat chapter one as a handy reference for the main economic concepts and notions that are used throughout the book.978-3-540-52866-1978-3-642-61521-4作者: NAG 時間: 2025-3-29 07:36
R?zvan Diaconescu of commodities constitutes the core material of this book and begins in chapter three. Readers fa- miliar with the Walrasian general equilibrium model as exposited in [13], [23J or [52J may treat chapter one as a handy reference for the main economic concepts and notions that are used throughout the book.978-3-540-52866-1978-3-642-61521-4作者: 機警 時間: 2025-3-29 14:39 作者: 比喻好 時間: 2025-3-29 16:09 作者: lobster 時間: 2025-3-29 22:36
Marcus Klar,Robert Geisler,Felix Corneliusn be unveiled. Nature is meaningful for man because Nature as Fact is grounded in a single purpose flowing from the Divine Mind. Nature . God manifesting Himself concretely. This subject . discussed in Professor Hocking’s unpublished Gifford Lectures of 1938–39, and outlined in an article entitled “作者: Compatriot 時間: 2025-3-30 00:40 作者: Rct393 時間: 2025-3-30 07:49
M. Arrais,J. L. Fiadeirondition which recovers desirable metatheoretic properties for free logic under that semantics. Terence Parsons shows how free logic can be utilized in interpret978-94-010-5430-0978-94-011-3244-2Series ISSN 1566-659X Series E-ISSN 2215-1974 作者: 暫時別動 時間: 2025-3-30 08:38
Inductively defined relations: A brief tutorial extended abstract,作者: phytochemicals 時間: 2025-3-30 13:05 作者: Infinitesimal 時間: 2025-3-30 16:35
Seven years of COMPASS,ort to consolidate and integrate the theoretical basis and apply it to software technology. The algebraic approach treats not just the syntactic aspects of interfaces but supports the precise specification of the semantics of generic reusable system components, providing the formal conceptual basis for their stepwise and correct development.作者: 使糾纏 時間: 2025-3-30 21:36
Unification of theories: A challenge for computing science,ructure of modern mathematics has also been determined by its great unifying theories — topology, algebra and the like. The same ideals and goals are shared by researchers and students of theoretical computing science.作者: phlegm 時間: 2025-3-31 04:38
The larch shared language: Some open problems, is both more complicated and more useful. This talk reviews some of its major design decisions and then discusses some of the design issues and remaining open problems—most of which are consequences of the same decisions that contribute to LSL‘s good properties.作者: IVORY 時間: 2025-3-31 08:25 作者: 苦惱 時間: 2025-3-31 12:15 作者: Pedagogy 時間: 2025-3-31 17:05 作者: Maximize 時間: 2025-3-31 17:32
978-3-540-61629-0Springer-Verlag Berlin Heidelberg 1996作者: 無目標 時間: 2025-3-31 23:16 作者: 是貪求 時間: 2025-4-1 05:35
amples, of generalizations of strongly continuous semigroups known as ‘existent families‘ and ‘regularized semigroups‘. These families of operators may be used either to produce all initial data for which a solution in the original space exists, or to construct a maximal subspace on which the proble作者: 否認 時間: 2025-4-1 08:54 作者: RECUR 時間: 2025-4-1 14:14 作者: 沉著 時間: 2025-4-1 15:33 作者: Insulin 時間: 2025-4-1 20:37
