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

메뉴 건너뛰기

Acta Informatica

Volumn 25, Issue 6, 1988, Pages 593-624

A calculus of refinements for program derivations

(1) Back, R J R a

a ÅBO AKADEMI UNIVERSITY (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY--THEORY;

CALCULUS OF REFINEMENTS; PROGRAM CORRECTNESS; PROGRAM DERIVATIONS;

COMPUTER PROGRAMMING;

EID: 0024129970 PISSN: 00015903 EISSN: 14320525 Source Type: Journal
DOI: 10.1007/BF00291051 Document Type: Article

Times cited : (168)

References (34)

1
- 0022790136
- Countable nondeterminism and random assignment
- (1986) J. ACM , vol.33 , Issue.4 , pp. 724-767
- Apt, K.R.¹ Plotkin, G.D.²

2
- 84934921448
- Back, R.J.R.: On the correctness of refinement steps in program development (Ph.D. thesis). Report A-1978-4, Dept. of Computer Science, University of Helsinki, 1978

3
- 0003231413
- Correctness preserving program refinements: proof theory and applications
- Mathematical Centre, Amsterdam
- (1980) Mathematical Center Tracts 131
- Back, R.J.R.¹

4
- 0040133926
- Proving total correctness of nondeterministic programs in infinitary logic
- (1981) Acta Informatica , vol.15 , pp. 233-250
- Back, R.J.R.¹

5
- 0019598045
- On correct refinement of programs
- (1981) J. Comput. Syst. Sci. , vol.23 , Issue.1 , pp. 49-68
- Back, R.J.R.¹

6
- 84935037809
- Back, R.J.R., Mannila, H., Raiha, K.J.: Derivation of efficient dag marking algorithms. ACM Conference on Principles of Programming Languages, Austin, Texas 1983

7
- 84934972204
- Back, R.J.R.: Procedural abstraction in the refinement calculus. Reports on Computer Science and Mathematics no. 55, 1987, Abo Akademi

8
- 84934967548
- Back, R.J.R.: Derivation of a dag marking algorithm in the refinement calculus (in preparation)

9
- 0041498696
- Prentice-Hall, Englewood Cliffs
- (1980) Mathematical theory of program correctness
- deBakker, J.¹

10
- 0008862919
- Systematics of transformation rules
- F.L., Bauer, M., Broy, Lect. Notes Comput. Sci., Vol. 69, Springer, Berlin Heidelberg New York
- (1979) Program construction
- Bauer, F.L.¹ Broy, M.² Partsch, H.³ Pepper, P.⁴ Wossner, H.⁵

11
- 84921200506
- Wiley, New York
- (1986) Algorithms; the construction, proof and analysis of programs
- Berlioux, P.¹ Bizard, P.²

12
- 84976692006
- A weaker precondition for loops
- (1982) ACM Transactions on Programming Languages and Systems , vol.4 , Issue.4 , pp. 668-677
- Boom, H.J.¹

13
- 84933320873
- On relations between programs
- B., Robinet, Lect. Notes. Comput. Sci., Vol. 83, Springer, New York
- (1980) International Symposium on Programming , pp. 59-78
- Broy, M.¹ Pepper, P.² Wirsing, M.³

14
- 0017419683
- Some transformations for developing recursive programs
- (1977) Journal of the ACM , vol.24 , Issue.1 , pp. 44-67
- Burstall, R.M.¹ Darlington, J.²

15
- 0009811887
- Notes on structured programming
- O.J., Dahl, E.W., Dijkstra, C.A.R., Hoare, Academic Press, New York London
- (1971) Structured programming
- Dijkstra, E.W.¹

16
- 0004253669
- Prentice Hall, Englewood Cliffs
- (1976) A discipline of programming
- Dijkstra, E.W.¹

17
- 0022696899
- A simple fixpoint argument without the restriction to continuity
- (1986) Acta Informatica , vol.23 , pp. 1-7
- Dijkstra, E.W.¹ Gasteren, A.J.M.²

18
- 0003844091
- Springer, Berlin Heidelberg New York
- (1981) The science of programming
- Gries, D.¹

19
- 0018306280
- Do considered od: a contribution to the programming calculus
- (1979) Acta Informatica , vol.11 , pp. 287-304
- Hehner, E.¹

20
- 0038386399
- Prentice-Hall, Englewood Cliffs
- (1984) The logic of programming
- Hehner, E.¹

21
- 0021374335
- Predicative programming, part I
- (1984) CACM , vol.27 , Issue.2 , pp. 134-143
- Hehner, E.¹

22
- 84945708698
- An axiomatic basis for computer programming
- (1969) Communications of the ACM , vol.12 , Issue.10 , pp. 576-580
- Hoare, C.A.R.¹

23
- 0014973676
- Proof of a program: Find
- (1971) Communications of the ACM , vol.14 , pp. 39-45
- Hoare, C.A.R.¹

24
- 0022188871
- Programs are predicates
- C.A.R., Hoare, J.C., Shepherdson, Prentice-Hall, Englewood Cliffs
- (1985) Mathematical logic and programming languages , pp. 141-155
- Hoare, C.A.R.¹

25
- 84934947041
- Morgan, C.: The specification statement. Manuscript 1986

26
- 0023558869
- A theoretical basis for stepwise refinement and the programming calculus
- (1987) Sci. Comput. Programming , vol.9 , pp. 287-306
- Morris, J.¹

27
- 0022043523
- General correctness. A unification of partial and total correctness
- (1985) Acta Informatica , vol.22 , Issue.1 , pp. 67-84
- Jacobs, D.¹ Gries, D.²

28
- 0020810134
- Program transformation systems
- (1983) ACM Comput. Surv. , vol.15 , pp. 199-236
- Partsch, H.¹ Steinbrugge, R.²

29
- 0000110250
- A powerdomain construction
- (1976) SIAM Journal on Computing , vol.5 , Issue.3 , pp. 452-487
- Plotkin, G.D.¹

30
- 84934939779
- Plotkin, G.D.: Structural approach to operational semantics. Tech. report DAIMI FN-19, Comp. Science Department, Aarhus University, 1981

31
- 0004160902
- Prentice-Hall, Englewood Cliffs
- (1981) The craft of programming
- Reynolds, J.C.¹

32
- 84934908363
- Scott, D.: Logic with denumerably long formulas and finite strings of quantifiers. In: Addison, J., Henkin, L., Tarski, A. (eds.) Symposium on the Theory of Models. North-Holland 1965, 329–341

33
- 0002276433
- Power domains
- (1978) J. Comput. Syst. Sci. , vol.16 , pp. 23-36
- Smyth, M.B.¹

34
- 84976773567
- Program development by stepwise refinement
- (1971) Communications of the ACM , vol.14 , pp. 221-227
- Wirth, N.¹

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