SCOPUS 정보 검색 플랫폼

Volumn 1893, Issue , 2000, Pages 619-628

Verifying single and multi-mutator garbage collectors with owicki-gries in Isabelle/HOL

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

CORRECTNESS PROOFS; GARBAGE COLLECTORS; INCREMENTAL GARBAGE COLLECTION; ISABELLE; ISABELLE/HOL; PROGRAM CODE; THEOREM PROVERS;

THEOREM PROVING;

EID: 84959211211 PISSN: 03029743 EISSN: 16113349 Source Type: Book Series
DOI: 10.1007/3-540-44612-5_57 Document Type: Conference Paper

Times cited : (14)

References (14)

1
- 84959184102
- Isabelle home page
- Isabelle home page. www.cl.cam.ac.uk/Research/HVG/isabelle.html.

2
- 84976781789
- Algorithms for on-the-fly garbage collection
- M. Ben-Ari. Algorithms for on-the-fly garbage collection. ACM Toplas, 6:333-344, 1984.
- (1984) ACM Toplas , vol.6 , pp. 333-344
- Ben-Ari, M.¹

3
- 0004028169
- Prentice-Hall
- G. Brans. Distributed Systems Analysis with CCS Prentice-Hall, 1997.
- (1997) Distributed Systems Analysis with CCS
- Brans, G.¹

4
- 84957067996
- Experience with predicate abstraction
- S. Das, D. L. Dill and S. Park. Experience with predicate abstraction. In CAV '99, LNCS 1633, 160-171, 1999.
- (1999) CAV '99, LNCS 1633 , pp. 160-171
- Das, S.¹ Dill, D.L.² Park, S.³

5
- 0018030792
- On-the-fly garbage collection: An exercise in cooperation
- E. W. Dijkstra, L. Lamport, A. J. Martin, C. S. Scholten and E. F. M. Steffens. On-the-fly garbage collection: An exercise in cooperation. Communications of the ACM, 21(11):966-975, 1978.
- (1978) Communications of the ACM , vol.21 , Issue.11 , pp. 966-975
- Dijkstra, E.W.¹ Lamport, L.² Martin, A.J.³ Scholten, C.S.⁴ Steffens, E.F.⁵

6
- 34548825534
- Mechanical verification of a garbage collector
- K. Havelund. Mechanical verification of a garbage collector. FMPPTA'99. Available at http://ic-www.arc.nasa.gov/ic/projects/amphion/people/havelund/.
- FMPPTA'99
- Havelund, K.¹

7
- 0003942257
- A mechanized refinement proof for a garbage collector
- K. Havelund and N. Shankar. A mechanized refinement proof for a garbage collector. Formal Aspects of Computing, 3:1-28, 1997.
- (1997) Formal Aspects of Computing , vol.3 , pp. 1-28
- Havelund, K.¹ Shankar, N.²

8
- 34249921298
- On-the-fly garbage collection for several mutators
- J. E. Jonker. On-the-fly garbage collection for several mutators. Distributed Computing, 5:187-199, 1992.
- (1992) Distributed Computing , vol.5 , pp. 187-199
- Jonker, J.E.¹

9
- 84959212621
- The Tutorial, Unpublished Manuscript
- T. Nipkow. Isabelle/HOL. The Tutorial, 1998. Unpublished Manuscript. Available at www.in.tum.de/~nipkow/pubs/HOL.html.
- (1998) Isabelle/Hol
- Nipkow, T.¹

11
- 0017173886
- An axiomatic proof technique for parallel programs
- S. Owicki and D. Gries. An axiomatic proof technique for parallel programs. Acta Informatica, 6:319-340, 1976.
- (1976) Acta Informatica , vol.6 , pp. 319-340
- Owicki, S.¹ Gries, D.²

13
- 33746250640
- A mechanically verified garbage collector
- D. M. Russinoff. A mechanically verified garbage collector. Formal Aspects of Computing, 6:359-390, 1994.
- (1994) Formal Aspects of Computing , vol.6 , pp. 359-390
- Russinoff, D.M.¹

14
- 0023642132
- "Algorithms for on-the-fly garbage collection" revisited
- J. L. A. van de Snepscheut. "Algorithms for on-the-fly garbage collection" revisited. Information Processing Letters, 24:211-216, 1987.
- (1987) Information Processing Letters , vol.24 , pp. 211-216
- Van De Snepscheut, J.¹

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