Semantic code search via equational reasoning
Saved in:
| Published in | Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation |
|---|---|
| Format | Conference Proceeding |
| Language | English |
| Online Access | Get full text |
| DOI | 10.1145/3385412.3386001 |
Cover
| BookMark | eNotzz1PwzAUhWEPMJTC3NV_IMU31zH2iCq-pEodgNm6sa_BUuqUJAX131NEpnc7Os-VuCh9YSFWoNYAurlFtI2Gen2uUQoWonrlPZUpBxn6yHJkGsKn_M4k-etIU-4LdXJgGvuSy8e1uEzUjXwzdyneHx_eNs_Vdvf0srnfVlQbO1U6OUPGuDbFBJEbIAsYUpvAxQBo9V2k1uik4_mOs21kBHYcImLDXDMuhfrfPZYDnX6o6_xhyHsaTh6U_5P4WeJnCf4ClSNDVQ |
|---|---|
| ContentType | Conference Proceeding |
| DBID | ADTOC UNPAY |
| DOI | 10.1145/3385412.3386001 |
| 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/3385412.3386001 |
| GroupedDBID | ADTOC UNPAY |
| ID | FETCH-LOGICAL-a268t-4f96a669bfdf1de51a813cfbf19dc13847dab64f4d38598bde31e9ecd335ee2e3 |
| IEDL.DBID | UNPAY |
| IngestDate | Thu Aug 28 11:29:19 EDT 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | false |
| IsScholarly | false |
| Language | English |
| License | cc-by |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-a268t-4f96a669bfdf1de51a813cfbf19dc13847dab64f4d38598bde31e9ecd335ee2e3 |
| OpenAccessLink | https://proxy.k.utb.cz/login?url=https://dl.acm.org/doi/pdf/10.1145/3385412.3386001 |
| ParticipantIDs | unpaywall_primary_10_1145_3385412_3386001 |
| PublicationTitle | Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation |
| Score | 2.0188267 |
| SourceID | unpaywall |
| SourceType | Open Access Repository |
| Title | Semantic code search via equational reasoning |
| URI | https://dl.acm.org/doi/pdf/10.1145/3385412.3386001 |
| UnpaywallVersion | publishedVersion |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LSwMxEA61PYgXFSsqKjl48ZDabB7dHEUsRbAUdKGeljwmUGzXqruK_nqzD6uIl55yGcLMJOHLY74vCJ3JAFl2oB2xGmLCLaNEc9UnSqhIe86jfqXEdDuWo4TfTMW0haJvLoybh34W1RN-uaaXzjeCtuIiHKYEp1EvtCVKb6COFGH_3UadZDy5fGh0e_6x3EKbRbbUH-96Pv8FHsPtmtD3WmkOljUjj70iNz37-UeRcT2_dlD3h6yHJysY2kUtyPYQuYNFyNnM4pKzjuv5jN9mGsNz0dz_4bIevbqN7aJkeH1_NSLNzwhERzLOCfdKaimV8c5TB4LqmDLrjafKWcoC4jhtJPfcBd9UbBwwCgqsY0wARMD2UTt7yuAAYcUoBR6bYOq58SoGZuO-K0eJDSLvDtH5KnnpslbASGs2s0ib0NMm9KM1bI9RO38p4CRAem5OmzH8AmDFnbM |
| linkProvider | Unpaywall |
| linkToUnpaywall | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LSwMxEA61PYgXFSsqKjl48ZDabB7dHEUsRbAUdKGeljwmUGzXqruK_nqzD6uIl55yGcLMJOHLY74vCJ3JAFl2oB2xGmLCLaNEc9UnSqhIe86jfqXEdDuWo4TfTMW0haJvLoybh34W1RN-uaaXzjeCtuIiHKYEp1EvtCVKb6COFGH_3UadZDy5fGh0e_6x3EKbRbbUH-96Pv8FHsPtmtD3WmkOljUjj70iNz37-UeRcT2_dlD3h6yHJysY2kUtyPYQuYNFyNnM4pKzjuv5jN9mGsNz0dz_4bIevbqN7aJkeH1_NSLNzwhERzLOCfdKaimV8c5TB4LqmDLrjafKWcoC4jhtJPfcBd9UbBwwCgqsY0wARMD2UTt7yuAAYcUoBR6bYOq58SoGZuO-K0eJDSLvDtH5KnnpslbASGs2s0ib0NMm9KM1bI9RO38p4CRAem5OmzH8AmDFnbM |
| 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+41st+ACM+SIGPLAN+Conference+on+Programming+Language+Design+and+Implementation&rft.atitle=Semantic+code+search+via+equational+reasoning&rft_id=info:doi/10.1145%2F3385412.3386001&rft.externalDocID=10.1145%2F3385412.3386001 |