Recent Trends in Data Type Specification

Recent Trends in Data Type Specification

4.11 - 1251 ratings - Source

This book contains a strictly refereed selection of revised full papers chosen from the papers accepted for presentation during the 11th Workshop on Abstract Data Types held jointly with the 8th COMPASS Workshop in Oslo, Norway, in September 1995. The 25 research papers included were chosen from 57 pre-selected workshop presentations; also included are six invited contributions. The volume reports the progress achieved in the area of algebraic specification since the predecessor meeting held in May 1994.... a sound and complete deduction calculus, free functor semantics for parameterized specifications, and compositionality, ... the cartesian theory CT( SPEC), as a category with finite limits, and the generic partial algebra G = ((ob3), esi {inalt;agt;panbsp;...

Title:Recent Trends in Data Type Specification
Author:Magne Haveraaen, Olaf Owe, Ole-Johan Dahl
Publisher:Springer Science & Business Media - 1996-09-04


You Must CONTINUE and create a free account to access unlimited downloads & streaming