For Publishers
DiscoveryMetadataPeer reviewHostingPublishing
For Researchers
JoinPublishReviewCollect
Register
Blog
About
Search
Advanced search
My ScienceOpen
Search
For Publishers
For Researchers
Blog
About
3
views
0
references
 Top references
cited by
4
    
0 reviews
 Review
0
comments
 Comment
0
recommends
+1 Recommend
0 collections
    0
    shares
      1,930
      similar
       All similar
      • Record: found
      • Abstract: not found
      • Conference Proceedings: not found

      Symbolic bounds analysis of pointers, array indices, and accessed memory regions

      proceedings-article
      Author(s): 1 , 1
      Publication date (Online):
      Publication date (Electronic):
      Publisher: ACM
      Conference name: PLDI00: ACM SIGPLAN 2000 Conference on Programming Language and Design and Implementation (PLDI00)
      Conference date: 18 06 2000 21 06 2000

      Read this article at

      ScienceOpenPublisher
      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Related collections

          Author and article information

          Conference
          Publisher: ACM
          Publication date (Print): August 2000
          Publication date (Online): August 2000
          Publication date (Print): May 2000
          Publication date (Electronic): May 2000
          Pages: 182-195
          Affiliations
          [1 ]Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, MA
          Article
          DOI: 10.1145/349299.349325
          SO-VID: ae3b656a-569c-4675-971f-14cecade02fa
          Copyright © © 2000
          Conference name: PLDI00: ACM SIGPLAN 2000 Conference on Programming Language and Design and Implementation
          Conference acronym: PLDI00
          Conference location: Vancouver British Columbia Canada
          Conference date: 18 06 2000 21 06 2000
          Conference sponsor: SIGPLAN ACM Special Interest Group on Programming Languages
          Conference sponsor: SIGSOFT ACM Special Interest Group on Software Engineering
          History

          ScienceOpen disciplines: Quantitative & Systems biology,Biophysics
          Data availability:
          ScienceOpen disciplines: Quantitative & Systems biology, Biophysics

          Comments

          Comment on this article