SIGN IN
SIGN UP
Bidirectional data-flow analyses, type-systematically
Full Text:
PDF
Buy this Article
Authors:
Maria João Frade
Universidade do Minho, Braga, Portugal
Ando Saabas
Institute of Cybernetics at Tallinn University of Technology, Tallinn, Estonia
Tarmo Uustalu
Institute of Cybernetics at Tallinn University of Technology, Tallinn, Estonia
Published in:
· Proceeding
PEPM '09
Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Pages 141-150
ACM
New York, NY
, USA
©2009
table of contents
ISBN: 978-1-60558-327-3
doi>
10.1145/1480945.1480965
2009 Article
Bibliometrics
· Downloads (6 Weeks): 1
· Downloads (12 Months): 16
· Downloads (cumulative): 140
· Citation Count: 0
Tools and Resources
Buy this Article
Request Permissions
TOC Service:
Email
RSS
Save to Binder
Export Formats:
BibTeX
EndNote
ACM Ref
Share:
|
Tags:
compilers
languages
mechanical transformation of program proofs
operational semantics
optimization
program analyses and optimizations
program analysis
program logics
theory
type systems
verification
Feedback
|
Switch to
single page view
(no tabs)
**Javascript is not enabled and is required for the "tabbed view" or switch to the
single page view
**
Powered by
The ACM Guide to Computing Literature
All Tags
Export Formats
Save to Binder