標(biāo)題: Titlebook: Recent Trends in Data Type Specification; 3rd Workshop on Theo Hans-J?rg Kreowski Conference proceedings 1985 Springer-Verlag Berlin Heidel [打印本頁] 作者: 尤指植物 時間: 2025-3-21 17:48
書目名稱Recent Trends in Data Type Specification影響因子(影響力)
書目名稱Recent Trends in Data Type Specification影響因子(影響力)學(xué)科排名
書目名稱Recent Trends in Data Type Specification網(wǎng)絡(luò)公開度
書目名稱Recent Trends in Data Type Specification網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Recent Trends in Data Type Specification被引頻次
書目名稱Recent Trends in Data Type Specification被引頻次學(xué)科排名
書目名稱Recent Trends in Data Type Specification年度引用
書目名稱Recent Trends in Data Type Specification年度引用學(xué)科排名
書目名稱Recent Trends in Data Type Specification讀者反饋
書目名稱Recent Trends in Data Type Specification讀者反饋學(xué)科排名
作者: 性滿足 時間: 2025-3-22 00:13 作者: 白楊 時間: 2025-3-22 03:50
Algebraic (?) Specification of Conceptual Database SchemataThis contribution does not present any technical results. Rather, it is an attempt to broaden the view towards specification problems and algebraic methods.作者: CRASS 時間: 2025-3-22 05:35 作者: Coterminous 時間: 2025-3-22 11:31
The ASSPEGIQUE specification environment Motivations and DesignIn this paper we describe ASSPEGIQUE, an integrated environment for the development of large algebraic specifications and the management of a specification data base. We focus on what motivated us when designing this environment, some crucial design choices and the specific CIGALE parser tool which is extensively used in ASSPEGIQUE.作者: arthroscopy 時間: 2025-3-22 13:32
Passing Compatibility is Almost PersistencyParameterized data types or program modules have been a step forward on the way of providing more powerful abstract constructs for software design.作者: 在前面 時間: 2025-3-22 17:14
978-3-540-16077-9Springer-Verlag Berlin Heidelberg 1985作者: 不怕任性 時間: 2025-3-22 23:43 作者: critic 時間: 2025-3-23 03:52 作者: 同位素 時間: 2025-3-23 07:04
Categorical Semantics, Or Extending Data Types to Include Memorywithin the usual algebraic specification framework. The result is a simple, uniform, mathematical framework in which we can treat, not only data types and their operations, but also, the semantics of imperative languages with assignment, conditionals, while-do’s, and elementary exception handling.作者: Additive 時間: 2025-3-23 10:45
A Final Algebra Semantics for Errors and Exceptions a criterion for the existence of final algebras for such specifications are given. As an application it is shown, how the result can be applied to yield maximal error propagation preserving error recovery in abstract data types.作者: 舞蹈編排 時間: 2025-3-23 14:14 作者: Exclude 時間: 2025-3-23 21:26 作者: 濕潤 時間: 2025-3-24 01:43 作者: NUL 時間: 2025-3-24 06:16 作者: rectocele 時間: 2025-3-24 10:08 作者: flimsy 時間: 2025-3-24 11:36 作者: 朦朧 時間: 2025-3-24 17:58
Christoph Beierle,Angelika Vo?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-24 20:31 作者: 做作 時間: 2025-3-25 00:22 作者: 漂亮 時間: 2025-3-25 05:48 作者: FUSE 時間: 2025-3-25 10:08 作者: 善辯 時間: 2025-3-25 15:28
Rolf Hennicker,Martin Wirsingnitial 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 作者: Senescent 時間: 2025-3-25 17:43 作者: Laconic 時間: 2025-3-25 22:56
Bernd Krieg-Brücknernitial 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 作者: 農(nóng)學(xué) 時間: 2025-3-26 02:12 作者: CRANK 時間: 2025-3-26 04:28 作者: 不怕任性 時間: 2025-3-26 11:54 作者: intolerance 時間: 2025-3-26 13:56 作者: Directed 時間: 2025-3-26 18:21 作者: 整理 時間: 2025-3-26 22:33
Thomas Streichernitial 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 作者: entitle 時間: 2025-3-27 02:03 作者: 旅行路線 時間: 2025-3-27 08:32 作者: jealousy 時間: 2025-3-27 12:37 作者: Abnormal 時間: 2025-3-27 13:45
H.-D. Ehrichamples, 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-3-27 21:02
Claus-Werner Lermen,Jacques Loeckxamples, 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-3-27 22:51
Donald Sannella,Andrzej Tarleckiamples, 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-3-28 04:21 作者: 兇殘 時間: 2025-3-28 09:31 作者: GONG 時間: 2025-3-28 11:10
Hartmut Ehrig,Werner Fey,Horst Hansenamples, 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-3-28 18:04 作者: linear 時間: 2025-3-28 21:23
Klaus Peter Hasler,Jan de Meeramples, 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-3-29 00:56 作者: Statins 時間: 2025-3-29 03:39 作者: Simulate 時間: 2025-3-29 10:46
Bernd Krieg-Brückneramples, 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作者: Incorporate 時間: 2025-3-29 14:26
Tom Maibaum,Martin Sadleramples, 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-3-29 16:09
Bernhard M?ller,Walter Doschamples, 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-3-29 20:10
F. Orejas,C. R. I. Nancyamples, 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-3-30 00:15 作者: 加強防衛(wèi) 時間: 2025-3-30 07:10
Axel Poigné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-3-30 09:49
Thomas Streicheramples, 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作者: indoctrinate 時間: 2025-3-30 16:27 作者: 共同生活 時間: 2025-3-30 17:29 作者: 善變 時間: 2025-3-30 21:40 作者: flamboyant 時間: 2025-3-31 01:44 作者: Aspirin 時間: 2025-3-31 06:43
Axiomatising Specification Theory to support an account of specification. We don’t regard such a “semantics-less” approach to be worthless but rather, in the spirit of Frege and more recently Martin-Lof, take meaning to be something that is given directly by such a proof theory.作者: 豐富 時間: 2025-3-31 11:29
On the Algebraic Specification of Domainslly by conditional order relations describing the characteristic properties of the operations manipulating them. Properties of infinite elements can be inferred by continuity from the properties that hold for their finite approximations. The approach is illustrated by giving algebraic specifications of various domains and domain constructions.作者: 兇殘 時間: 2025-3-31 14:40 作者: 亂砍 時間: 2025-3-31 21:17
Fair Conditional Term Rewriting Systems: Unification, Termination and Confluenceclassical rewriting to the conditional framework. In particular, results about correctness of evaluation procedures, unification in conditional theories, termination and confluence together with Knuth and Bendix procedures are obtained.作者: Allowance 時間: 2025-4-1 00:57
Transformation of Interface Specificationsternally hidden state. The introduction of exceptions for such packages or the transition to monitor tasks in the concurrent case is defined as a derivation from the notion of partial functions. In all these cases, the original axiomatic or algebraic ADT specification is retained.作者: leniency 時間: 2025-4-1 04:05 作者: 青少年 時間: 2025-4-1 07:10
