Paper Info
Title
An Algebraic Approach to Data Types, Program Verification, and Program Synthesis
Abstract
Without Abstract
Year
DOI
Venue
1976
10.1007/3-540-07854-1_195
MFCS
Keywords
Field
DocType
data type
Algebraic number,Programming language,Program synthesis,Computer science,Data type,Program derivation
Conference
Citations 
PageRank 
References 
10
0.79
3
Authors
1
Name
Order
Citations
PageRank
Friedrich W. Von Henke142549.05