SCOPUS 정보 검색 플랫폼

Volumn , Issue , 2002, Pages 113-122

Semantics and logic of object calculi

Author keywords

[No Author keywords available]

Indexed keywords

OBJECT CALCULI;

FORMAL LOGIC; OBJECT ORIENTED PROGRAMMING; RECURSIVE FUNCTIONS; SEMANTICS;

LOGIC PROGRAMMING;

EID: 0036049472 PISSN: 10436871 EISSN: None Source Type: Journal
DOI: 10.1109/LICS.2002.1029821 Document Type: Article

Times cited : (11)

References (16)

2
- 84957031289
- A logic of object-oriented programs
- M. Bidoit and M. Dauchet, editors, Theory and Practice of Software Development: Proceedings /TAPSOFT'97, 7th International Joint Conference CAAP/FASE, Springer-Verlag
- (1997) Lecture Notes in Computer Science , vol.1214 , pp. 682-696
- Abadi, M.¹ Leino, K.²

4
- 0005462235
- Talk given in March 2001
- (2001) A logic for objects
- Calcagno, C.¹ O'Hearn, P.W.²

5
- 23044528530
- On garbage and program logic
- FoSSaCS, Berlin, Springer
- (2001) LNCS , vol.2030 , pp. 137-151
- Calcagno, C.¹ O'Hearn, P.W.²

7
- 0026186463
- Modular specification and verification of object-oriented programs
- (1991) IEEE Software , vol.8 , Issue.4 , pp. 72-80
- Leavens, G.¹

8
- 0005411518
- Recursive object types in a logic of object-oriented programs
- (1998) Nordic Journal of Computing , vol.5 , Issue.4 , pp. 330-360
- Leino, K.R.M.¹

9
- 84944269268
- Local reasoning about programs that alter data structures
- CSL, Berlin, Springer
- (2001) LNCS , vol.2142 , pp. 1-19
- O'Hearn, P.W.¹ Reynolds, J.C.² Yang, H.³

10
- 0002796916
- Relational properties of domains
- A preliminary version of this work appeared as Cambridge Univ. Computer Laboratory Tech. Rept. No. 321, December
- (1996) Information and Computation , vol.127 , pp. 66-90
- Pitts, A.M.¹

11
- 0005411519
- Logical foundations for typed object-oriented languages
- D. Gries and W. De Roever, editors
- (1998) Programming Concepts and Methods
- Poetzsch-Heffter, A.¹ Müller, P.²

12
- 0003262677
- Objects and classes in Algol-like languages
- (1998) FOOL , vol.5
- Reddy, U.¹

13
- 0005411677
- A logic of recursive objects
- 5/1999 of Informatik Berichte, FernUniversität Hagen
- (1999) Formal Techniques for Java Programs , vol.251 , pp. 58-64
- Reus, B.¹

14
- 0005456287
- A logic of recursive objects (abstract)
- S. D. A. Moreira, editor, Object-oriented Technology, ECOOP '99 Workshop Reader, Berlin, Springer
- (1999) Lecture Notes in Computer Science , vol.1743 , pp. 107
- Reus, B.¹

15
- 85013338425
- Class based vs. object based: A denotational comparison
- (2002) Algebraic Methodology and Software Technology
- Reus, B.¹

16
- 84944231685
- A Hoare-calculus for verifying Java realizations of OCL-constrained design models
- FASE 2001, Berlin, Springer
- (2001) Lecture Notes in Computer Science , vol.2029 , pp. 300-317
- Reus, B.¹ Wirsing, M.² Hennicker, R.³

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