REPLica: REPL instrumentation for Coq analysis
Saved in:
| Published in | Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs |
|---|---|
| Format | Conference Proceeding |
| Language | English |
| Online Access | Get full text |
| DOI | 10.1145/3372885.3373823 |
Cover
| BookMark | eNotzz1rwzAUhWEN7dCmnbvqD9jV1bWv5WzFpB9gSAjtLG5UCQSOnNgOxf--DfX0nunAcy9uUp-8EE-gcoCifEastDFl_lc0Gu9Evt_s2uh4La9DxjROw-Xo08RT7JMM_SCb_iw5cTePcXwQt4G70T8uXYmv181n856127eP5qXNWJOZMiLvgWsMCo2rMJBT7sCK0FXMXNQMoHWgA8F3bTQQ1GwMky8KX2HJBldC_f9e0onnH-46exrikYfZgrJXil0odqHgL_IpQZ8 |
|---|---|
| ContentType | Conference Proceeding |
| DBID | ADTOC UNPAY |
| DOI | 10.1145/3372885.3373823 |
| 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 |
| ExternalDocumentID | 10.1145/3372885.3373823 |
| GroupedDBID | ADTOC UNPAY |
| ID | FETCH-LOGICAL-a268t-66ee1a93f038c73f6c0cba063c7aaa49a1122f6b61d9821619a88a6e44e735a83 |
| IEDL.DBID | UNPAY |
| IngestDate | Thu Aug 28 11:27:00 EDT 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | false |
| IsScholarly | false |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-a268t-66ee1a93f038c73f6c0cba063c7aaa49a1122f6b61d9821619a88a6e44e735a83 |
| OpenAccessLink | https://proxy.k.utb.cz/login?url=https://dl.acm.org/doi/pdf/10.1145/3372885.3373823 |
| ParticipantIDs | unpaywall_primary_10_1145_3372885_3373823 |
| PublicationTitle | Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs |
| Score | 1.8356504 |
| SourceID | unpaywall |
| SourceType | Open Access Repository |
| Title | REPLica: REPL instrumentation for Coq analysis |
| URI | https://dl.acm.org/doi/pdf/10.1145/3372885.3373823 |
| UnpaywallVersion | publishedVersion |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1NSwMxEA21PYgXFSsqKjl48bDrNt_rTUpLES1FLNTTMskmILbbiltEf73ZbawiXnrLYQiZGZJ5-XgvCF3w3IH0615kqAS_QdE8Ag06ctoImnOpWX2Ycz8UgzG7nfBJA5FvLkw-9f3M6iv8ak4vchcEbfkVpZIoxWNaifEQuoVagnv83USt8XB08xR0e_6x3EHby2IBH-8wnf4qHv3dFaHvrdYcrN6MvMTLUsfm848i42bj2kPtH7IeHq3L0D5q2OIAxQ-90Z2P_zWuGvi51omdBZ5RgT1Sxd35K4YgSdJG437vsTuIwtcIERChykgIazuQUpdQZSR1wiRGg4cbRgIAS8HDKOKEFp08VcSjuhSUAmEZs5JyUPQQNYt5YY8QZto5DwMTQ4AxZ4jyuZPKcc6NAJ2kx-hyHb1ssZLAyFZ0Zp4F37Pg-8kGtqeo6T23Z76ml_o8JPELpLudRw |
| linkProvider | Unpaywall |
| linkToUnpaywall | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1NSwMxEA21PYgXFSsqKjl48bDrNt_rTUpLES1FLNTTMskmILbbiltEf73ZbawiXnrLYQiZGZJ5-XgvCF3w3IH0615kqAS_QdE8Ag06ctoImnOpWX2Ycz8UgzG7nfBJA5FvLkw-9f3M6iv8ak4vchcEbfkVpZIoxWNaifEQuoVagnv83USt8XB08xR0e_6x3EHby2IBH-8wnf4qHv3dFaHvrdYcrN6MvMTLUsfm848i42bj2kPtH7IeHq3L0D5q2OIAxQ-90Z2P_zWuGvi51omdBZ5RgT1Sxd35K4YgSdJG437vsTuIwtcIERChykgIazuQUpdQZSR1wiRGg4cbRgIAS8HDKOKEFp08VcSjuhSUAmEZs5JyUPQQNYt5YY8QZto5DwMTQ4AxZ4jyuZPKcc6NAJ2kx-hyHb1ssZLAyFZ0Zp4F37Pg-8kGtqeo6T23Z76ml_o8JPELpLudRw |
| 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%3Abook&rft.genre=proceeding&rft.title=Proceedings+of+the+9th+ACM+SIGPLAN+International+Conference+on+Certified+Programs+and+Proofs&rft.atitle=REPLica%3A+REPL+instrumentation+for+Coq+analysis&rft_id=info:doi/10.1145%2F3372885.3373823&rft.externalDocID=10.1145%2F3372885.3373823 |