For Publishers
DiscoveryMetadataPeer reviewHostingPublishing
For Researchers
JoinPublishReviewCollect
Register
Blog
About
Search
Advanced search
My ScienceOpen
Search
For Publishers
For Researchers
Blog
About
29
views
31
references
 Top references
cited by
13
    
0 reviews
 Review
0
comments
 Comment
0
recommends
+1 Recommend
0 collections
    0
    shares
      2,566
      similar
       All similar
      • Record: found
      • Abstract: not found
      • Article: not found

      Learning invariants using decision trees and implication counterexamples

      Author(s): 1 , 1 , 1 , 1
      Publication date Created:
      Publication date (Print):
      Journal: ACM SIGPLAN Notices
      Publisher: Association for Computing Machinery (ACM)

      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

          Most cited references31

          • Record: found
          • Abstract: not found
          • Conference Proceedings: not found

          Combining labeled and unlabeled data with co-training

          Avrim Blum, Tom Mitchell (1998)
          Article 0 comments Cited 387 times – based on 0 reviews
            Bookmark
            • Record: found
            • Abstract: not found
            • Conference Proceedings: not found

            Abstract interpretation

            Patrick Cousot, Radhia Cousot (1977)
            Article 0 comments Cited 364 times – based on 0 reviews
              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              Queries and concept learning

              Dana Angluin (1988)
              Article 0 comments Cited 121 times – based on 0 reviews     Review now
                Bookmark
                All references

                Author and article information

                Journal
                Title: ACM SIGPLAN Notices
                Abbreviated Title: SIGPLAN Not.
                Publisher: Association for Computing Machinery (ACM)
                ISSN (Print): 03621340
                Publication date Created: April 08 2016
                Publication date (Print): January 11 2016
                Volume: 51
                Issue: 1
                Pages: 499-512
                Affiliations
                [1 ]University of Illinois at Urbana-Champaign, USA
                Article
                DOI: 10.1145/2914770.2837664
                SO-VID: 926c8f93-9d2f-42c1-b950-88e1e8627f6c
                Copyright © © 2016
                License:

                http://www.acm.org/publications/policies/copyright_policy#Background

                History

                Data availability:

                Comments

                Comment on this article

                scite_

                Similar content2,566

                See all similar

                Cited by13

                See all cited by

                Most referenced authors338

                See all reference authors