Subject
Artificial Intelligence,Computer Graphics and Computer-Aided Design,Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science,Software
Reference32 articles.
1. A proof system for CSP;Apt;ACM Trans. Programming Languages and Systems,1980
2. American National Programming Language FORTRAN,1978
3. American National Standard for Information Systems Programming Language FORTRAN;Draft S8,1987
4. Domain-specific automatic programming;Barstow;IEEE Trans. Software Engng,1985
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献