Conflict-Driven Synthesis for Layout Engines
| Autori principali: | , , , , |
|---|---|
| Altri autori: | |
| Natura: | Articolo |
| Lingua: | English |
| Pubblicazione: |
ACM
2023
|
| Accesso online: | https://hdl.handle.net/1721.1/151093 |
| _version_ | 1826214691125329920 |
|---|---|
| author | Liu, Junrui Chen, Yanju Atkinson, Eric Feng, Yu Bodik, Rastislav |
| author2 | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory |
| author_facet | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory Liu, Junrui Chen, Yanju Atkinson, Eric Feng, Yu Bodik, Rastislav |
| author_sort | Liu, Junrui |
| collection | MIT |
| first_indexed | 2024-09-23T16:09:29Z |
| format | Article |
| id | mit-1721.1/151093 |
| institution | Massachusetts Institute of Technology |
| language | English |
| last_indexed | 2024-09-23T16:09:29Z |
| publishDate | 2023 |
| publisher | ACM |
| record_format | dspace |
| spelling | mit-1721.1/1510932024-01-12T20:40:47Z Conflict-Driven Synthesis for Layout Engines Liu, Junrui Chen, Yanju Atkinson, Eric Feng, Yu Bodik, Rastislav Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory 2023-07-11T18:56:02Z 2023-07-11T18:56:02Z 2023-06-06 2023-07-01T07:55:12Z Article http://purl.org/eprint/type/JournalArticle 2475-1421 https://hdl.handle.net/1721.1/151093 Liu, Junrui, Chen, Yanju, Atkinson, Eric, Feng, Yu and Bodik, Rastislav. 2023. "Conflict-Driven Synthesis for Layout Engines." Proceedings of the ACM on Programming Languages, 7 (PLDI). PUBLISHER_CC en https://doi.org/10.1145/3591246 Proceedings of the ACM on Programming Languages Creative Commons Attribution https://creativecommons.org/licenses/by/4.0/ The author(s) application/pdf ACM Association for Computing Machinery |
| spellingShingle | Liu, Junrui Chen, Yanju Atkinson, Eric Feng, Yu Bodik, Rastislav Conflict-Driven Synthesis for Layout Engines |
| title | Conflict-Driven Synthesis for Layout Engines |
| title_full | Conflict-Driven Synthesis for Layout Engines |
| title_fullStr | Conflict-Driven Synthesis for Layout Engines |
| title_full_unstemmed | Conflict-Driven Synthesis for Layout Engines |
| title_short | Conflict-Driven Synthesis for Layout Engines |
| title_sort | conflict driven synthesis for layout engines |
| url | https://hdl.handle.net/1721.1/151093 |
| work_keys_str_mv | AT liujunrui conflictdrivensynthesisforlayoutengines AT chenyanju conflictdrivensynthesisforlayoutengines AT atkinsoneric conflictdrivensynthesisforlayoutengines AT fengyu conflictdrivensynthesisforlayoutengines AT bodikrastislav conflictdrivensynthesisforlayoutengines |