Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation

Saved in:
Bibliographic Details
Published inFoundations and trends in programming languages
Format Journal Article
LanguageEnglish
Published 01.01.2017
Online AccessGet full text
ISSN2325-1131
2325-1107
DOI10.1561/2500000034

Cover

BookMark eNpFj09Lw0AUxPdQD7V68RPsXWL339u4x1LUFqoerOfwsn2BQLobNhsl3962Cs5l4MfMwFyzWYiBGLuT4kGClUsF4iJtZmyutIJCSi3n7HU_5pha7HgM_CNjbj3fhoYSBU88NvxtPFK6wC885UIeeD3xVT3khD6fcKbUJzo3Y7hhVw12A93--YJ9Pj_t15ti9_6yXa92BULpcqGMc0CWtLLGCEclag2-JjigJQChrZDSOVc7eNSNQEQFTnmUjTqY0nq9YPe_u2PocfrGrqv61B4xTZUU1flw9X9Y_wAohkzY
CitedBy_id crossref_primary_10_1007_s10703_024_00456_z
crossref_primary_10_1016_j_cola_2024_101288
crossref_primary_10_1007_s00165_021_00548_1
crossref_primary_10_1145_3656392
crossref_primary_10_1145_3582267
crossref_primary_10_2139_ssrn_4157524
crossref_primary_10_1007_s10703_022_00403_w
crossref_primary_10_1145_3632897
crossref_primary_10_1145_3462673
crossref_primary_10_1016_j_cola_2021_101032
crossref_primary_10_1016_j_ic_2022_104953
crossref_primary_10_1007_s10115_024_02108_4
crossref_primary_10_1145_3649852
crossref_primary_10_1016_j_ic_2024_105233
crossref_primary_10_1145_3704882
crossref_primary_10_1016_j_ic_2023_105077
crossref_primary_10_1016_j_scico_2022_102906
crossref_primary_10_1016_j_cola_2023_101206
crossref_primary_10_1145_3666014
crossref_primary_10_1016_j_scico_2021_102725
crossref_primary_10_1145_3498721
ContentType Journal Article
DBID ADTOC
UNPAY
DOI 10.1561/2500000034
DatabaseName Unpaywall for CDI: Periodical Content
Unpaywall
Database_xml – sequence: 1
  dbid: UNPAY
  name: Unpaywall
  url: https://proxy.k.utb.cz/login?url=https://unpaywall.org/
  sourceTypes: Open Access Repository
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
ExternalDocumentID oai:HAL:hal-01657536v1
GroupedDBID ADTOC
ALMA_UNASSIGNED_HOLDINGS
EBS
EJD
NOC
NOJ
NOT
NOW
UNPAY
ID FETCH-LOGICAL-a579t-24995e6e3264409e7a335cbe5da6e55036011999b9583f0aaa2592ca1f2d476c3
IEDL.DBID UNPAY
ISSN 2325-1131
2325-1107
IngestDate Sun Oct 26 04:11:14 EDT 2025
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
Language English
License other-oa
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-a579t-24995e6e3264409e7a335cbe5da6e55036011999b9583f0aaa2592ca1f2d476c3
OpenAccessLink https://proxy.k.utb.cz/login?url=https://hal.sorbonne-universite.fr/hal-01657536/document
ParticipantIDs unpaywall_primary_10_1561_2500000034
PublicationCentury 2000
PublicationDate 2017-01-01
PublicationDateYYYYMMDD 2017-01-01
PublicationDate_xml – month: 01
  year: 2017
  text: 2017-01-01
  day: 01
PublicationDecade 2010
PublicationTitle Foundations and trends in programming languages
PublicationYear 2017
Score 2.3188667
SourceID unpaywall
SourceType Open Access Repository
Title Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation
URI https://hal.sorbonne-universite.fr/hal-01657536/document
UnpaywallVersion submittedVersion
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1NT8JAEJ0gHPQifsbv7IFroXS7hT0SI0ETiAdI4ER2t9toJC3BVoO_3pnSinoy3pq22Ww60933ZmfeADT8tpJ04OMoIazj-yJ0JAkCWOMq6anQ05YKhYejYDDxH6ZiWoFuWQvzhIjzNVlpyvJwsjI3wTajFT1yqPgGAXbQChOTUfhsB2qBQBRehdpk9Nib5b3kPOEQrdle83ahTIpooeWJHBm71Ct5N4uXav2uFotvu0q_DrNyPptkkpdmluqm-fgl1fifCR_AfgE1WW_jG4dQsfER1Ms2Dqz4q49hOCYdA_RDlsSMwOezYfdlHSBLIjbK8mMdvPmGzJoSZ5hes56mKIlJ2c-8xROY9O_GtwOn6LKA5unI1EH-JYUNLCdo5ErbUZwLo60IVWCRv_CAZOGk1FJ0eeQqpZAxeUa1Iy_0O4Hhp1CNk9ieAdOya7hoa8MNDqW5lqErNdoc11DfcHkOja_vPV9u1DTmxELQLPOtWS7-9tol7Hm0x-bxkCuopqvMXiNCSPVN4Qyf6Ai6Yg
linkProvider Unpaywall
linkToUnpaywall http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1NT8JAEJ0gHPQifsbv7IFroXS7hT0SI0ETiAdI4ER2t9toJC3BVoO_3pnSinoy3pq22Ww60933ZmfeADT8tpJ04OMoIazj-yJ0JAkCWOMq6anQ05YKhYejYDDxH6ZiWoFuWQvzhIjzNVlpyvJwsjI3wTajFT1yqPgGAXbQChOTUfhsB2qBQBRehdpk9Nib5b3kPOEQrdle83ahTIpooeWJHBm71Ct5N4uXav2uFotvu0q_DrNyPptkkpdmluqm-fgl1fifCR_AfgE1WW_jG4dQsfER1Ms2Dqz4q49hOCYdA_RDlsSMwOezYfdlHSBLIjbK8mMdvPmGzJoSZ5hes56mKIlJ2c-8xROY9O_GtwOn6LKA5unI1EH-JYUNLCdo5ErbUZwLo60IVWCRv_CAZOGk1FJ0eeQqpZAxeUa1Iy_0O4Hhp1CNk9ieAdOya7hoa8MNDqW5lqErNdoc11DfcHkOja_vPV9u1DTmxELQLPOtWS7-9tol7Hm0x-bxkCuopqvMXiNCSPVN4Qyf6Ai6Yg
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Tutorial+on+Static+Inference+of+Numeric+Invariants+by+Abstract+Interpretation&rft.jtitle=Foundations+and+trends+in+programming+languages&rft.date=2017-01-01&rft.issn=2325-1131&rft_id=info:doi/10.1561%2F2500000034&rft.externalDocID=oai%3AHAL%3Ahal-01657536v1
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2325-1131&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2325-1131&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2325-1131&client=summon