標(biāo)題: Titlebook: ESOP ‘88; 2nd European Symposi H. Ganzinger Conference proceedings 1988 Springer-Verlag Berlin Heidelberg 1988 Action.Algorithms.C programm [打印本頁] 作者: 空格 時間: 2025-3-21 17:00
書目名稱ESOP ‘88影響因子(影響力)
書目名稱ESOP ‘88影響因子(影響力)學(xué)科排名
書目名稱ESOP ‘88網(wǎng)絡(luò)公開度
書目名稱ESOP ‘88網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱ESOP ‘88被引頻次
書目名稱ESOP ‘88被引頻次學(xué)科排名
書目名稱ESOP ‘88年度引用
書目名稱ESOP ‘88年度引用學(xué)科排名
書目名稱ESOP ‘88讀者反饋
書目名稱ESOP ‘88讀者反饋學(xué)科排名
作者: AGATE 時間: 2025-3-21 22:21
A semantics driven temporal verification system, temporal verification system. SMG transforms programs written in user-definable languages to suitable finite state models. thus enabling fast verification of temporal properties of the input program. It can be applied, in particular, to the verification of temporal properties of concurrent and reac作者: PANEL 時間: 2025-3-22 03:27 作者: 柔軟 時間: 2025-3-22 08:01 作者: Glutinous 時間: 2025-3-22 11:35
Implementation of modular algebraic specifications,n signature an . signature is defined. This is a part of the visible signature which is used to observe the behaviour of the implementation..Two correctness criteria are given for the implementation with respect to the observing signature. An algebraic correctness criterion guarantees initial algebr作者: ALIEN 時間: 2025-3-22 14:44 作者: ALIEN 時間: 2025-3-22 21:00 作者: 放大 時間: 2025-3-23 01:02
Conference proceedings 1988pecification and implementation of programming languages and systems. Particular emphasis is placed on work in which an implemented system embodies an important concept or formal model of programming in such a way that its usefulness is demonstrated. Among the five sections of the volume, the one on作者: 考博 時間: 2025-3-23 03:49
https://doi.org/10.1007/978-3-662-00058-8rks as an optimisation technique and what kinds of inefficiency remain after the proof normalisation. Subtle points about the execution of extracted codes are also discussed. Finally, modified V-code is introduced as an easy but powerful optimisation technique,作者: 使厭惡 時間: 2025-3-23 08:45
https://doi.org/10.1007/978-3-642-61980-9ing function in Hoare logic. The union over all observing functions of such implementations provides an actual implementation in any programming language with semantics as described above... Partial support has been received from the European Communities under ESPRIT project no. 348 (Generation of Interactive Programming Environments - GIPE).作者: CARK 時間: 2025-3-23 13:47
QPC: QJ-based proof compiler -simple examples and analysis-,rks as an optimisation technique and what kinds of inefficiency remain after the proof normalisation. Subtle points about the execution of extracted codes are also discussed. Finally, modified V-code is introduced as an easy but powerful optimisation technique,作者: flavonoids 時間: 2025-3-23 15:05 作者: 向外 時間: 2025-3-23 20:36 作者: CHECK 時間: 2025-3-24 00:28
Graph Products and Configuration Processing,ions if information about dataflow within clauses is available. This information can be given by a mode system. We give an outline of a type checking algorithm for this type system and discuss several problems which do not arise in type systems without subtypes.作者: 用手捏 時間: 2025-3-24 03:50 作者: Induction 時間: 2025-3-24 07:57 作者: 冰河期 時間: 2025-3-24 10:47 作者: SHOCK 時間: 2025-3-24 16:13
Semantics-based program integration,though it is undecidable to determine whether a program modification actually leads to such a difference, it is possible to determine a safe approximation by comparing each of the variants with the base program. To determine this information, the integration algorithm employs a program representatio作者: micronutrients 時間: 2025-3-24 22:48
https://doi.org/10.1007/3-540-19027-9Action; Algorithms; C programming language; Exception; Pattern Matching; Prolog; formal language; functiona作者: 抱怨 時間: 2025-3-25 00:57 作者: surmount 時間: 2025-3-25 06:07 作者: 吼叫 時間: 2025-3-25 11:07 作者: LUT 時間: 2025-3-25 12:05
,Einleitung. Historische übersicht, example that the development of an efficient transformation algorithm incorporating the effect of a set of transformation rules is analogous to program development: the transformation rules act as specifications for the transformation algorithms.作者: 受傷 時間: 2025-3-25 17:33 作者: 卵石 時間: 2025-3-25 22:10 作者: maladorit 時間: 2025-3-26 01:19
Optics of Corpuscles / Korpuskularoptik temporal verification system. SMG transforms programs written in user-definable languages to suitable finite state models. thus enabling fast verification of temporal properties of the input program. It can be applied, in particular, to the verification of temporal properties of concurrent and reac作者: 鐵塔等 時間: 2025-3-26 05:59
,Einleitung. Historische übersicht, example that the development of an efficient transformation algorithm incorporating the effect of a set of transformation rules is analogous to program development: the transformation rules act as specifications for the transformation algorithms.作者: Infant 時間: 2025-3-26 09:23
https://doi.org/10.1007/978-3-662-00058-8ordinary Gentzen style of natural deduction as compared to other constructive logics to clarify the relationship between constructive proofs and programs. Proofs and λ-expressions are regarded as different things, and they are linked by the notion of proof compilation based on realizability..The pro作者: membrane 時間: 2025-3-26 12:50 作者: 突襲 時間: 2025-3-26 17:02 作者: 粗俗人 時間: 2025-3-27 00:35
A semantics driven temporal verification system, temporal verification system. SMG transforms programs written in user-definable languages to suitable finite state models. thus enabling fast verification of temporal properties of the input program. It can be applied, in particular, to the verification of temporal properties of concurrent and reactive systems.作者: NOVA 時間: 2025-3-27 01:41
Algebraic formalisation of program development by transformation, example that the development of an efficient transformation algorithm incorporating the effect of a set of transformation rules is analogous to program development: the transformation rules act as specifications for the transformation algorithms.作者: assent 時間: 2025-3-27 07:39
Karl Sellier,Beat P. Kneubuehlwhere both shape and perforation are taken into account..The perforated material can be treated as a special example of a composite. Therefore this paper may be considered as a preliminary step toward a truly optimal design of structures. Combining methods of Sections 4 and 6 will be the subject of further study.作者: 樸素 時間: 2025-3-27 11:09
Introductionsking questions. A graduate student in economics hunting for a research topic and an advanced undergraduate in economics eager to explore alternatives to the standard curriculum may also be interested in a non-technical introduction to the subject.作者: nurture 時間: 2025-3-27 14:41
Dieter Hoffmannxploited to contain damage to commercial crops of microalgae from zooplanktonic pests. Also, considered are the implications of climate change events—warming, ocean acidification and eutrophication—upon SMP, for the formation or dissipation of ecosystem disruptive blooms. Then there is the issue of 作者: 先行 時間: 2025-3-27 21:18 作者: squander 時間: 2025-3-28 00:54
Marcos Maro?as,Xavier Teruel,Vicen? Beltran: Basic and Clinical Principles brings together the developmental, structural, and molecular mechanisms of the visual transduction cascade and is an invaluable text for everyone conducting research in the visual system..978-1-4939-6082-8978-1-59745-374-5作者: INCUR 時間: 2025-3-28 04:28 作者: Decibel 時間: 2025-3-28 06:55 作者: 歸功于 時間: 2025-3-28 14:17
The Study of X-Ray Radiation from AGNsappropriate thresholds (Morrison 1988). Consequently, cross sections computed using the adiabatic-nuclei approximation near threshold will be suspect, no matter how sophisticated the treatment of the electronic portion of the scattering problem. The breakdown of the adiabatic-nuclei approximation ca
