Filters








3,477 Hits in 5.6 sec

Call for Papers

1976 Computer  
ADVERTISERS INDEX-JUNE 1976 ACM (Association for Computing Machinery) .... ........ 91 ACM Computer Science Conference-1977 . ............. 71 Arya-83 17 5 45 94 Inside Front Cover PRODUCT  ...  Stone, program Operations Research and Computer Science: Special Issue of Operations Research, late 1977.  ... 
doi:10.1109/c-m.1976.218622 fatcat:mquvlj53xzgdtblfmtol7xt2hq

Bibliography on the evaluation of numerical software

Bo Einarsson
1979 Journal of Computational and Applied Mathematics  
Vichnevetsky, Available from AICA, Rutgers University, Department of Computer Science, New Brunswick, New Jersey 08903, pp. 40-45. 3.~9 EISENSTAT, S C; SCHgLTZ, M B; SHERMAN, A H (1977): An Auxiliary  ...  grants from the Sweden-America Foundation and the National Science Foundation, while the production was financed by the Office of Naval Research.  ... 
doi:10.1016/0771-050x(79)90011-1 fatcat:nvl2qsirmzfnpb7ohpf2ihce4u

Abstraction and verification in Alphard

Mary Shaw, Wm A. Wulf, Ralph L. London
1977 Proceedings of an ACM conference on Language design for reliable software -  
.; A Graphical Abstract Programming Language; ACM SIGPLAN Notices 19, 1 (January 1984) pp. 14-23.  ...  London; Notes on the Design of Euclid; Proceedings of an ACM Conference on Language Design for Reliable Software, (edited by D.B. Wortman).  ... 
doi:10.1145/800022.808321 fatcat:zuuerylr3fhc7cbzpijepsbinq

Abstraction and verification in Alphard

Mary Shaw, Wm A. Wulf, Ralph L. London
1977 ACM SIGOPS Operating Systems Review  
.; A Graphical Abstract Programming Language; ACM SIGPLAN Notices 19, 1 (January 1984) pp. 14-23.  ...  London; Notes on the Design of Euclid; Proceedings of an ACM Conference on Language Design for Reliable Software, (edited by D.B. Wortman).  ... 
doi:10.1145/390018.808321 fatcat:6mp6jshmnjg5thssngqrusca3u

Abstraction and verification in Alphard: defining and specifying iteration and generators

Mary Shaw, William A. Wulf, Ralph L. London
1977 Communications of the ACM  
.; A Graphical Abstract Programming Language; ACM SIGPLAN Notices 19, 1 (January 1984) pp. 14-23.  ...  London; Notes on the Design of Euclid; Proceedings of an ACM Conference on Language Design for Reliable Software, (edited by D.B. Wortman).  ... 
doi:10.1145/359763.359782 fatcat:2ckqb2i6rrdsnipkjasaia3yaa

Abstraction and verification in Alphard

Mary Shaw, Wm A. Wulf, Ralph L. London
1977 Software engineering notes  
.; A Graphical Abstract Programming Language; ACM SIGPLAN Notices 19, 1 (January 1984) pp. 14-23.  ...  London; Notes on the Design of Euclid; Proceedings of an ACM Conference on Language Design for Reliable Software, (edited by D.B. Wortman).  ... 
doi:10.1145/390019.808321 fatcat:owxireuadvagna7utuefnfbb3q

Abstraction and verification in Alphard

Mary Shaw, Wm A. Wulf, Ralph L. London
1977 SIGPLAN notices  
.; A Graphical Abstract Programming Language; ACM SIGPLAN Notices 19, 1 (January 1984) pp. 14-23.  ...  London; Notes on the Design of Euclid; Proceedings of an ACM Conference on Language Design for Reliable Software, (edited by D.B. Wortman).  ... 
doi:10.1145/390017.808321 fatcat:26pqysz4pnfb5e3sawaggsuory

Page 27 of Journal of Research and Practice in Information Technology Vol. 12, Issue 1 [page]

1980 Journal of Research and Practice in Information Technology  
Conference on Very High Level Languages, in ACM Sigplan Notices, 9, 4, p. 50.  ...  ACM, 15,3, p. 157. SPIER, M.J. (1973): “A Model Implementation for Protective Domains”, /nt. journal of Computer and Information Sciences, 2,3, p. 201.  ... 

