Titlebook: ESOP ‘88; 2nd European Symposi H. Ganzinger Conference proceedings 1988 Springer-Verlag Berlin Heidelberg 1988 Action.Algorithms.C programm

空格

書(shū)目名稱(chēng)ESOP ‘88影響因子(影響力)




書(shū)目名稱(chēng)ESOP ‘88影響因子(影響力)學(xué)科排名




書(shū)目名稱(chēng)ESOP ‘88網(wǎng)絡(luò)公開(kāi)度




書(shū)目名稱(chēng)ESOP ‘88網(wǎng)絡(luò)公開(kāi)度學(xué)科排名




書(shū)目名稱(chēng)ESOP ‘88被引頻次




書(shū)目名稱(chēng)ESOP ‘88被引頻次學(xué)科排名




書(shū)目名稱(chēng)ESOP ‘88年度引用




書(shū)目名稱(chēng)ESOP ‘88年度引用學(xué)科排名




書(shū)目名稱(chēng)ESOP ‘88讀者反饋




書(shū)目名稱(chēng)ESOP ‘88讀者反饋學(xué)科排名

AGATE

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

柔軟

Glutinous

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

ALIEN

放大

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

考博

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,

使厭惡

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).