標(biāo)題: Titlebook: Algebraic Methods: Theory, Tools and Applications; Martin Wirsing,Jan A. Bergstra Conference proceedings 1989 Springer-Verlag Berlin Heide [打印本頁] 作者: Gram114 時間: 2025-3-21 19:10
書目名稱Algebraic Methods: Theory, Tools and Applications影響因子(影響力)
書目名稱Algebraic Methods: Theory, Tools and Applications影響因子(影響力)學(xué)科排名
書目名稱Algebraic Methods: Theory, Tools and Applications網(wǎng)絡(luò)公開度
書目名稱Algebraic Methods: Theory, Tools and Applications網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Algebraic Methods: Theory, Tools and Applications被引頻次
書目名稱Algebraic Methods: Theory, Tools and Applications被引頻次學(xué)科排名
書目名稱Algebraic Methods: Theory, Tools and Applications年度引用
書目名稱Algebraic Methods: Theory, Tools and Applications年度引用學(xué)科排名
書目名稱Algebraic Methods: Theory, Tools and Applications讀者反饋
書目名稱Algebraic Methods: Theory, Tools and Applications讀者反饋學(xué)科排名
作者: 尊重 時間: 2025-3-21 22:36 作者: 胰臟 時間: 2025-3-22 00:35 作者: APEX 時間: 2025-3-22 06:09 作者: 匍匐前進(jìn) 時間: 2025-3-22 12:15
Description algebra,rates a special scheme of dealing with name clashes in module composition by means of . and .. A complete definition of the algebra is given and its properties are discussed. The algebra is the basis of the modularisation constructs of the design language COLD-K, but the approach as such as independ作者: Arthr- 時間: 2025-3-22 14:58 作者: 拘留 時間: 2025-3-22 20:47
The RAP system as a tool for testing COLD specifications,ion techniques. After a sketch of the general aims of RAP, the behaviour of the system is described from the user‘s point of view, illustrated by detailed examples of moderate size. All examples are presented in COLD-K syntax.作者: Picks-Disease 時間: 2025-3-22 23:32 作者: Offensive 時間: 2025-3-23 03:28 作者: 歡騰 時間: 2025-3-23 09:10
,ACPτ a universal axiom system for process specification,entation in several intermediate stages leading to ACP., Algebra of Communicating Processes with abstraction. At each successive stage an example is given showing that the specification power is increased. Also some graph models for the respective axiom systems are informally presented. We conclude 作者: Chronic 時間: 2025-3-23 10:46
Modular specifications in process algebra,viewed as homomorphic images, submodels or restrictions of each other. The aim of this paper is to show how the semantical reality, consisting of a large number of closely related process algebras, can be reflected, and even used, on the level of algebraic specifications and in process verifications作者: annexation 時間: 2025-3-23 14:32 作者: 歪曲道理 時間: 2025-3-23 18:23 作者: PARA 時間: 2025-3-23 22:35
Other deep-water coral reefs, worldwide, activation records by simpler .. On the machine level, this tree walk is performed by a generalization of the Schorr-Waite algorithm to .-ary trees, causing only a small overhead in execution time but no additional memory requirements. The resulting code is faster and requires less storage than usual . code.作者: Catheter 時間: 2025-3-24 04:15 作者: mendacity 時間: 2025-3-24 10:04
Algebraic specification a step towards future software engineering, in this project, a number of objectives are derived, both for the design of practically usable languages based on the idea of algebraic specification and their support by appropriate tools as part of a comprehensive software engineering discipline.作者: delegate 時間: 2025-3-24 11:50 作者: 絕種 時間: 2025-3-24 15:06
Efficient implementation of an algebraic specification language, activation records by simpler .. On the machine level, this tree walk is performed by a generalization of the Schorr-Waite algorithm to .-ary trees, causing only a small overhead in execution time but no additional memory requirements. The resulting code is faster and requires less storage than usual . code.作者: 運動的我 時間: 2025-3-24 19:11 作者: Affluence 時間: 2025-3-24 23:46 作者: offense 時間: 2025-3-25 06:55 作者: 壓碎 時間: 2025-3-25 09:56 作者: Crater 時間: 2025-3-25 12:40
A specification of the intel 8085 microprocessor: A case study,inst some of its informal requirements. In the design of large software systems, a number of informal specification properties have to be considered such as style, readability, and structuredness of a specification. These properties are talked about using a couple of small examples.作者: 聯(lián)合 時間: 2025-3-25 16:24 作者: Notorious 時間: 2025-3-25 20:29 作者: 狂熱文化 時間: 2025-3-26 01:25
Other deep-water coral reefs, worldwide,alogue of primitive recursion. We demonstrate how the regular behaviour of structural recursion can be exploited for generating better code. Technically, this is achieved by generalizing loop iteration on integers to bottom-up iteration on trees. Here, it is possible to replace the function stack of作者: 充氣球 時間: 2025-3-26 06:37
Paul Schadewald,Karin Aguilar-San Juandescribing classes are presented ranging from algebraic to state-based techniques on the one hand, and axiomatic to algorithmic techniques on the other hand. The last part of the paper is devoted to the structuring mechanisms provided by the language, which include high level modularisation and para作者: Amylase 時間: 2025-3-26 10:04 作者: Cocker 時間: 2025-3-26 15:17 作者: Agronomy 時間: 2025-3-26 19:02
https://doi.org/10.1057/9781137468765ion techniques. After a sketch of the general aims of RAP, the behaviour of the system is described from the user‘s point of view, illustrated by detailed examples of moderate size. All examples are presented in COLD-K syntax.作者: expeditious 時間: 2025-3-26 21:19
I CAN Do It: From GANs and Deepfakes to Art,cepts of hierarchical abstract types and conditional equations. With the help of the specification interpreter RAP, the specification is validated against some of its informal requirements. In the design of large software systems, a number of informal specification properties have to be considered s作者: Cholesterol 時間: 2025-3-27 03:37
https://doi.org/10.1007/978-3-662-67427-7 with the RAP tool are summarized. Using this example, different approaches to an implementation of this algebraic specification are compared: interpretation of the specification by RAP, automatic compilation into PASCAL code and hand-written C code.作者: 系列 時間: 2025-3-27 09:09
Shiguo Wu,Yunbao Sun,Yangbing Xieentation in several intermediate stages leading to ACP., Algebra of Communicating Processes with abstraction. At each successive stage an example is given showing that the specification power is increased. Also some graph models for the respective axiom systems are informally presented. We conclude 作者: 不發(fā)音 時間: 2025-3-27 13:18
Mediators of Pain and Pain Processingviewed as homomorphic images, submodels or restrictions of each other. The aim of this paper is to show how the semantical reality, consisting of a large number of closely related process algebras, can be reflected, and even used, on the level of algebraic specifications and in process verifications作者: Nutrient 時間: 2025-3-27 16:14
Description algebra,rates a special scheme of dealing with name clashes in module composition by means of . and .. A complete definition of the algebra is given and its properties are discussed. The algebra is the basis of the modularisation constructs of the design language COLD-K, but the approach as such as independent of COLD-K.作者: STERN 時間: 2025-3-27 21:47 作者: Eviction 時間: 2025-3-27 22:34
The RAP system as a tool for testing COLD specifications,ion techniques. After a sketch of the general aims of RAP, the behaviour of the system is described from the user‘s point of view, illustrated by detailed examples of moderate size. All examples are presented in COLD-K syntax.作者: LURE 時間: 2025-3-28 05:48 作者: Externalize 時間: 2025-3-28 09:06 作者: 弄皺 時間: 2025-3-28 14:30
0302-9743 Overview: 978-3-540-51698-9978-3-540-46758-8Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: exquisite 時間: 2025-3-28 17:47 作者: 浸軟 時間: 2025-3-28 19:21
Taxation: Redistribution Upwards,t we have terms . ? ., where . is a parameter restriction. The effect of the parameter restrictions is formalised by the rules of the calculus. Instead of the rule . there is a rule called .. This calculus has been used to give a meaning to the parameterisation and design constructs of COLD-K.作者: Entirety 時間: 2025-3-29 00:54
https://doi.org/10.1057/9781137468765ion techniques. After a sketch of the general aims of RAP, the behaviour of the system is described from the user‘s point of view, illustrated by detailed examples of moderate size. All examples are presented in COLD-K syntax.作者: OFF 時間: 2025-3-29 03:47
https://doi.org/10.1007/978-3-662-67427-7 with the RAP tool are summarized. Using this example, different approaches to an implementation of this algebraic specification are compared: interpretation of the specification by RAP, automatic compilation into PASCAL code and hand-written C code.作者: 的是兄弟 時間: 2025-3-29 09:37 作者: Aboveboard 時間: 2025-3-29 15:24 作者: 外貌 時間: 2025-3-29 16:22
Rechtlicher Rahmen in Deutschland,In this paper an algebraic specification of an extended (i.e. non first normal form) relational algebra is reported. Such specification has been written in RAP and in COLD and has been executed using RAP. In order to improve efficiency specifications were translated to Prolog.作者: 元音 時間: 2025-3-29 20:42 作者: exorbitant 時間: 2025-3-30 02:36 作者: 荒唐 時間: 2025-3-30 04:52 作者: 肥料 時間: 2025-3-30 09:00 作者: Outmoded 時間: 2025-3-30 13:11 作者: Accomplish 時間: 2025-3-30 19:16
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/a/image/152678.jpg作者: Jocose 時間: 2025-3-31 00:24 作者: critic 時間: 2025-3-31 01:11 作者: 關(guān)節(jié)炎 時間: 2025-3-31 08:18 作者: 配置 時間: 2025-3-31 10:19 作者: Nebulous 時間: 2025-3-31 15:46
Mediators of Pain and Pain Processingators enable us to combine modules in a subtle way, when the direct combination would be inconsistent. We show how auxiliary process algebra operators can be hidden when this is needed. Moreover it is demonstrated how new process combinators can be defined in terms of the more elementary ones in a c作者: candle 時間: 2025-3-31 18:25
The aims of this study,ng conventional EUS-detected lesions. The newest EUS modalities are tissue elastography and contrast enhancement, which measure elasticity and vascularity, respectively, and thereby can depict tissue structure in detail. Hard elasticity on EUS elastography and hypo-enhancement on contrast-enhanced E作者: 青春期 時間: 2025-4-1 00:28 作者: NATTY 時間: 2025-4-1 04:28