Book Review: Data Base Systems - A Practical Reference, by Ian Palmer

1978 IEEE Data Engineering Bulletin  
Kerr, "Structure memory designs for a data base computer," Proc. ACM Annual Conf., pp. 343-350, 1977. C.  ...  ., "A note on associative processors for data management," IBM ReportRJ 1941 (27630), Computer Science, Feb. 1977. 111.20] Lipovski, G.  ...  Co sponsored by ACM SIGARCH and the IEEE Computer Society, the conference covers current trends in Special Purpose Processors, Data Base Architectures, Language-  ... 
dblp:journals/debu/X78a fatcat:2qr2zq7vbnfbpk7zl24ezyexqe

Page 57 of Journal of Research and Practice in Information Technology Vol. 20, Issue 2 [page]

1988 Journal of Research and Practice in Information Technology  
Symp. on Computer Architecture, Ann Arbor, Michigan, pp. 348-354, June 1984. PETERSON, J.L. (1977): “Petri Nets”, ACM Computing Surveys, Vol. 9, No. 3, pp. 223-252, September 1977.  ...  From January 1980 to December 1983, he was an Assistant Professor of Computer Science at the University of lowa, lowa City, lowa (USA).  ... 

Page 61 of Journal of Research and Practice in Information Technology Vol. 14, Issue 2 [page]

1982 Journal of Research and Practice in Information Technology  
Proc. 8th World Computer Conference, North-Holland, pp. 337-342. LISKOV, B., SNYDER, A., ATKINSON, R. and SCHAFFERT, C. (1977), Abstraction Mechanisms in CLU. Comm, ACM, Vol. 20, No. 8, pp. 564-576.  ...  Proc, 4th Australian Computer Science Conference, Brisbane, pp. 1-13. BISHOP, P.B. (1977), Computer Systems with a Very Large Address Space and Garbage Collection. Ph.D. Thesis, MIT, May 1977.  ... 

Page 758 of Mathematical Reviews Vol. , Issue 80B [page]

1980 Mathematical Reviews  
Proceedings of a Conference on Theoretical Computer Science (Univ. Waterloo, Waterloo, Ont., 1977), pp. 262-274, Univ. Waterloo, Waterloo, Ont., 1978.  ...  Ullman [ACM Trans. Database Systems 2 (1977), no. |, 1—10]).  ... 

Page 2162 of Mathematical Reviews Vol. , Issue 82e [page]

1982 Mathematical Reviews  
Systems Theory 13 (1979/80), no. 3, 187-207; Conference Record of the Ninth Annual ACM Symposium on Theory of Computing (Boulder, Colo., 1977), pp. 228-238, ACM, New York, 1977; see MR 56 #17176] provide  ...  Conference Record of the Tenth Annual ACM Symposium on Theory of Computing (San Diego, Calif., 1978), pp. 150-161, ACM, New York, 1978.  ... 

Page 137 of Journal of Research and Practice in Information Technology Vol. 10, Issue 4 [page]

1978 Journal of Research and Practice in Information Technology  
SMITH, J.M. and SMITH, D.C.P. (1977), Database abstractions: aggregation and generalisation, ACM Transactions on Database Systems, 2, 2, pp. 105-133.  ...  SCHMID, H.A. and SWENSON, J.R. (1975), On the semantics of the relational model, Proceedings of ACM SIGMOD Conference, pp. 211-233.  ... 

Page 117 of Journal of Research and Practice in Information Technology Vol. 21, Issue 3 [page]

1989 Journal of Research and Practice in Information Technology  
SMITH, J M and SMITH, D C P (1977): Database Abstractions: Aggregation and Generalisation, ACM Trans. Database Sys., Vol 2, No.2, pp 105-133.  ...  of Technology Sydney NSW 2000 Australia The 16th International Conference Ron Sacks-Davis Department of Computing Science TUTORIAL CO-CHAIRS John Zeleznikow Department of Computer Science La Trobe University  ... 
« Previous Showing results 1 — 15 out of 3,477 results