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

메뉴 건너뛰기

Acta Informatica

Volumn 21, Issue 3, 1984, Pages 251-269

A logic covering undefinedness in program proofs

(3) Barringer, H a Cheng, J H a Jones, C B a

a UNIVERSITY OF MANCHESTER (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0000058143 PISSN: 00015903 EISSN: 14320525 Source Type: Journal
DOI: 10.1007/BF00264250 Document Type: Article

Times cited : (110)

References (33)

1
- 84933402480
- Abrial, J.R.: Formal Programming. Privately circulated, March 1982

2
- 84933442686
- Abrial, J.R.: A Theoretical Foundation to Formal Programming. Privately circulated, May 1982

3
- 0008746265
- John Wiley, New York
- (1976) Programs and Machines
- Bird, R.¹

4
- 0005702980
- Prentice-Hall, New York
- (1982) Formal Specification and Software Development
- Bjorner, D.¹ Jones, C.B.²

5
- 84933445619
- Blamey, S.R.: Partial-Valued Logic. Ph.D. Thesis, Oxford University, 1980

6
- 84933385927
- Blamey, S.R.: Partial Logic. In: Handbook of Philosophical Logic. (To appear)

7
- 0020293079
- Partial Abstract Types
- (1982) Acta Informat. , vol.18 , pp. 47-64
- Broy, M.¹ Wirsing, M.²

8
- 33750478047
- Winthrop Publishers, Cambridge, MA
- (1978) A Programming Logic
- Constable, R.L.¹ O'Donnell, M.J.²

9
- 0038835565
- Springer, Berlin, Heidelberg, New York
- (1982) An Introduction to the PL/CV2 Programming Logic
- Constable, R.L.¹ Johnson, S.D.² Eichenlaub, C.D.³

10
- 0020219531
- Partial functions in Constructive Formal Theories
- Springer, Berlin, Heidelberg, New York
- (1983) Lecture Notes in Computer Science, Vol. 145
- Constable, R.L.¹

11
- 0004253669
- Prentice-Hall, New York
- (1976) A Discipline of Programming
- Dijkstra, E.W.¹

12
- 0042225946
- Edinburgh LCF
- Springer, Berlin, Heidelberg, New York
- (1979) Lecture Notes in Computer Science, Vol. 78
- Gordon, M.J.¹ Milner, R.² Wadsworth, C.P.³

13
- 0003844091
- Springer, Berlin, Heidelberg, New York
- (1981) Science of Programming
- Gries, D.¹

14
- 0009991878
- Cambridge University Press, Cambridge
- (1974) Deviant Logic
- Haack, S.¹

15
- 0004237431
- Cambridge University Press, Cambridge
- (1978) Philosophy of Logics
- Haack, S.¹

16
- 84982585737
- On a Formalization of the Non-definedness Notion
- (1979) Zeitschrift für Mathematische Logik und Grundlagen der Mathematik , vol.25 , pp. 213-221
- Hoogewijs, A.¹

17
- 84933450479
- Jones, C.B.: Formal Development of Correct Algorithms: An Example Based on Earley's Recognizer. SIGPLAN 7, (1972)

18
- 0006450424
- Prentice-Hall, London
- (1980) Software Development: A Rigorous Approach
- Jones, C.B.¹

19
- 84933403194
- Jones, C.B.: Systematic Program Development. Talk given at CWI Amsterdam December 1983. (In press)

20
- 0004210235
- Van Nostrand, Princeton
- (1952) Introduction to Metamathematics
- Kleene, S.C.¹

21
- 0004031734
- John Wiley, New York
- (1967) Mathematical Logic
- Kleene, S.C.¹

22
- 84933457626
- Koletsos, G.: Sequent Calculus and Partial Logic. M.Sc. Thesis, Manchester University, 1976

23
- 49849129936
- On the Formal Description of P1/I
- (1969) Ann. Rev. Automatic Progr. , vol.6 , pp. 105-182
- Lucas, P.¹ Walk, K.²

24
- 0002699574
- A Basis for a Mathematical Theory of Computation
- P., Braffort, D., Hirschberg, North-Holland, Amsterdam
- (1967) Computer Programming and Formal Systems
- McCarthy, J.¹

25
- 0003737001
- McGraw Hill, New York
- (1974) Mathematical Theory of computation
- Manna, Z.¹

26
- 84933449020
- Owe, O.: Program Reasoning Based on a Logic for Partial Functions. Privately circulated, 1982

27
- 84933395787
- Plotkin, G.D.: Types and Partial Functions. Seminar, University of Manchester, 1984

28
- 0003427959
- Almgrist and Wiksell, Stockholm
- (1965) Natural Deduction
- Prawitz, D.¹

29
- 0004215147
- McGraw Hill, New York
- (1969) Many-valued Logic
- Rescher, N.¹

30
- 84972505526
- Combinators and Classes
- C., Böhm, Springer, Berlin, Heidelberg, New York
- (1975) Lecture Notes in Computer Science, Vol. 37
- Scott, D.S.¹

31
- 0001661753
- Identity and Existence in Intuitionistic Logic
- Springer, Berlin, Heidelberg, New York
- (1979) Lecture Notes in Mathematics, Vol.735
- Scott, D.S.¹

32
- 9444272010
- The Calculus of Partial Predicates and Its Extension to Set Theory I
- (1961) Zeitschrift für Mathematische Logik und Grundlagen der Mathematik , vol.7 , pp. 283-288
- Wang, H.¹

33
- 84933385104
- Woodruff, P.: Logic and Truth-Value Gaps in Philosophical Problems in Logic. Lambert, K. (ed.). Reidel, 1970

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