Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference14 articles.
1. Ashcroft, E., Wadge, W.: Lucid ? A formal system for writing and proving programs SIAM J. Comput. 5, 336?354 (1976)
2. Ashcroft, E., Wadge, W.: Lucid ? Scope structures and defined functions. Conference Records: 5th Annl Symp. on Princ. of Progr. Lang., Tucson 1978, 17?23
3. Chirica, L., Martin, D.: An approach to compiler correctness. Proceedings: Int. Conf. on Reliable Software, Los Angeles 1976, Sigplan Notices 10, 96?103
4. Dahl, O., Dijkstra, E., Hoare, C.: Structured programming London: Academic Press 1972
5. Farah, M.: Correct compilation of a useful subset of lucid. Ph.D. Thesis, Dept. of Comp. Sci., University of Waterloo, 1977
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献