SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Acta Informatica

Volumn 11, Issue 3, 1979, Pages 211-221

The correctness of the Schorr-Waite list marking algorithm

(1) Topor, R W a

a MONASH UNIVERSITY (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING;

EID: 0018297445 PISSN: 00015903 EISSN: 14320525 Source Type: Journal
DOI: 10.1007/BF00289067 Document Type: Article

Times cited : (11)

References (15)

1
- 0002746035
- Proving properties of programs by structural induction
- (1969) Comput. J. , vol.12 , pp. 41-48
- Burstall, R.M.¹

2
- 0002738295
- Some techniques for proving correctness of programs which alter data structures
- B., Meltzer, D., Michie, University Press, Edinburgh
- (1972) Machine intelligence, Vol. 7 , pp. 23-50
- Burstall, R.M.¹

3
- 0011881992
- Program proving as hand simulation with a little induction
- North-Holland, Amsterdam
- (1974) Proc. IFIP Congress 1974 , pp. 308-312
- Burstall, R.M.¹

4
- 0002780749
- Assigning meanings to programs
- J.T., Schwartz, AMS, Providence, R.I.
- (1967) Proc. Symposium in Applied Mathematics 19 , pp. 19-32
- Floyd, R.W.¹

5
- 0015482118
- Proof of correctness of data representations
- (1972) Acta Informat. , vol.1 , pp. 271-281
- Hoare, C.A.R.¹

6
- 0003657590
- Addison-Wesley, Reading, Mass.
- (1968) The art of computer programming, Vol. 1. Fundamental algorithms
- Knuth, D.W.¹

7
- 84909735483
- Correctness of programs manipulating data structures
- University of California, Berkeley
- (1973) Ph.D. thesis
- Kowaltowski, T.¹

8
- 0017934829
- Is “sometime” sometimes better than “always”? Intermittent assertions in proving program correctness
- (1978) Comm. ACM , vol.21 , pp. 159-172
- Manna, Z.¹ Waldinger, R.²

9
- 84933254860
- Milner, R.: An algebraic definition of simulation between programs. Report No. CS-205, Computer Science Department, Stanford University, 1971

10
- 33749829964
- Technical Report, 7, Department of Computer Science, University of California, Berkeley
- (1972) Verification-oriented language design
- Morris, J.H.¹

11
- 84933254861
- Poupon, J., Wegbreit, B.: Covering functions. Unpublished report, Centre for Research in Computing Technology, Harvard University, 1972

12
- 0001361340
- An efficient machine-independent procedure for garbage collection in various list structures
- (1967) Communications of the ACM , vol.10 , pp. 501-506
- Schorr, H.¹ Waite, W.M.²

13
- 84933254862
- Scott, D.: Outline of a mathematical theory of computation. Proc. 4th Annual Princeton Conference on Information Sciences and Systems, pp. 169–176, 1970

14
- 84933254883
- Suzuki: Automatic verification of programs with complex data structures. Ph.D. thesis, Stanford University, 1976

15
- 0018297066
- The Schorr-Waite graph marking algorithm
- (1979) Acta Informat. , vol.11 , pp. 223-232
- Gries, D.¹

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