Titlebook: Algebraic Methods II: Theory, Tools and Applications; J. A. Bergstra,L. M. G. Feijs Conference proceedings 1991 Springer-Verlag Berlin Hei

Jurisdiction

書目名稱Algebraic Methods II: Theory, Tools and Applications影響因子(影響力)




書目名稱Algebraic Methods II: Theory, Tools and Applications影響因子(影響力)學(xué)科排名




書目名稱Algebraic Methods II: Theory, Tools and Applications網(wǎng)絡(luò)公開度




書目名稱Algebraic Methods II: Theory, Tools and Applications網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Algebraic Methods II: Theory, Tools and Applications被引頻次




書目名稱Algebraic Methods II: Theory, Tools and Applications被引頻次學(xué)科排名




書目名稱Algebraic Methods II: Theory, Tools and Applications年度引用




書目名稱Algebraic Methods II: Theory, Tools and Applications年度引用學(xué)科排名




書目名稱Algebraic Methods II: Theory, Tools and Applications讀者反饋




書目名稱Algebraic Methods II: Theory, Tools and Applications讀者反饋學(xué)科排名

ANN

FIG

Algebraic Methods II: Theory, Tools and Applications

彎曲道理

https://doi.org/10.1007/978-3-319-90303-3We argue that the verification of parallel programs can be considerably simplified by using program transformations. We illustrate this approach by proving correctness of two parallel programs under the assumption of fairness: asynchronous fixed point computation and parallel zero search.

十字架

中世紀(jì)

lipids

https://doi.org/10.1007/978-3-540-72943-3The specification language PSF. is used to give a formal specification of a transit node, a common case study in ESPRIT project METEOR. The design of the specification derived from the informal text and the ERAE specification is included. A short discussion on the relation to the specification in ERAE is provided.

高調(diào)

記憶法

Using transformations to verify parallel programs,We argue that the verification of parallel programs can be considerably simplified by using program transformations. We illustrate this approach by proving correctness of two parallel programs under the assumption of fairness: asynchronous fixed point computation and parallel zero search.

GET

,Norman’s database modularised in COLD-K,In this paper we present a COLD specification of a database, originally presented in VDM, discussing various aspects of modularisation.