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

메뉴 건너뛰기

Theoretical Computer Science

Volumn 278, Issue 1-2, 2002, Pages 271-301

Soundness of data refinement for a higher-order imperative language

(1) Naumann, David A a

a Stevens Institute of Technology (United States)

Author keywords

Data refinement; Formal semantics; Predicate transformers; Program correctness; Programming Calculi

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING; COMPUTER SIMULATION; DATA STRUCTURES; MATHEMATICAL MODELS; SEMANTICS; SET THEORY;

DATA REFINEMENT;

HIGH LEVEL LANGUAGES;

EID: 0037029887 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/S0304-3975(00)00339-X Document Type: Conference Paper

Times cited : (11)

References (32)

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

2
- 0004052851
- Springer, Berlin
- (1998) Refinement Calculus: A Systematic Introduction, Graduate Texts in Computer Science
- Back, R.-J.¹ Von Wright, J.²

3
- 84949511863
- A weakest precondition semantics for an object-oriented language of refinement
- FM'99-Formal Methods, vol. II, Springer, Berlin
- (1999) Lecture Notes in Computer Science , vol.1709
- Cavalcanti, A.L.C.¹ Naumann, D.A.²

4
- 24644485295
- Towards a calculus of data refinement
- Proceedings, Mathematics of Program Construction, Springer, Berlin
- (1989) Lecture Notes in Computer Science , vol.375 , pp. 197-218
- Chen, W.¹ Udding, J.T.²

5
- 84857169163
- Dissertation, University of Edinburgh
- (1998) A theory of program refinement
- Denney, E.¹

6
- 0003570823
- Cambridge University Press, Cambridge
- (1998) Data Refinement: Model-Oriented Proof Methods and their Comparison
- De Roever, W.-P.¹ Engelhardt, K.²

7
- 0026219901
- Data refinement of predicate transformers
- (1991) Theoret. Comput. Sci. , vol.87 , pp. 143-162
- Gardiner, P.¹ Morgan, C.²

8
- 0028417271
- An algebraic construction of predicate transformers
- (1994) Sci. Comput. Programming , vol.22 , pp. 21-44
- Gardiner, P.H.B.¹ Martin, C.E.² De Moor, O.³

9
- 0000712763
- A single complete rule for data refinement
- (1993) Formal Aspects Comput. , vol.5 , Issue.4 , pp. 367-382
- Gardiner, P.H.B.¹ Morgan, C.²

10
- 85034864446
- Data refinement refined (resumé)
- European Symp. on Programming, Springer, Berlin
- (1986) Lecture Notes in Computer Science , vol.213
- He, J.¹ Hoare, C.A.R.² Sanders, J.W.³

11
- 0003702490
- Prentice-Hall, Englewood Cliffs, NJ
- (1998) Unifying Theories of Programming
- Hoare, C.A.R.¹ He, J.²

12
- 0008881911
- Constructive data refinement in typed lambda calculus
- FOSSACS 2000, Springer, Berlin
- (2000) Lecture Notes in Computer Science , vol.1784 , pp. 149-164
- Honsell, F.¹ Longley, J.² Sannella, D.³ Tarlecki, A.⁴

13
- 4243409792
- Tech. Report 94-23, University of Edinburgh Department of Computer Science
- (1994) Enriched categories and data refinement
- Kinoshita, Y.¹ Power, J.²

14
- 33846545518
- Towards fully abstract semantics for local variables: Preliminary report
- (1988) Proc. 15th POPL , pp. 191-203
- Meyer, A.R.¹ Sieber, K.²

15
- 0002165219
- Type systems for programming languages
- J. Van Leeuwen (Ed.), MIT Press Cambridge, MA/Elsevier, Amsterdam
- (1990) Handbook of Theoretical Computer Science , pp. 365-458
- Mitchell, J.C.¹

16
- 0003648103
- Prentice-Hall, Englewood Cliffs, NJ
- (1994) Programming from Specifications, 2nd ed.
- Morgan, C.¹

17
- 0025433934
- Data refinement by calculation
- (1990) Acta Inform. , vol.27 , pp. 481-503
- Morgan, C.¹ Gardiner, P.H.B.²

18
- 0008901837
- Dissertation, University of Texas at Austin
- (1992) Two-categories and program structure: Data types, refinement calculi, and predicate transformers
- Naumann, D.A.¹

19
- 0000745709
- Data refinement, call by value, and higher order programs
- (1995) Formal Aspects Comput. , vol.7 , pp. 652-662
- Naumann, D.A.¹

20
- 0029391669
- Predicate transformers and higher order programs
- (1995) Theoret. Comput. Sci. , vol.150 , pp. 111-159
- Naumann, D.A.¹

21
- 84957588525
- Beyond fun: Order and membership in polytypic imperative programming
- J. Jeuring (Ed.), Mathematics of Program Construction, Springer, Berlin
- (1998) Lecture Notes in Computer Science , vol.1422 , pp. 286-314
- Naumann, D.A.¹

22
- 0001104346
- A categorical model for higher order imperative programming
- (1998) Math. Struct. Comput. Sci. , vol.8 , Issue.4 , pp. 351-399
- Naumann, D.A.¹

23
- 0000075401
- Towards squiggly refinement algebra
- D. Gries, W.-P. de Roever (Eds.), Chapman & Hall, London
- (1998) Programming Concepts and Methods , pp. 346-365
- Naumann, D.A.¹

24
- 4243601773
- Tech. Report 9905, Computer Science, Stevens Institute of Technology
- (1999) Validity of data refinement for a higher order imperative language
- Naumann, D.A.¹

25
- 0035452474
- Predicate transformer semantics of a higher order imperative language with record subtyping
- (2001) Sci. Comput. Programming , vol.41 , pp. 1-51
- Naumann, D.A.¹

26
- 84976718744
- Parametricity and local variables
- (1995) J. ACM , vol.42 , Issue.3 , pp. 658-709
- O'Hearn, P.W.¹ Tennent, R.D.²

27
- 0029699816
- Reasoning about local variables with operationally-based logical relations
- (1996) Proc. 9th Annual IEEE Symp. on Logic in Computer Science
- Pitts, A.M.¹

28
- 85037135203
- Dijkstra's predicate transformers and Smyth's powerdomains
- D. Bjørner (Ed.), Abstract Software Specifications, Springer, Berlin
- (1979) Lecture Notes in Computer Science , vol.86 , pp. 527-553
- Plotkin, G.D.¹

29
- 0001744565
- Topology
- S. Abramsky, D.M. Gabbay, T.S.E. Maibaum (Eds.), Oxford, University Press
- (1992) Handbook of Logic in Computer Science , vol.1 , pp. 641-761
- Smyth, M.B.¹

30
- 0003255436
- Correctness of data representations in Algol-like languages
- A.W. Roscoe (Ed.), Prentice-Hall, Englewood Cliffs, NJ
- (1994) A Classical Mind: Essays Dedicated to C.A.R. Hoare
- Tennant, R.D.¹

31
- 0024048067
- The programming language Oberon
- (1988) Software - Practice Experience , vol.18 , Issue.7 , pp. 671-690
- Wirth, N.¹

32
- 23044518170
- On the semantics of refinement calculi
- FOSSACS 2000, Springer, Berlin
- (2000) Lecture Notes in Computer Science , vol.1784 , pp. 359-374
- Yang, H.¹ Reddy, U.S.²

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