Cafeobj Report: The Language, Proof Techniques, And Methodologies For Object-oriented Algebraic Specification

Name: Cafeobj Report: The Language, Proof Techniques, And Methodologies For Object-oriented Algebraic Specification
Brand: World Scientific Publishing Co Pte Ltd
SKU: 9789810235130
Price: 17420 HUF
Availability: InStock

Szerző: Razvan Diaconescu, Kokichi Futatsugi

Nyelv:

Kötés: Kemény kötésű

Kiadó: World Scientific Publishing Co Pte Ltd

Elérhetőség: 50 % esély

Keressük az egész világon

17 420 Ft

This is a report on the formal definition of the CafeOBJ algebraic specification language, which is...

Információk a könyvről

Szerző

Razvan Diaconescu, Kokichi Futatsugi

Nyelv

Angol

Kötés

Könyv - Kemény kötésű

Kiadva

1998

oldal

196

EAN

9789810235130

ISBN

9810235135

Enbook ID

05066046

Kiadó

World Scientific Publishing Co Pte Ltd

Súly

Teljes leírás

This is a report on the formal definition of the CafeOBJ algebraic specification language, which is a modern successor to the famous algebraic language OBJ. While the equational core of CafeOBJ is just a reshaping of OBJ, CafeOBJ significantly extends OBJ by incorporating several recent major developments in the area of algebraic specification, such as behavioural specification and rewriting logic.The definition of the language parallels its logical semantics based on the so-called institutions, which also provide a methodological framework for structuring the presentation of the basic constructs of the language and their semantics.This report presents all the basic constructs of the language together with their semantics and addresses both the programming in-the-small and in-the-large levels. However, it also discusses proof systems and technologies, as well as methodologies. Examples are provided throughout the report as intuitive support for the definitions of the constructs and for illustrating proof techniques and methodologies.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Cafeobj Report: The Language, Proof Techniques, And Methodologies For Object-oriented Algebraic Specification

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták