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

메뉴 건너뛰기

Theoretical Computer Science

Volumn 277, Issue 1-2, 2002, Pages 47-103

Constructive design of a hierarchy of semantics of a transition system by abstract interpretation

(1) Cousot, Patrick a

a ECOLE NORMALE SUPÉRIEURE (France)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; APPROXIMATION THEORY; COMPUTER PROGRAMMING LANGUAGES; TRANSFER FUNCTIONS;

ABSTRACT INTERPRETATION;

SEMANTICS;

EID: 0037188218 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/S0304-3975(00)00313-3 Document Type: Conference Paper

Times cited : (139)

References (54)

1
- 0001847686
- Domain theory
- S. Abramsky, Dov M. Gabbay, T.S.E. Maibaum (Eds.), Semantic Structures, Clarendon Press, Oxford, UK, (Chapter 1)
- (1994) Handbook of Logic in Computer Science , vol.3 , pp. 1-168
- Abramsky, S.¹ Jung, A.²

2
- 0002449509
- Game semantics
- H. Schwichtenberg, U. Berger (Eds.), Computational Logic, Springer, Berlin, Germany
- (1999) NATO Science Series, Series F: Computer and Systems Sciences , vol.165 , pp. 1-55
- Abramsky, S.¹ McCusker, G.²

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

4
- 0001322277
- Formal computations of non deterministic recursive program schemes
- (1980) Math. Systems Theory , vol.13 , pp. 219-236
- Arnold, A.¹ Nivat, M.²

5
- 0008824999
- A continuous semantics for unbounded nondeterminism
- (1983) Theoret. Comput. Sci. , vol.23 , pp. 187-210
- Back, R.J.R.¹

6
- 0031295244
- Metric semantics from partial order semantics
- (1997) Acta Inform. , vol.34 , Issue.9 , pp. 701-735
- Baier, C.¹ Majster-Cederbaum, M.E.²

7
- 85034422250
- Semantics of nondeterministic and noncontinuous constructs
- F.L. Bauer, M. Broy (Eds.), Program Construction, Lecture Notes of the International Summer School on Program Construction, Marktoberdorf 1978, Springer, Berlin, Germany
- (1979) Lecture Notes in Computer Science , vol.69 , pp. 553-592
- Broy, M.¹ Gnatz, R.² Wirsing, M.³

8
- 0028430329
- Can fair choice be added to Dijkstra's calculus
- (1994) ACM Transactions on Programming Languages and Systems , vol.16 , Issue.3 , pp. 924-938
- Broy, M.¹ Nelson, G.²

9
- 0005312434
- Thèse d'État ès Sciences Mathématiques, Université scientifique et médicale de Grenoble, Grenoble, France, 21 March
- (1978) Méthodes itératives de construction et d'approximation de points fixes d'opérateurs monotones sur un treillis, analyse sémantique de programmes
- Cousot, P.¹

10
- 0001859449
- Semantic foundations of program analysis
- S.S. Muchnick, N.D. Jones (Eds.), Prentice-Hall, Englewood Cliffs, NJ, Chapter 10
- (1981) Program Flow Analysis: Theory and Applications , pp. 303-342
- Cousot, P.¹

11
- 0001972404
- Methods and logics for proving programs
- J. Van Leeuwan (Ed.), Formal Models and Semantics, Amsterdam, The Netherlands, Chapter 15
- (1990) Handbook of Theoretical Computer Science , vol.B , pp. 843-993
- Cousot, P.¹

12
- 0001502002
- Abstract interpretation
- (1996) Symposium on Models of Programming Languages and Computation; ACM Comput. Surveys , vol.28 , Issue.2 , pp. 324-328
- Cousot, P.¹

13
- 85050550846
- Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints
- Los Angeles, CA, ACM Press, New York
- (1977) Conf. Rec. Fourth Annu. ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages , pp. 238-252
- Cousot, P.¹ Cousot, R.²

14
- 84972546036
- Constructive versions of Tarski's fixed point theorems
- (1979) Pacific. J. Math. , vol.82 , Issue.1 , pp. 43-57
- Cousot, P.¹ Cousot, R.²

15
- 0018294932
- Systematic design of program analysis frameworks
- San Antonio, TX, ACM Press, New York
- (1979) Conf. Rec. 6th Annu. ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages , pp. 269-282
- Cousot, P.¹ Cousot, R.²

16
- 0008820186
- Induction principles for proving invariance properties of programs
- D. Néel (Ed.), Cambridge University Press, Cambridge, UK
- (1982) Tools & Notions for Program Construction , pp. 43-119
- Cousot, P.¹ Cousot, R.²

