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

메뉴 건너뛰기

Information and Computation

Volumn 101, Issue 1, 1992, Pages 70-102

A lattice for abstract interpretation of dynamic (LISP-like) structures

(1) Stransky, Jan a

a ÉCOLE POLYTECHNIQUE (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0040020546 PISSN: 08905401 EISSN: 10902651 Source Type: Journal
DOI: 10.1016/0890-5401(92)90076-R Document Type: Article

Times cited : (15)

References (28)

1
- 0004209335
- Addison-Wesley, Reading, MA
- (1977) Principles of Compiler Design
- Aho¹ Ullman²

2
- 84913444791
- Interprocedural Abstract Interpretation of Block Structured Languages with Nested Procedures, Aliasing and Recursivity
- École Polytechnique, to be published
- (1990) Research Report of L.I.X.
- Bourdoncle¹

3
- 84913476671
- INRIA
- (1986) Manuel de référence de LeLisp 15.2
- Chailloux¹

4
- 0005312434
- Méthodes itératives de construction et d'approximation de points fixes d'opérateurs monotones sur un treillis, analyse sémantique de programmes
- Grenoble
- (1978) Thèse d'état
- Cousot¹

5
- 0001859449
- Semantic foundations of program analysis
- S. Muchnick, N. Jones, Prentice-Hall, Englewood Cliffs, NJ
- (1981) Program Flow Analysis: Theory and Applications
- Cousot¹

6
- 85050550846
- Abstract interpretation: A unified lattice model for static analysis of programs by construction of approximate fixpoints
- Los Angeles, California, January 1977
- (1977) Conference Records of the 4th ACM Symposium on POPL , pp. 239-252
- Cousot¹ Cousot²

7
- 0003038166
- Static determination of dynamic properties of recursive procedures
- E.J. Neuhold, North-Holland, Amsterdam
- (1978) Formal Description of Programming Concepts
- Cousot¹ Cousot²

8
- 0018294932
- Systematic design of program analysis framework
- January 1979
- (1979) Conference Records of the 6th ACM Symposium on POPL , pp. 269-282
- Cousot¹ Cousot²

9
- 85035003357
- Automatic discovery of linear restraints among variables of a program
- Tucson, January 1978
- (1978) Conference Records of the 5th ACM Symposium on Principles of Programming Languages
- Cousot¹ Halbwachs²

10
- 0025213652
- On determining lifetime and aliasing of dynamically allocated data in higher-order functional specifications, to appear
- (1990) Conference Records of the 17th ACM Symposium on Principles of Programming Languages
- Deutsch¹

11
- 0004190634
- Fremann, San Francisco
- (1971) Lattice Theory
- Grätzer¹

12
- 84913444787
- La méta-évaluation au service de la compréhension automatique de programmes
- Université de Paris VII
- (1981) thèse de 3ème cycle
- Goossens¹

13
- 34047163757
- The interprocedural analysis and automatic parallelization of scheme programs
- (1989) LISP Symbol. Comput. , vol.2 , Issue.3-4 , pp. 179-396
- Harrison¹

14
- 85034265578
- A semantic model of reference counting and its abstraction
- August 1986
- (1986) Conference Records of the ACM Symposium on LISP and Functional Programming
- Hudak¹

15
- 0024701519
- Dependence analysis for pointer variables
- July 1989
- (1989) Proceedings of the SIGPLAN '89 Conference on Programming Language Design and Implementation
- Horwitz¹ Pfeiffer² Reps³

16
- 0024099495
- Analysis of functional programs to detect run-time garbage cells
- 1988
- (1988) ACM Trans. on Programming Languages Systems , vol.10 , Issue.4
- Inoue¹ Seki² Yagi³

17
- 0019688258
- Abstract storage structures
- Baker De, Vlied van, North-Holland, Co, Amsterdam
- (1981) Algorithm Languages
- Jonkers¹

18
- 0002371687
- Flow analysis and, optimization of Lisp-like structures
- Prentice-Hall, Englewood Cliff, NJ
- (1981) Program flow analysis—Theory and applications
- Jones¹ Muchnick²

19
- 85051014774
- A flexible approach to interprocedural data flow analysis and programs with recursive data structures
- (1982) Proceedings of the 9th ACM Symposium on Principles of Programming Languages
- Jones¹ Muchnick²

20
- 84956616916
- Detecting conflicts between structure accesses
- June 1988
- (1988) Proceedings of the SIGPLAN 88 Conference on Programming Language Design and Implementation
- Larus¹ Hilfinger²

21
- 84913444785
- University of Rochester, May 1979
- (1979) Data Flow Analysis for Records and Pointers to Records
- Low¹

22
- 84913416073
- Equivalence of first order lisp programs
- Massachusetts, June 1986
- (1986) Proceedings of the Symposium on Logic in Computer Science
- Mason¹

23
- 84913444784
- Perfectionnement d'un analyseur sémantique de LeLisp
- LRI, Université de Paris-Sud, Orsay
- (1989) DEA Report
- Masdupuy¹

24
- 84983921942
- Lifetime analysis of dynamically allocated objects
- (1988) Conference Records of the 15th ACM Symposium on Principles of Programming Languages
- Ruggieri¹ Murtagh²

25
- 0003836543
- Allyn & Bacon, Rockleigh, NJ
- (1986) Denotational Semantics
- Schmidt¹

26
- 0003652629
- Denotational Semantics: the Scott-Strachey Approach to Programming Language Theory
- MIT Press, Cambridge, MA
- (1977) The MIT Press Series in Computer Science
- Stoy¹

27
- 84913444782
- Analyse sémantique de structures de données dynamique avec applications au cas particulier de langages LISPiens
- Orsay
- (1988) Thèse de doctorat de l'université de Paris Sud
- Stransky¹

28
- 84913444781
- Abstract Interpretation of Functional Languages with Dynamic Scope
- École Polytechnique, to be published
- (1990) Research Report LIX/RR/90/02
- Stransky¹

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