- Ada Programming Language, Military Standard MIL-STD-1815, U.S. Department of Defense, December, 1980.Google Scholar
- Formal Definition of the Ada Programming Language, Institut National de Recherche en Informatique et en Automatique, November, 1980.Google Scholar
- Dannenberg, R. B. and Ernst, G. W., Formal Program Verification Using Symbolic Execution, IEEE Transactions on Software Engineering, Jan., 1982.Google ScholarDigital Library
- Ernst, G. W., A Method for Verifying Concurrent Processes, Report No. CES-82-1, Computer Engineering and Science Dept., Case Western Reserve Univ., 1982Google Scholar
- Ernst, G. W. and Hookway, R. J., The Use of Data Abstraction in the Specification and Verification of Concurrent Programs, Internal Document, Computer Engineering and Science Dept., Case Western Reserve Univ., 1982Google Scholar
- Ernst, G. W. and Hookway, R. J., Specification and Verification of Generic Program Units in Ada. Internal Document, Computer Engineering and Science Dept., Case Western Reserve Univ., 1982Google Scholar
- Ernst, G. W. and Hookway, R. J., Mechanical Theorem Proving in the Case Verifier, Machine Intelligence 10, Practice and Perspective, Ellis, Horwood Ltd., 1982, pp. 123--145.Google Scholar
- Ernst, G. W. and Ogden, W. F., Specification of Abstract Data Types in Modula, ACM Transactions on Programming Languages and Systems, Oct., 1980, pp. 522--543. Google ScholarDigital Library
- German, S. M., An Extended Semantic Definition for Pascal for Proving the Absence of Common Runtime Errors, Report No. STAN-CS-80-811, Stanford University, June, 1980. Google ScholarDigital Library
- Good, D. I., Cohen, R. M., Hoch. C. G., Hunter, L. W. and Hare, D. F., Report on the Language Gypsy, Version 2.0, Technical Report ICSCA-CMP-10. Certifiable Minicomputer Project. ICSCA, The University of Texas at Austin, September, 1978.Google Scholar
- Howe, C. A. R., Proof of Correctness of Data Representations, Acta Informatica, 1972. pp. 271--81.Google Scholar
- Hoare, C. A. R., An Axiomatic Basis for Computer Programming, Communications of the ACM. Oct., 1969, pp. 576--580. Google ScholarDigital Library
- Hoare, C. A. R. and Wirth, N., An Axiomatic Definition of the Programming Language Pascal, Acta Informatica, 1973, pp. 335--355.Google ScholarDigital Library
- Hookway, R. J., Verification of Abstract Data Types whose Representations Share Storage, Report CES-80-2, Computer Engineering and Science Dept., Case Western Reserve Univ., 1980.Google Scholar
- Hookway, R. J. and Ernst, G. W., A Program Verification System, Proc. of the Annual Conference of the ACM, 1976, pp. 504--508. Google ScholarDigital Library
- Ichoiah, J. D., Barnes, J. G. P, Heliard, J. C., Krieg-Brueckner, B., Roubine, O. and Wichmann, B. A., Rationale for the Design of the Ada Programming Language, SIGPLAN Notices, June, 1979. Google ScholarDigital Library
- Igarashi, S., London, R. L. and Luckham, D. C., Interactive Program Verification: A Logical System and Its Implementation, Acta Informatica, March 1975, pp. 145--182.Google Scholar
- London, R. L., Guttag, J. V., Horning, J. J., Lampson. B. W., Mitchell, J. G. and Popek, G. J., Proof Rules for the Programming Language Euclid, Acta Informatica, Jan. 1978, pp. 1--26.Google ScholarDigital Library
- Luckham, D. C. and Polak, W., Ada, Exception Handling - An Axiomatic Approach, ACM Transactions on Programming Languages and Systems, May, 1980. Google ScholarDigital Library
- Luckham, D. C., German, S. M., v. Henke, F. W., Karp, R. A., Milne, P. W., Oppen, D. C., Polak, W. and Scherlis, W. L., Stanford Pascal Verifier User Manual, Report STAN-CS-79-731. Computer Science Department, Stanford University, 1979 Google ScholarDigital Library
- Luckham, D. C. and Suzuki, N., Verification of Array, Record and Pointer Operations in Pascal, ACM Transactions on Programming Languages and Systems, Oct. 1979, pp. 226--244. Google ScholarDigital Library
- Wirth, N., Modula: A Language for Modular Multiprogramming, Software--Practice and Experience, Jan., 1977, pp. 3--35.Google Scholar
Recommendations
Communication between Ada programs in DIADEM
Special edition: International Workshop on Real-Time Ada IssuesIt has been recognized for some time that Ada is not well designed for the purpose of programming networks of loosely-coupled processors, and numerous projects have been set up to find a solution. The DIADEM project had the particular goal of ...
Communication between Ada programs in DIADEM
IRTAW '88: Proceedings of the second international workshop on Real-time Ada issuesIt has been recognized for some time that Ada is not well designed for the purpose of programming networks of loosely-coupled processors, and numerous projects have been set up to find a solution. The DIADEM project had the particular goal of ...
Comments