DocumentCode :
1060729
Title :
Formalization in Programming Environments
Author :
Goguen, Joseph ; Moriconi, Mark
Author_Institution :
SRI International
Volume :
20
Issue :
11
fYear :
1987
Firstpage :
55
Lastpage :
64
Keywords :
Bars; Computer languages; Control systems; Genetic programming; Natural languages; Packaging; Power generation; Production; Program processors; Programming environments;
fLanguage :
English
Journal_Title :
Computer
Publisher :
ieee
ISSN :
0018-9162
Type :
jour
DOI :
10.1109/MC.1987.1663416
Filename :
1663416
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=1060729
