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

메뉴 건너뛰기

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 2001, Pages 105-114

A fully abstract game semantics of local exceptions

a UNIVERSITY OF SUSSEX (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGOL (PROGRAMMING LANGUAGE); COMPUTATIONAL COMPLEXITY; COMPUTATIONAL LINGUISTICS; LOGIC PROGRAMMING;

ABSTRACT GAME SEMANTICS; HYLAND-ONG GAMES;

FORMAL LOGIC;

EID: 0034865457 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper

Times cited : (30)

References (18)

1
- 0000954750
- Linearity, sharing and state: A fully abstract game semantics for idealized algol with active expressions
- In P. O'Hearn and R. Tennent, editors; Birkhauser
- (1997) Algol-Like Languages
- Abramsky, S.¹ McCusker, G.²

2
- 84957645042
- Call-by-value games
- In M. Neilsen and W. Thomas, editors; Springer-Verlag
- (1998) Computer Science Logic: 11th Annual Workshop Proceedings, LNCS , pp. 1-17
- Abramsky, S.¹ McCusker, G.²

3
- 84937699627
- Full abstraction for idealized algol with passive expressions
- To appear in Theoretical Computer Science
- (1998)
- Abramsky, S.¹ McCusker, G.²

4
- 0004140389
- Game semantics
- In H. Schwichtenburg and U. Berger, editors
- Logic and Computation: Proceedings of the 1997 Marktoberdorf Summer School. Springer-Verlag, 1998
- Abramsky, S.¹ McCusker, G.²

5
- 84954409394
- A fully abstract games semantics for general references
- Proceedings of the 13th Annual Symposium on Logic in Computer Science, LICS '98, 1998
- Abramsky, S.¹ Honda, K.² McCusker, G.³

6
- 0002996223
- Games and full completeness for multiplicative linear logic
- (1994) Journal of Symbolic Logic , vol.59 , pp. 543-574
- Abramsky, S.¹ Jagadeesan, R.²

7
- 0029191543
- A generalization of exceptions and control in ML like languages
- (1995) Proceedings of the ACM Conference on Functional Programming and Computer Architecture , pp. 12-23
- Gunter, C.¹ Remy, D.² Riecke, J.³

8
- 0032597491
- A fully abstract games semantics for finite non-determinism
- IEEE press
- (1998) Proceedings of the Fourteenth Annual Symposium on Logic in Computer Science, LICS '99
- Harmer, R.¹ McCusker, G.²

9
- 0348004817
- On full abstraction for PCF: I, II and III, 1995
- To appear in Theoretical Computer Science
- Hyland, J.M.E.¹ Ong, C.-H.L.²

10
- 0030708467
- Full abstraction for functional languages with control
- Proceedings of the Twelfth International Symposium on Logic in Computer Science, LICS '97, 1997
- Laird, J.¹

11
- 0004043040
- PhD thesis, Department of Computer Science, University of Edinburgh
- (1998) A Semantic Analysis of Control
- Laird, J.¹

12
- 0003791964
- PhD thesis, Imperial College London
- (1996) Games and Full Abstraction for a Functional Metalanguage with Recursive Types
- McCusker, G.¹

13
- 0026188821
- Notions of computation and monads
- (1991) Information and Computation , vol.93 , Issue.1
- Moggi, E.¹

14
- 85088772727
- Hereditarily sequential functionals
- Proceedings of the Symposium on Logical Foundations of Computer Science: Logic at St. Petersburg, LNCS. Springer-Verlag, 1994
- Nickau, H.¹

15
- 0018053595
- Syntactic control of interference
- (1978) Conf. Record 5th ACM Symposium on Principles of Programming Languages , pp. 39-46
- Reynolds, J.¹

16
- 0019705872
- The essence of Algol
- North Holland
- (1981) Algorithmic Languages , pp. 345-372
- Reynolds, J.¹

17
- 84887467016
- Typed exceptions and continuations cannot macro-express each other
- In J. Widermann, P. Van Emde Boas and M. Nielsen, editor; Springer
- (1999) Proceedings of ICALP '99, Volume 1644 of LNCS , pp. 635-644
- Riecke, J.¹ Thielecke, H.²

18
- 0004018141
- On exceptions versus continuations in the presence of state
- Proceedings of ESOP 2000, Volume 1782 of LNCS. Springer, 2000
- Thielecke, H.¹

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