CafeOBJ Report : The Language, Proof Techniques and Methodologies for Object-Oriented Algebraic Specification

The Language, Proof Techniques and Methodologies for Object-Oriented Algebraic Specification

By: Razvan Diaconescu, Kokichi Futatsugi

Write A Review

Hardcover | 1 December 1997

At a Glance

Hardcover
196 Pages

Dimensions(cm)
22.86 x 16.51 x 2.54

Hardcover

RRP $82.99

$74.75

10%OFF

or 4 interest-free payments of $18.69 with

Ships in 15 to 25 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Object-Oriented Programming or OOP Mathematics Algebra Software Engineering Programming & Scripting Languages Computer Science Mathematical Theory of Computation Engineering & Technology Energy Technology & Engineering

Electrical Engineering Booktopia Publisher Services World Scientific Publishing

Preface
Overview of CafeOBJ
Short Guide to Background Literature
Basic Specifications	p. 1
Signatures	p. 2
Models	p. 6
Sentences	p. 11
Satisfaction	p. 14
Proof System	p. 30
Structuring Specifications	p. 35
Fundamental Semantics Concepts	p. 35
Module Imports	p. 45
Views	p. 54
Parameterized Modules	p. 55
Module Expressions	p. 73
Built-in Modules	p. 78
Proof Technologies	p. 81
Rewriting	p. 81
Induction	p. 86
Coinduction	p. 88
Methodologies	p. 93
Nondeterminism	p. 93
Concurrent Object Composition	p. 96
Dynamic Systems of Objects	p. 105
Applications in Rewriting Logic	p. 109
General Small Methodological Advises	p. 113
CafeOBJ Syntax	p. 123
App: Institutions	p. 133
App: a CASE study	p. 143
Notations and Conventions	p. 163
Table of Contents provided by Blackwell. All Rights Reserved.

CafeOBJ Report : The Language, Proof Techniques and Methodologies for Object-Oriented Algebraic Specification

The Language, Proof Techniques and Methodologies for Object-Oriented Algebraic Specification

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Programming & Software Development

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Designing Data-Intensive Applications

The Big Ideas Behind Reliable, Scalable, and Maintainable Systems

Exam 98-366 Networking Fundamentals 2nd Edition

Algorithmic Short Selling with Python - Second Edition

Strategies, signals, and risk management techniques for profitable short trades

Foundations of High Performance Computing

A Comprehensive Guide to Systems, Concepts, and Programming

Mobile and Ubiquitous Systems: Computing, Networking and Services

22nd EAI International Conference, MobiQuitous 2025, Shanghai, China, November 7-9, 2025, Proceedings, Part I

Learning Go

An Idiomatic Approach to Real-World Go Programming

Windows 11 For Seniors For Dummies, 2nd Edition

For Dummies (Computer/Tech)

Learning Generative AI Tools for Excel

Speed Up Your Everyday Tasks with Microsoft Excel, Copilot, ChatGPT, and Beyond

Design Patterns

Elements of Reusable Object-Oriented Software

The Man Who Solved the Market

How Jim Simons Launched the Quant Revolution SHORTLISTED FOR THE FT & MCKINSEY BUSINESS BOOK OF THE YEAR AWARD 2019

Python All-in-One For Dummies

3rd Edition

Swift

The Practical Guide

Web Engineering

Theory and Practice

The Essence of Software Engineering

Introduction to Programming Languages

Beginner's Step-by-Step Coding Course

Learn Computer Programming the Easy Way

Building Microservices

Designing Fine-Grained Systems 2nd Edition

The Manager`s Path

A Guide for Tech Leaders Navigating Growth and Change

Computer Coding Python Games for Kids

DK Help Your Kids With

Microsoft 365 Excel VBA Programming For Dummies

For Dummies (Computer/Tech)

Head First Python

3rd Edition - A Learner's Guide to the Fundamentals of Python Programming, a Brain-Friendly Guide

The Lego Technic Idea Book

Simple Machines

Agile Project Management For Dummies

For Dummies (Business & Personal Finance)

This product is categorised by