Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
37
views
20
references
Top references
cited by
5
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
3,905
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Correlation Tracking for Points-To Analysis of JavaScript
other
Author(s):
Manu Sridharan
,
Julian Dolby
,
Satish Chandra
,
Max Schäfer
,
Frank Tip
Publication date
(Print):
2012
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Software for SAXS correction and analysis
Most cited references
20
Record
: found
Abstract
: not found
Book Chapter
: not found
Type Analysis for JavaScript
Simon Holm Jensen
,
Anders Møller
,
Peter Thiemann
(2009)
0
comments
Cited
26
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Parameterized object sensitivity for points-to analysis for Java
Atanas Rountev
,
Barbara G. Ryder
,
Ana Milanova
(2005)
0
comments
Cited
22
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Scaling Java Points-to Analysis Using Spark
Ondřej Lhoták
,
Laurie Hendren
(2003)
0
comments
Cited
19
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2012
Pages
: 435-458
DOI:
10.1007/978-3-642-31057-7_20
SO-VID:
6cc63ffd-98f8-42e7-91f5-5da1d6195673
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
When Compilers Are Mirrors
pp. 2
Extensibility for the Masses
pp. 28
Extensions during Software Evolution: Do Objects Meet Their Promise?
pp. 53
PQL: A Purely-Declarative Java Extension for Parallel Programming
pp. 79
Is It Dangerous to Use Version Control Histories to Study Source Code Evolution?
pp. 104
Evaluating the Design of the R Language
pp. 132
McSAF: A Static Analysis Framework for MATLAB
pp. 156
Multiple Aggregate Entry Points for Ownership Types
pp. 181
Inference and Checking of Object Ownership
pp. 207
Object Initialization in X10
pp. 232
Structured Aliasing
pp. 233
Pause ’n’ Play: Formalizing Asynchronous C $^\sharp$
pp. 258
Lightweight Polymorphic Effects
pp. 283
Cloud Types for Eventual Consistency
pp. 308
Lock Inference in the Presence of Large Libraries
pp. 333
An Analysis of the Mozilla Jetpack Extension Framework
pp. 356
Smaller Footprint for Java Collections
pp. 383
Enhancing JavaScript with Transactions
pp. 409
JavaScript as an Embedded DSL
pp. 435
Correlation Tracking for Points-To Analysis of JavaScript
pp. 459
Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics
pp. 484
Static Sessional Dataflow
pp. 509
Java Wildcards Meet Definition-Site Variance
pp. 535
Constraint-Based Refactoring with Foresight
pp. 560
Magda: A New Language for Modularity
pp. 589
Marco: Safe, Expressive Macros for Any Language
pp. 614
Practical Permissions for Race-Free Parallelism
pp. 640
Verification of Snapshot Isolation in Transactional Memory Java Programs
pp. 665
Scalable Flow-Sensitive Pointer Analysis for Java with Strong Updates
pp. 688
Application-Only Call Graph Construction
pp. 713
Program Sliding
pp. 738
Static Detection of Loop-Invariant Data Structures
Similar content
3,905
A comparative analysis between Lua interpreter variants compiled to WASM, JavaScript and native
Authors:
Volnei Da Silva Klehm
,
Eduardo Drumond Sardinha
,
Vicente Ferreira de Lucena Junior
…
An empirical study of code smells in JavaScript projects
Authors:
Amir Saboury
,
Pooya Musavi
,
Foutse Khomh
…
Sklearn-porter: Transpile trained scikit-learn estimators to C, Java, JavaScript and others
Authors:
See all similar
Cited by
5
Precise Data Flow Analysis in the Presence of Correlated Method Calls
Authors:
Marianna Rapoport
,
Ondřej Lhoták
,
Frank Tip
Detecting Redundant CSS Rules in HTML5 Applications: A Tree-Rewriting Approach
Authors:
,
,
Towards Logic-Based Verification of JavaScript Programs
Authors:
José Santos
,
Philippa Gardner
,
Petar Maksimovic
…
See all cited by