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

메뉴 건너뛰기

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation

Volumn , Issue , 2002, Pages 87-97

Compositionality in the puzzle of semantics

(2) Giacobazzi, Roberto a Mastroeni, Isabella a

a UNIVERSITY OF VERONA (Italy)

Author keywords

Abstract interpretation; Compositional semantics; Program manipulation; Reduced power; Transfinite semantics

Indexed keywords

ABSTRACTING; ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; HIERARCHICAL SYSTEMS;

COMPOSITIONAL SEMANTICS; TRANSFINITE SEMANTICS;

SEMANTICS;

EID: 0036038431 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: 10.1145/509799.503040 Document Type: Conference Paper

Times cited : (5)

References (33)

1
- 0025444592
- The program dependence web: A representation supporting control-,data-, and demand-driven interpretation of imperative languages
- Proc. of the ACM SIGPLAN Conf. on Programming Language Design and Implementation (1990) , pp. 257-271
- Ballance, R.A.¹ Maccabe, A.B.² Ottenstein, K.J.³

2
- 0028762221
- A compositional semantics for logic programs
- (1994) Theor. Comput. Sci. 122 , vol.1-2 , pp. 3-47
- Bossi, A.¹ Gabbrielli, M.² Levi, G.³ Meo, M.C.⁴

3
- 0024700525
- The semantics of program dependence
- Proc. of the ACM SIGPLAN Conf. on Programming Language Design and Implementation (1989) , pp. 13-27
- Cartwrite, R.¹ Felleisen, M.²

