메뉴 건너뛰기




Volumn 6, Issue 1, 1997, Pages 80-110

Task Dependence and Termination in Ada

Author keywords

Ada tasking; Distributed termination; Master dependent relation; Task termination; Tasking execution model

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER NETWORKS; DISTRIBUTED COMPUTER SYSTEMS; MATHEMATICAL MODELS; PARALLEL PROCESSING SYSTEMS; STORAGE ALLOCATION (COMPUTER);

EID: 0030822426     PISSN: 1049331X     EISSN: None     Source Type: Journal    
DOI: 10.1145/237432.237459     Document Type: Article
Times cited : (2)

References (30)
  • 3
    • 0347792196 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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
  • 14
    • 0027685419 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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
  • 20
    • 84976682041 scopus 로고
    • 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
  • 23
    • 0345900769 scopus 로고
    • Intermetrics, Inc., Cambridge, Mass.
    • INTERMETRICS. 1995. Ada 95 Rationale. Intermetrics, Inc., Cambridge, Mass.
    • (1995) Ada 95 Rationale
  • 24
    • 84976810715 scopus 로고
    • 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 scopus 로고
    • 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
  • 27
    • 0017173886 scopus 로고
    • 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 scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.