17
- 0026992713
- Inductive definitions, semantics and abstract interpretation
- Albuquerque, New Mexico, ACM Press, New York, USA
- (1992) Conf. Record of the 19th Annual ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages , pp. 83-94
- Cousot, P.¹ Cousot, R.²

18
- 0028196382
- Higher-order abstract interpretation (and application to comportment analysis generalizing strictness, termination, projection and PER analysis of functional languages), invited paper
- Toulouse, France, 16-19 May, IEEE Computer Society Press, Los Alamitos, CA
- (1994) Proc. 1994 Internat. Conf. on Computer Languages , pp. 95-112
- Cousot, P.¹ Cousot, R.²

19
- 84947934484
- Compositional and inductive semantic definitions in fixpoint, equational, constraint, closure-condition, rule-based and game-theoretic form, invited paper
- P. Wolper (Ed.), Proc. 7th Internat. Conf. on Computer Aided Verification, CAV'95, Liège, Belgium, Springer, Berlin, Germany, 3-5 July
- (1995) Lecture Notes in Computer Science , vol.939 , pp. 293-308
- Cousot, P.¹ Cousot, R.²

20
- 0033706805
- Temporal abstract interpretation
- Boston, MA, ACM Press, New York, January
- (2000) Conf. Rec. 27th Annu. ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages , pp. 12-25
- Cousot, P.¹ Cousot, R.²

21
- 0008824350
- On infinite computations in denotational semantics
- Corrigendum: Theoret. Comput. Sci. 29 (1984) 229-230
- (1983) Theoret. Comput. Sci. , vol.26 , pp. 53-82
- De Bakker, J.W.¹ Meyer, J.-J.Ch.² Zucker, J.I.³

22
- 0004417999
- Unpublished notes
- (1969) A theory of programs
- De Bakker, J.W.¹ Scott, D.²

23
- 0003466439
- MIT Press, Cambridge, MA
- (1996) Control Flow Semantics, Foundations of Computing Series
- De Bakker, J.W.¹ De Vink, E.²

24
- 0016543936
- Guarded commands, nondeterminacy and formal derivation of programs
- (1975) Comm. Assoc. Comput. Mach. , vol.18 , Issue.8 , pp. 453-457
- Dijkstra, E.W.¹

25
- 0004253669
- Prentice-Hall, Englewood Cliffs, NJ
- (1976) A Discipline of Programming
- Dijkstra, E.W.¹

26
- 0003752031
- Springer, Berlin, Germany
- (1990) Predicate Calculus and Program Semantics
- Dijkstra, E.W.¹ Scholten, C.S.²

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

28
- 0002780749
- Assigning meaning to programs
- J.T. Schwartz (Ed.), American Mathematical Society, Providence, RI
- (1967) Proc. Symp. in Applied Mathematics , vol.19 , pp. 19-32
- Floyd, R.W.¹

29
- 84947919083
- Completeness in abstract interpretation: A domain perspective
- M. Johnson (Ed.), Proc. 6th Internat. Conf. on Algebraic Methodology and Software Technology, AMAST'97, Sydney, Australia, Springer, Berlin, Germany, 13-18, December
- (1997) Lecture Notes in Computer Science , vol.1349 , pp. 231-245
- Giacobazzi, R.¹ Ranzato, F.²

30
- 0001848686
- Semantic domains
- J. Van Leeuwen (Ed.), Formal Models and Semantics, Elsevier, Amsterdam, The Netherlands
- (1990) Handbook of Theoretical Computer Science , vol.B , pp. 633-674
- Gunter, C.A.¹ Scott, D.S.²

31
- 0004479697
- Oxford University Press, Oxford, UK
- (1992) Programs, Recursion and Unbound Choice, Predicate Transformation Semantics and Transformation rules
- Hesselink, W.H.¹

32
- 84945708698
- An axiomatic basis for computer programming
- (1969) Comm. Assoc. Comput. Mach. , vol.12 , Issue.10 , pp. 576-580
- Hoare, C.A.R.¹

33
- 84976775879
- Some properties of predicate transformers
- (1978) J. Assoc. Comput. Mach. , vol.25 , Issue.3 , pp. 461-480
- Hoare, C.A.R.¹

34
- 0015982686
- Consistent and complementary formal theories of the semantics of programming languages
- (1974) Acta Inform. , vol.3 , Issue.2 , pp. 135-153
- Hoare, C.A.R.¹ Lauer, P.E.²

