SIGN IN
SIGN UP
Phantm: PHP analyzer for type mismatch
Full Text:
PDF
Buy this Article
Authors:
Etienne Kneuss
Swiss Federal Institute of Technology (EPFL), Lausanne, Switzerland
Philippe Suter
Swiss Federal Institute of Technology (EPFL), Lausanne, Switzerland
Viktor Kuncak
Swiss Federal Institute of Technology (EPFL), Lausanne, Switzerland
Published in:
· Proceeding
FSE '10
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Pages 373-374
ACM
New York, NY
, USA
©2010
table of contents
ISBN: 978-1-60558-791-2
doi>
10.1145/1882291.1882355
2010 Article
Demonstration
Bibliometrics
· Downloads (6 Weeks): 6
· Downloads (12 Months): 32
· Downloads (cumulative): 161
· Citation Count: 0
Tools and Resources
Buy this Article
TOC Service:
Email
RSS
Save to Binder
Export Formats:
BibTeX
EndNote
ACM Ref
Upcoming Conference:
SIGSOFT/FSE'14
Share:
|
Tags:
abstract interpretation
languages
php
reliability
software/program verification
specifying and verifying and reasoning about programs
type inference
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