-
1
-
-
0347162061
-
-
ACM SIGAda, Grebyn Corp., Vienna, Va.
-
ACM SIGADA. 1989. The Approved Ada Language Commentaries. ACM SIGAda, Grebyn Corp., Vienna, Va.
-
(1989)
The Approved Ada Language Commentaries
-
-
-
3
-
-
0347792196
-
-
Also published Spring
-
ACM SIGADA. 1990. Proceedings of the 3rd International Workshop on Real-Time Ada Issues. ACM SIGAda, New York. Also published as Ada Lett. 10, 4 (Spring 1990).
-
(1990)
Ada Lett.
, vol.10
, Issue.4
-
-
-
4
-
-
0347162062
-
-
Software Engineering Inst., Carnegie Mellon Univ., Ada 9X Office, Pittsburgh, Pa.
-
ADA 9X PROJECT OFFICE. 1990. Ada 9X Requirements. Software Engineering Inst., Carnegie Mellon Univ., Ada 9X Office, Pittsburgh, Pa.
-
(1990)
Ada 9X Requirements
-
-
-
5
-
-
84976742643
-
A proof system for communicating sequential processes
-
APT, K. R., FRANCEZ, N., AND DE ROEVER, W. P. 1980. A proof system for communicating sequential processes. ACM Trans. Program. Lang. Syst. 2, 3 (July), 359-385.
-
(1980)
ACM Trans. Program. Lang. Syst.
, vol.2
, Issue.3 JULY
, pp. 359-385
-
-
Apt, K.R.1
Francez, N.2
De Roever, W.P.3
-
6
-
-
0022024748
-
Ada tasking: From semantics to efficient implementation
-
BAKER, T. AND RICCARDI, G. A. 1985. Ada tasking: From semantics to efficient implementation. IEEE Softw. 2, 2, 34-46.
-
(1985)
IEEE Softw.
, vol.2
, Issue.2
, pp. 34-46
-
-
Baker, T.1
Riccardi, G.A.2
-
7
-
-
0041678150
-
Introducing Ada 9X
-
BARNES, J. P. 1993. Introducing Ada 9X. Ada Lett. 13, 6 (Nov./Dec.), 61-132.
-
(1993)
Ada Lett.
, vol.13
, Issue.6 NOV.-DEC
, pp. 61-132
-
-
Barnes, J.P.1
-
9
-
-
0346531735
-
A semantic model of Ada tasking
-
BELKHOUCHE, B. AND LAWRENCE, L. M. 1990. A semantic model of Ada tasking. J. Pascal, Ada Modula-2, 9, 2 (Mar./Apr.), 29-41.
-
(1990)
J. Pascal, Ada Modula-2
, vol.9
, Issue.2 MAR.-APR
, pp. 29-41
-
-
Belkhouche, B.1
Lawrence, L.M.2
-
10
-
-
0346531734
-
-
Univ. of California, Los Angeles, Calif. Unpublished lecture notes
-
BERRY, D. M. 1975a. Notes on PL/1. Univ. of California, Los Angeles, Calif. Unpublished lecture notes.
-
(1975)
Notes on PL/1
-
-
Berry, D.M.1
-
11
-
-
0347792194
-
-
Univ. of California, Los Angeles, Calif. Unpublished lecture notes
-
BERRY, D. M. 1975b. Notes on the contour model. Univ. of California, Los Angeles, Calif. Unpublished lecture notes.
-
(1975)
Notes on the Contour Model
-
-
Berry, D.M.1
-
12
-
-
0347792193
-
Treatment of Ada procedures: Aliasing, anomalies, and erroneousness
-
Unisys Corp., Santa Monica, Calif. Feb.
-
BERRY, D. M. 1988. Treatment of Ada procedures: Aliasing, anomalies, and erroneousness. Tech. Rep., Unisys Corp., Santa Monica, Calif. Feb.
-
(1988)
Tech. Rep.
-
-
Berry, D.M.1
-
13
-
-
0024627108
-
A debugger for Ada tasking
-
BRINDLE, A. E., TAYLOR, R. N., AND MARTIN, D. F. 1989. A debugger for Ada tasking. IEEE Trans. Softw. Eng. 15, 3 (Mar.), 293-304.
-
(1989)
IEEE Trans. Softw. Eng.
, vol.15
, Issue.3 MAR
, pp. 293-304
-
-
Brindle, A.E.1
Taylor, R.N.2
Martin, D.F.3
-
14
-
-
0027685419
-
A visual execution model for Ada tasking
-
DILLON, L. K. 1993. A visual execution model for Ada tasking. ACM Trans. Softw. Eng. Meth. 2, 4 (Oct.), 311-345.
-
(1993)
ACM Trans. Softw. Eng. Meth.
, vol.2
, Issue.4 OCT
, pp. 311-345
-
-
Dillon, L.K.1
-
15
-
-
0024628176
-
Validating a demonstration tool for graphics-assisted debugging of Ada concurrent programs
-
FELDMAN, M. B. AND MORAN, M. L. 1989. Validating a demonstration tool for graphics-assisted debugging of Ada concurrent programs. IEEE Trans. Softw. Eng. 15, 3 (Mar.), 305-313.
-
(1989)
IEEE Trans. Softw. Eng.
, vol.15
, Issue.3 MAR
, pp. 305-313
-
-
Feldman, M.B.1
Moran, M.L.2
-
18
-
-
0021477288
-
A proof system for concurrent Ada programs
-
Elsevier Science Publishers B.V. (North-Holland), Amsterdam
-
GERTH, R. T. AND DE ROEVER, W. P. 1984. A proof system for concurrent Ada programs. In Science of Computer Programming, Vol. 4. Elsevier Science Publishers B.V. (North-Holland), Amsterdam, 159-204.
-
(1984)
Science of Computer Programming
, vol.4
, pp. 159-204
-
-
Gerth, R.T.1
De Roever, W.P.2
-
19
-
-
0347162056
-
Real-time tasking semantics working group: Recovering storage for terminated tasks
-
ACM SIGAda, New York
-
GOODENOUGH, J. 1990. Real-time tasking semantics working group: Recovering storage for terminated tasks. In Proceedings of the 3rd International Workshop on Real-Time Ada Issues. ACM SIGAda, New York, 46.
-
(1990)
Proceedings of the 3rd International Workshop on Real-Time Ada Issues
, pp. 46
-
-
Goodenough, J.1
-
20
-
-
84976682041
-
Rationale for the design of the Ada programming language
-
ICHBIAH, J. 1979. Rationale for the design of the Ada programming language. ACM SIGPLAN Not. 14, 6.
-
(1979)
ACM SIGPLAN Not.
, vol.14
, pp. 6
-
-
Ichbiah, J.1
-
21
-
-
0003685762
-
-
Cambridge University Press, Cambridge, Mass.
-
ICHBIAH, J., BARNES, J., FIRTH, R., AND WOODGER, M. 1991. Rationale for the Design of the Ada Programming Language. Cambridge University Press, Cambridge, Mass.
-
(1991)
Rationale for the Design of the Ada Programming Language
-
-
Ichbiah, J.1
Barnes, J.2
Firth, R.3
Woodger, M.4
-
23
-
-
0345900769
-
-
Intermetrics, Inc., Cambridge, Mass.
-
INTERMETRICS. 1995. Ada 95 Rationale. Intermetrics, Inc., Cambridge, Mass.
-
(1995)
Ada 95 Rationale
-
-
-
24
-
-
84976810715
-
The contour model of block structured processes
-
Proceedings of the ACM Symposium on Data Structures in Programming Languages.
-
JOHNSTON, J. B. 1971. The contour model of block structured processes. In Proceedings of the ACM Symposium on Data Structures in Programming Languages. ACM SIGPLAN Not. (Feb.), 35-82.
-
(1971)
ACM SIGPLAN Not.
, Issue.FEB
, pp. 35-82
-
-
Johnston, J.B.1
-
25
-
-
0347162058
-
A controlled experiment with software for teaching Ada tasking
-
ACM SIGAda, New York
-
LOPES, A. V., FELDMAN, M. B., AND HELLER, R. S. 1993. A controlled experiment with software for teaching Ada tasking. In Proceedings of Tri-Ada 93. ACM SIGAda, New York.
-
(1993)
Proceedings of Tri-Ada 93
-
-
Lopes, A.V.1
Feldman, M.B.2
Heller, R.S.3
-
26
-
-
0347792192
-
-
Academic Press, New York
-
ORGANICK, E. I., FORSYTHE, A. I., AND PLUMMER, R. P. 1978. Programming Language Structures. 2nd ed. Academic Press, New York.
-
(1978)
Programming Language Structures. 2nd Ed.
-
-
Organick, E.I.1
Forsythe, A.I.2
Plummer, R.P.3
-
27
-
-
0017173886
-
An axiomatic proof technique for parallel programs
-
OWICKI, S. AND GRIES, D. 1976. An axiomatic proof technique for parallel programs. Acta Informatica 6, 4, 319-340.
-
(1976)
Acta Informatica
, vol.6
, Issue.4
, pp. 319-340
-
-
Owicki, S.1
Gries, D.2
-
30
-
-
0003685762
-
-
ANSI/MIL-STD-1815A. United States Dept. of Defense, Washington, D.C.
-
UNITED STATES DEPARTMENT OF DEFENSE. 1983. Reference Manual for the Ada Programming Language. ANSI/MIL-STD-1815A. United States Dept. of Defense, Washington, D.C.
-
(1983)
Reference Manual for the Ada Programming Language
-
-
|