Recent Trends in Data Type Specification

Beschreibung

This volume contains the proceedings of a workshop on specification of abstract data types. The main topics are modularization, object orientation, higher-order types and dependent types, inductive completion, and algebraic high-level nets.

Autor*in

Hartmut Ehrig

Themen in »Recent Trends in Data Type Specification«

Algebraic High-Level Nets Algebraische Netze Compiler Data Types Datentypen Inductive Completition Induktive Vervollständigung Object-Orientation Objektorientierung Specification Spezifikation design object

Stimmen zu »Recent Trends in Data Type Specification«

Details

Link teilen