學術產出-期刊論文

文章檢視/開啟

書目匯出

Google ScholarTM

政大圖書館

引文資訊

TAIR相關學術產出

題名 CSS Minification via Constraint Solving
作者 洪智鐸
Hong, Chih-Duo;Hague, Matthew;Lin, Anthony W.
貢獻者 資管系
關鍵詞 Cascading style sheets; web-optimisation; semantics; max-SAT
日期 2019-06
上傳時間 26-九月-2023 15:31:02 (UTC+8)
關聯 ACM Transactions on Programming Languages and Systems (TOPLAS), Vol.41, No.2, pp.1-76
資料類型 article
DOI https://doi.org/10.1145/3310337
dc.contributor 資管系
dc.creator (作者) 洪智鐸
dc.creator (作者) Hong, Chih-Duo;Hague, Matthew;Lin, Anthony W.
dc.date (日期) 2019-06
dc.date.accessioned 26-九月-2023 15:31:02 (UTC+8)-
dc.date.available 26-九月-2023 15:31:02 (UTC+8)-
dc.date.issued (上傳時間) 26-九月-2023 15:31:02 (UTC+8)-
dc.identifier.uri (URI) http://nccur.lib.nccu.edu.tw/handle/140.119/147690-
dc.format.extent 95 bytes-
dc.format.mimetype text/html-
dc.relation (關聯) ACM Transactions on Programming Languages and Systems (TOPLAS), Vol.41, No.2, pp.1-76
dc.subject (關鍵詞) Cascading style sheets; web-optimisation; semantics; max-SAT
dc.title (題名) CSS Minification via Constraint Solving
dc.type (資料類型) article
dc.identifier.doi (DOI) 10.1145/3310337
dc.doi.uri (DOI) https://doi.org/10.1145/3310337