Effective flow analysis for avoiding run-time checks
- 1 January 1995
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 207-224
- https://doi.org/10.1007/3-540-60360-3_41
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- A type system equivalent to flow analysisPublished by Association for Computing Machinery (ACM) ,1995
- A practical soft type system for SchemePublished by Association for Computing Machinery (ACM) ,1994
- Using Multilisp for solving constraint satisfaction problems: An application to nucleic acid 3D structure determinationHigher-Order and Symbolic Computation, 1994
- Global tagging optimization by type inferencePublished by Association for Computing Machinery (ACM) ,1992
- Macros in SchemeACM SIGPLAN Lisp Pointers, 1991
- Type Systems for Programming LanguagesPublished by Elsevier ,1990
- Tags and type checking in LISP: hardware and software approachesACM SIGPLAN Notices, 1987
- Flow analysis and optimization of LISP-like structuresPublished by Association for Computing Machinery (ACM) ,1979
- A theory of type polymorphism in programmingJournal of Computer and System Sciences, 1978
- Call-by-name, call-by-value and the λ-calculusTheoretical Computer Science, 1975