標(biāo)題: Titlebook: Recent Trends in Data Type Specification; 10th Workshop on Spe Egidio Astesiano,Gianna Reggio,Andrzej Tarlecki Conference proceedings 1995 [打印本頁] 作者: 可擴(kuò)大 時(shí)間: 2025-3-21 18:01
書目名稱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é)科排名
作者: 搖晃 時(shí)間: 2025-3-22 00:07 作者: conspicuous 時(shí)間: 2025-3-22 03:50 作者: Esalate 時(shí)間: 2025-3-22 07:32
Types, subtypes, and ASL+,ping calculi, but a novelty here is the use of a hierarchy of typed domains instead of a single untyped domain. We introduce the formal system for proving satisfaction and refinement and describe how it is linked to proof systems of the underlying programming and specification languages.作者: Introvert 時(shí)間: 2025-3-22 09:04
Equations for describing dynamic nets of communicating systems,ifiers for data elements and especially for streams and equational logic. We demonstrate the modelling of interactive systems that correspond to dynamically changing net structures as obtained in systems with dynamic process creation (such as in object oriented approaches) within a framework of classical equational logic.作者: 收藏品 時(shí)間: 2025-3-22 13:17
A lazy approach to partial algebras,el algebras; from the former especially on a technical side and from the later from a philosophical point of view. But, as all children, it has its own individuality and in particular an original mechanism to represent lazy evaluation in an algebraic framework has been introduced.作者: 不規(guī)則的跳動(dòng) 時(shí)間: 2025-3-22 21:05
Institutions for behaviour specification,es of logics and models that are relevant for specifying system behaviour can be formalised and discussed. In this framework, we characterise and relate the existence of adjoint situations between theories and models with the existence of terminal models and the difference between underspecification and nondeterminism.作者: Dungeon 時(shí)間: 2025-3-22 22:49 作者: seruting 時(shí)間: 2025-3-23 03:10
Conference proceedings 1995eneral logics and category theory, type systems for specification languages and new structures for modelling dynamic systems. In addition to four surveys by prominent leaders in the area and 23 papers presenting original research, the book contains an annotated bibliography covering all contributions to the ten editions of the workshop.作者: Bravado 時(shí)間: 2025-3-23 09:33 作者: 痛苦一生 時(shí)間: 2025-3-23 11:05
Sort inheritance for order-sorted equational presentations,d for unification in this context. A test and three specific processes, based on completion of a set of rewrite rules, are proposed to check sort inheritance. They depend on the kinds of membership formulas (.) allowed in the specifications: flat and linear, shallow and general terms . are studied.作者: mitten 時(shí)間: 2025-3-23 13:56
0302-9743 four surveys by prominent leaders in the area and 23 papers presenting original research, the book contains an annotated bibliography covering all contributions to the ten editions of the workshop.978-3-540-59132-0978-3-540-49198-9Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: anagen 時(shí)間: 2025-3-23 18:56
Combining algebra and universal algebra in first-order theorem proving: The case of commutative rinr theorem proving problems specified by sets of first-order clauses that, contain the axioms of a commutative ring with a unit element. Associative-commutative superposition forms the deductive core of our method, while a convergent rewrite system for commutative rings provides a starting point for 作者: 許可 時(shí)間: 2025-3-24 00:37 作者: Notorious 時(shí)間: 2025-3-24 04:08
From abstract data types to logical frameworks,neralization that has led to the development of axiomatic notions of logic and of expressive multiparadigm logics. On the one hand, the generalization from equational specifications to specifications in any logic requires general metalogical concepts making precise what logics are. Beginning with th作者: eulogize 時(shí)間: 2025-3-24 09:51
Algebraic specification languages: An overview, structuring mechanisms. In this paper a survey of algebraic specification languages is given together with hints to extensions towards imperative, object-oriented, concurrent, functional and logic programming. The main concepts for specification “in the small” and “in the large” are given and their作者: Licentious 時(shí)間: 2025-3-24 12:02 作者: Fermentation 時(shí)間: 2025-3-24 17:57 作者: 獨(dú)裁政府 時(shí)間: 2025-3-24 22:34
Behavioural theories,ce relation, called .. In this paper we first show how to reduce the behavioural theory of any class . of .-algebras to (a subset of) the standard theory of some corresponding class of algebras. Then we consider infinitary axiomatizations of the behavioural equality and we define a general condition作者: MUT 時(shí)間: 2025-3-24 23:32 作者: 翻布尋找 時(shí)間: 2025-3-25 04:22
A lazy approach to partial algebras, and functional programming, a framework is proposed, collecting many techniques and ideas from the algebraic community, with the capability for an immediate representation of partiality and error-recovery. This formalism, of so called lazy algebras, inherits mainly from two parents: partial and lab作者: 廢止 時(shí)間: 2025-3-25 07:45
Transactions in object-oriented specifications, and hence split the software development process in manageable portions. Due to the complex notion of objects as units of structure and behavior, the refinement process has to be reconsidered in the object-oriented framework. Apart from refining structure the behavioral part gives rise to refine ac作者: 高歌 時(shí)間: 2025-3-25 12:38 作者: LIKEN 時(shí)間: 2025-3-25 18:20
Dynamic abstract data types based on algebraic graph transformations,ta types, motivated by several recent approaches in the areas of algebraic specifications, object-orientation, evolving algebras and graph transformations. The basic idea of dynamic abstract data types is to extend abstract data types by dynamic operations which are transformations between abstract 作者: CROAK 時(shí)間: 2025-3-26 00:00 作者: 厭惡 時(shí)間: 2025-3-26 01:54 作者: 出價(jià) 時(shí)間: 2025-3-26 06:33 作者: Fantasy 時(shí)間: 2025-3-26 10:53 作者: 難管 時(shí)間: 2025-3-26 13:29
Axiomatic specification of large information systems: Experiences and consequences,tem. In order to cope with the size of the specification and with the process of requirements engineering, a combination of semi-formal (mainly diagrammatic) and purely formal notations were used. For the semi-formal notations, a translation into axiomatic specifications was defined such that the wh作者: 龍卷風(fēng) 時(shí)間: 2025-3-26 20:52
An object-oriented airport: Specification and refinement in Maude,lanes, gates, baggage handling, ground control and tower and has been implemented on the OBJ3 system, which serves as a rudimentary interpreter for Maude. We discuss two ways of specifying objects and present two notions of behavioral refinement in Maude.作者: 陰險(xiǎn) 時(shí)間: 2025-3-26 22:56
Combining algebra and universal algebra in first-order theorem proving: The case of commutative rinsuperposition calculus are redundant. This result is obtained by the judicious application of the simplification techniques afforded by convergent rewriting and by a process called symmetrization that embeds inferences between single clauses and ring axioms.作者: 戲法 時(shí)間: 2025-3-27 02:17 作者: Hamper 時(shí)間: 2025-3-27 05:16 作者: GRUEL 時(shí)間: 2025-3-27 13:17
Dynamic abstract data types based on algebraic graph transformations,gebraic graph transformations. The concept of attributed graph transformations is used to define this new version of dynamic abstract data types and to show some important properties of the corresponding transition category. The constructions are illustrated by a small example from the area of data bases.作者: 浪費(fèi)時(shí)間 時(shí)間: 2025-3-27 15:54
Axiomatic specification of large information systems: Experiences and consequences,oblematic issues are pointed out regarding the results of the case study, and proposals for a further improvement are made. The systematic usage of a hybrid approach mixing semi-formal and formal notation is strongly recommended for the precise specification of large application systems.作者: cardiopulmonary 時(shí)間: 2025-3-27 17:55 作者: neutral-posture 時(shí)間: 2025-3-27 22:08 作者: 網(wǎng)絡(luò)添麻煩 時(shí)間: 2025-3-28 03:03
From abstract data types to logical frameworks,fication and programming paradigms can be cleanly combined with the equational one; we discuss several of these extensions, including rewriting logic, which unifies equational, Horn, object-oriented, and concurrent specification and programming..These two lines of research converge in the idea of a 作者: HIKE 時(shí)間: 2025-3-28 10:18
Transactions in object-oriented specifications,trarily interleaved. We envisage a denotational semantics based on event structures in which the sequential composition of transactions can be appropriately liberalized and outline the ideas by giving some examples.作者: 妨礙 時(shí)間: 2025-3-28 11:32
Local specification of distributed families of sequential objects,as initial elements, and so has the full subcategory of those satisfying given temporal axioms. As in abstract data type theory, these initial elements are obvious candidates for assigning standard semantics to signatures and specifications.作者: FILLY 時(shí)間: 2025-3-28 18:26
José Meseguer,Narciso Marti-Olietd finite nature. Despite his deep appreciation of Heidegger’s work, in the final analysis, Bollnow saw such moments as being incompatible with educational values and goals. As a result, he emphasizes the countervailing significance of hope, which, unlike fear and despair, does not individualize and 作者: modifier 時(shí)間: 2025-3-28 21:01
Martin Wirsingcond “educational reality” for Bollnow is one that is “broken” in the sense that it refers to discontinuities, surprise encounters, and particularly, personal crises that are inevitable in individual growth and development. While educators should seek to protect students from unnecessary crises and 作者: Incumbent 時(shí)間: 2025-3-29 02:05
Michel Bidoit,Rolf Hennickerular tradition within fiction and film, and explains the philosophy itself with reference to Mann’s work. The chapter also identifies the concept of social engagement and how it is related to existentialism within Mann’s films. Finally, a specific Mann film is analysed in relation to a specific exis作者: 過濾 時(shí)間: 2025-3-29 05:20
Manfred Broyf being free from entrapment, and his vital programme of professional thievery manifests his self, much like Frank’s, until he experiences a specific form of social engagement which causes him to alter the programme. His new programme is to end his life of crime, so his existential guid-ing ethic al作者: genuine 時(shí)間: 2025-3-29 10:49
M. Ceriolif being free from entrapment, and his vital programme of professional thievery manifests his self, much like Frank’s, until he experiences a specific form of social engagement which causes him to alter the programme. His new programme is to end his life of crime, so his existential guid-ing ethic al作者: forecast 時(shí)間: 2025-3-29 13:50 作者: LIMN 時(shí)間: 2025-3-29 16:10 作者: Cholesterol 時(shí)間: 2025-3-29 21:23 作者: Phonophobia 時(shí)間: 2025-3-30 00:47 作者: 不在灌木叢中 時(shí)間: 2025-3-30 05:11 作者: 膠水 時(shí)間: 2025-3-30 08:19 作者: Mere僅僅 時(shí)間: 2025-3-30 16:21 作者: 牛的細(xì)微差別 時(shí)間: 2025-3-30 16:37 作者: 物質(zhì) 時(shí)間: 2025-3-30 22:19 作者: OVER 時(shí)間: 2025-3-31 01:33
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/r/image/823427.jpg作者: PACT 時(shí)間: 2025-3-31 06:28 作者: 桉樹 時(shí)間: 2025-3-31 09:46 作者: fabricate 時(shí)間: 2025-3-31 14:09
Recent Trends in Data Type Specification978-3-540-49198-9Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Ceremony 時(shí)間: 2025-3-31 19:10
José Meseguer,Narciso Marti-Olietlity, and also in terms of its “broken” and “guided” possibilities. The third chapter further lays the groundwork for the book’s exposition of these three educational realities or possibilities by explaining how Bollnow’s philosophy of education brings together Heidegger’s existentialism with .. The作者: GNAW 時(shí)間: 2025-4-1 00:05
Martin Wirsingn to Bollnow scholarship in education and likely its principle pedagogical and philosophical “take away” for English-language readers. Each of the three parts of this chapter outlines a particular possibility (and related keywords) for “educational reality:” The first, “attuned educational reality,”作者: 陳腐的人 時(shí)間: 2025-4-1 05:39 作者: 不透明 時(shí)間: 2025-4-1 08:50
Manfred Broy, resulting in isolation for the film’s protagonists. Isolation is presented as a bleak state of emptiness, referred to in this chapter as .. . shares generic features with the last two films dis-cussed, combining the thief and the detective in parallel storylines that lead not to resolution but the作者: 膝蓋 時(shí)間: 2025-4-1 12:03 作者: 用肘 時(shí)間: 2025-4-1 17:40
G. Denker, resulting in isolation for the film’s protagonists. Isolation is presented as a bleak state of emptiness, referred to in this chapter as .. . shares generic features with the last two films dis-cussed, combining the thief and the detective in parallel storylines that lead not to resolution but the
