Publications-Periodical Articles

Article View/Open

Publication Export

Google ScholarTM

NCCU Library

Citation Infomation

Related Publications in 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-Sep-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-Sep-2023 15:31:02 (UTC+8)-
dc.date.available 26-Sep-2023 15:31:02 (UTC+8)-
dc.date.issued (上傳時間) 26-Sep-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