4
- 0001878770
- An algebraic theory of observables
- M. Bruynooghe, Ed., The MIT Press, Cambridge, Mass.
- Proc. of the 1994 Internat. Logic Programming Symp. (ILPS '94) (1994) , pp. 172-186
- Comini, M.¹ Levi, G.²

5
- 0003459275
- Chapman and Hall
- (1971) Regular Algebra and Finite Machines
- Conway, J.H.¹

6
- 0030778191
- Complementation in abstract interpretation
- (1997) ACM Trans. Program. Lang. Syst. 19 , Issue.1 , pp. 7-47
- Cortesi, A.¹ Filé, G.² Giacobazzi, R.³ Palamidessi, C.⁴ Ranzato, F.⁵

7
- 18944390494
- Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
- (Invited Paper); S. Brookes and M. Mislove, Eds.; of Electronic Notes in Theoretical Computer Science, Elsevier, Amsterdam
- Proc. of the 13th Internat. Symp. on Mathematical Foundations of Programming Semantics (MFPS '97) (1997) , vol.6
- Cousot, P.¹

8
- 0005374058
- Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
- To appear, extended version of [7]
- (2000) Theor. Comput. Sci.
- Cousot, P.¹

9
- 0018294932
- Systematic design of program analysis frameworks
- ACM Press, New York
- Conference Record of the 6th ACM Symp. on Principles of Programming Languages (POPL '79) (1979) , pp. 269-282
- Cousot, P.¹ Cousot, R.²

10
- 0000911801
- Abstract interpretation and application to logic programs
- (1992) J. Logic Program. , vol.13 , Issue.2-3 , pp. 103-179
- Cousot, P.¹ Cousot, R.²

11
- 0026992713
- Inductive definitions, semantics and abstract interpretation
- Conference Record of the 19th ACM Symp. on Principles of Programming Languages (POPL '92) (1992), ACM Press, New York , pp. 83-94
- Cousot, P.¹ Cousot, R.²

12
- 84974697692
- Kleene under a demonic star
- Proc. of the 9th Internat. Conf. on Algebraic Methodology and Software Technology (AMAST '00) (2000), Vol. 1816 of Lecture Notes in Computer Science , pp. 355-370
- Desharnais, J.¹ Möller, B.² Tchier, F.³

13
- 0016543936
- Guarded commands, nondeterminism and formal derivation of programs
- (1975) Comm. of the ACM , vol.18 , Issue.8 , pp. 453-457
- Dijkstra, E.¹

14
- 0024860819
- Fully abstract compositional semantics for logic programs
- ACM Press, New York
- Conference Record of the 16th ACM Symp. on Principles of Programming Languages (POPL'89) (1989) , pp. 134-142
- Gaifman, H.¹ Shapiro, E.²

15
- 84947937423
- "Optimal" collecting semantics for analysis in a hierarchy of logic program semantics
- C. Puech and R. Reischuk, Eds.; of Lecture Notes in Computer Science, Springer-Verlag, Berlin
- Proc. of the 13th Internat. Symp. on Theoretical Aspects of Computer Science (STACS'96) (1996) , vol.1046 , pp. 503-514
- Giacobazzi, R.¹

16
- 0034593054
- A characterization of symmetric semantics by domain complementation
- Proc. of the 2nd International Conference in Principles and Practice of Declarative Programming PPDP'00 (2000), ACM Press , pp. 115-126
- Giacobazzi, R.¹ Mastroeni, I.²

17
- 84958741687
- Complementing logic program semantics
- M. Hanus and M. Rodríguez Artalejo, Eds., Lecture Notes in Computer Science, Springer-Verlag, Berlin
- Proceedings of the 5th International Conference on Algebraic and Logic Programming (ALP'96) (1996) , pp. 238-253
- Giacobazzi, R.¹ Ranzato, F.²

18
- 1442284557
- Refining and compressing abstract domains
- P. Degano, R. Gorrieri, and A. Marchetti-Spaccamela, Eds.; of Lecture Notes in Computer Science, Springer-Verlag, Berlin
- Proc. of the 24th Internat. Colloq. on Automata, Languages and Programming (ICALP'97) (1997) , vol.1256 , pp. 771-781
- Giacobazzi, R.¹ Ranzato, F.²

19
- 0001375905
- The reduced relative power operation on abstract domains
- (1999) Theor. Comput. Sci 216 , pp. 159-211
- Giacobazzi, R.¹ Ranzato, F.²

20
- 84904982865
- Building complete abstract interpretations in a linear logic-based setting
- G. Levi, Ed.
- (1998) 5th International Symp. SAS , vol.1503 , pp. 215-229
- Giacobazzi, R.¹ Ranzato, F.² Scozzari, F.³

21
- 0032153905
- A logical model for relational abstract domains
- (1998) ACM Trans. Program. Lang. Syst. 20 , vol.5 , pp. 1067-1109
- Giacobazzi, R.¹ Scozzari, F.²

22
- 0003936305
- American mathematical society
- (1996) Discovering Modern Set Theory. I: The Basics, Vol. 8 of Graduate Studies in Mathematics
- Just, W.¹ Weese, M.²

23
- 0002464995
- Transfinite reductions in orthogonal term rewriting systems
- (1995) Information and Computation 119 , vol.1 , pp. 18-38
- Kennaway, J.R.¹ Klop, J.W.² Sleep, M.R.³ Vries, F.J.⁴

24
- 0005317253
- Tensor products generalize the relational data flow analysis method
- M. Arató, I. Kátai, and L. Varga, Eds.
- Proc. of the 4th Hungarian Computer Science Conf. (1985) , pp. 211-225
- Nielson, F.¹

25
- 0026382881
- Algebraic properties of program integration
- (1991) Sci. Comput. Program. 17 , pp. 139-215
- Reps, T.¹

26
- 84957647698
- Program specialization via program slicing
- O. Danvy, R. Glueck, and P. Thiemann, Eds., Springer-Verlag
- Proceedings of the Dagstuhl Seminar on Partial Evaluation (1996) , pp. 409-429
- Reps, T.¹ Turnidge, T.²

27
- 0004205591
- Pitman Research Notes in Mathematics. Longman Scientific & Technical, London
- (1990) Quantales and Their Applications
- Rosenthal, K.I.¹

28
- 84922272969
- Logical optimality of groundness analysis
- R. V. Hentenryck, Ed., vol. 1302 of Lecture Notes in Computer Science, Springer-Verlag
- Proceedings of International Static Analysis Symposium, SAS'97 (1997) , pp. 83-97
- Scozzari, F.¹

29
- 0024862998
- A rewriting semantics for program dependence graphs
- ACM Press, New York
- Conference Record of the 16th ACM Symp. on Principles of Programming Languages (POPL'89) (1989) , pp. 12-24
- Selke, R.P.¹

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

31
- 0001744565
- Topology
- Clarendon press - Oxford
- (1992) Handbook of Logic in Computer Science , vol.1
- Smyth, M.B.¹

32
- 0021457061
- Program slicing
- (1984) IEEE Transactions on Software Engineering SE-10 , vol.4 , pp. 352-357
- Weiser, M.¹

33
- 0004273499
- MIT press
- (1993) The Formal Semantics of Programming Languages: An Introduction
- Winskel, G.¹

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