Paper Info
Title
Inductive Synthesis of Encoding for Algebraic Abstract Data Types
Abstract
The method announced in this paper develops the inductive approach for implementing algebraic ADT. We tried to describe here some framework for this approach and to demonstrate it and its problems on simple examples.
Year
DOI
Venue
1989
10.1007/3-540-51734-0_72
AII
Keywords
Field
DocType
algebraic abstract data types,inductive synthesis,abstract data type
Abstract data type,Algebraic number,Computer science,Theoretical computer science,Encoding (memory)
Conference
ISBN
Citations 
PageRank 
3-540-51734-0
0
0.34
References 
Authors
3
1
Name
Order
Citations
PageRank
Guntis Barzdins112118.62