35
- 0022043523
- General correctness: A unification of partial and total correctness
- (1985) Acta Inform. , vol.22 , pp. 67-83
- Jacobs, D.¹ Gries, D.²

36
- 0002973657
- Natural semantics
- K. Fuchi, M. Nivat (Eds.), Elsevier Amsterdam, The Netherlands
- (1988) Programming of Future Generation Computers , pp. 237-258
- Kahn, G.¹

37
- 37949002557
- A semantical analysis of modal logic I: Normal modal propositional calculi
- (1963) Z. Math. Logik Grundlag. Math. , vol.9 , pp. 67-96
- Kripke, S.¹

38
- 0008849262
- A simple relation between relational and predicate transformer semantics for nondeterministic programs
- (1980) Inform. Process. Lett. , vol.11 , Issue.4-5 , pp. 190-192
- Majster-Cederbaum, M.E.¹

39
- 0008841567
- Axiomatic approach to total correctness
- (1974) Acta Inform. , vol.3 , pp. 253-263
- Manna, Z.¹ Pnueli, A.²

40
- 0003037229
- Operational and algebraic semantics of concurrent processes
- J. Van Leeuwen (Ed.), Formal Models and Semantics, Elsevier, Amsterdam, The Netherlands, (Chapter 19)
- (1990) Handbook of Theoretical Computer Science , vol.B , pp. 1201-1242
- Milner, R.¹

41
- 0026222092
- Co-induction in relational semantics
- (1991) Theoret. Comput. Sci. , vol.87 , pp. 209-220
- Milner, R.¹ Tofte, M.²

42
- 0008849263
- Proofs of algorithms by general snapshots
- (1966) BIT , vol.6 , pp. 310-316
- Naur, P.¹

43
- 0024752060
- A generalization of Dijkstra's calculus
- (1989) ACM Trans. Programming Languages Systems , vol.11 , Issue.4 , pp. 517-561
- Nelson, G.¹

44
- 0000998574
- Correspondence between operational and denotational semantics: The full abstraction problem for PCF
- S. Abramsky, D.M. Gabbay, T.S.E. Maibaum (Eds.), Semantic Modelling, Clarendon Press, Oxford, UK, Chapter 3
- (1995) Handbook of Logic in Computer Science , vol.4 , pp. 269-356
- Ong, C.-H.L.¹

45
- 0014651649
- Fixpoint, induction and proofs of program properties
- B. Meltzer, D. Michie (Eds.), Edinburgh University Press, Edinburgh, Scotland
- (1969) Machine Intelligence , vol.5
- Park, D.¹

46
- 2542527603
- On the semantics of fair parallelism
- D. Bjørner (Ed.), Proc. Winter School on Abstract Software Specifications, Springer, Berlin, Germany
- (1980) Lecture Notes in Computer Science , vol.86 , pp. 504-526
- Park, D.¹

47
- 0347109476
- Invited address, MFPS XIII, CMU, Pittsburgh, 23-26 March
- (1997) Operational semantics for program equivalence
- Pitts, A.M.¹

48
- 0003931061
- Tech. Report DAIMI FN-19, Aarhus University, Denmark, September
- (1981) A structural approach to operational semantics
- Plotkin, G.D.¹

49
- 0003645721
- Technical Monograph PRG-2, Oxford University Computing Laboratory, Programming Research Group, Oxford, UK, November
- (1970) Outline of a mathematical theory of computation
- Scott, D.¹

50
- 0008826168
- The latttice of flow diagrams
- E. Engeler (Ed.), Semantics of Algorithmic Languages, Springer, Berlin, Germany
- (1971) Lecture Notes in Mathematics , vol.188 , pp. 311-366
- Scott, D.¹

51
- 84972569297
- The structure of Galois connections
- (1974) Pacific J. Math. , vol.54 , Issue.2 , pp. 209-225
- Shmuely, Z.¹

52
- 84972541021
- A lattice theoretical fixpoint theorem and its applications
- (1955) Pacific J. Math. , vol.5 , pp. 285-310
- Tarski, A.¹

53
- 84919345149
- The linear time - Branching time spectrum (extended abstract)
- J.C.M. Baeten, J.W. Klop (Eds.), Proc. CONCUR'90, Theories of Concurrency: Unification and Extension, Amsterdam, August 1990, Springer Berlin, Germany
- (1990) Lecture Notes in Computer Science , vol.458 , pp. 278-297
- Van Glabbeek, R.J.¹

54
- 0001508580
- The closure operators of a lattice
- (1942) Ann. Math. , vol.43 , pp. 191-196
- Ward, M.¹

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