Detail publikace

Efficient handling of string-number conversion

ABDULLA Parosh A., ATIG Mohamed F., BUI Phi Diep, HOLÍK Lukáš, CHEN Yu-Fang, JANKŮ Petr, LIN Hsin-Hung a WU Wei-Cheng. Efficient handling of string-number conversion. In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). New York: Association for Computing Machinery, 2020, s. 943-957. ISBN 978-1-4503-7613-6. Dostupné z: https://dl.acm.org/doi/10.1145/3385412.3386034
Název česky
Efektivní zpracování převodu řetězce na číslo
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Abdulla Parosh A. (Uppsala)
Atig Mohamed F. (Uppsala)
Bui Phi Diep (Uppsala)
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Chen Yu-Fang (ASIN)
Janků Petr, Ing. (UITS FIT VUT)
Lin Hsin-Hung (ASIN)
Wu Wei-Cheng (ASIN)
URL
Abstrakt

V tomto článku rozšiřujeme existující metodu analýzy řetězcových omezení o převody mezi řetězci a čísly.

Rok
2020
Strany
943-957
Sborník
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation
Řada
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
Konference
ACM SIGPLAN Conference on Programming Language Design and Implementation -- PLDI'20, Online, US
ISBN
978-1-4503-7613-6
Vydavatel
Association for Computing Machinery
Místo
New York, US
DOI
10.1145/3385412.3386034
UT WoS
000614622300063
EID Scopus
2-s2.0-85086823180
BibTeX 
@INPROCEEDINGS{FITPUB12452,
   author = "A. Parosh Abdulla and F. Mohamed Atig and Diep Phi Bui and Luk\'{a}\v{s} Hol\'{i}k and Yu-Fang Chen and Petr Jank\r{u} and Hsin-Hung Lin and Wei-Cheng Wu",
   title = "Efficient handling of string-number conversion",
   pages = "943--957",
   booktitle = "Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation",
   series = "Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)",
   year = 2020,
   location = "New York, US",
   publisher = "Association for Computing Machinery",
   ISBN = "978-1-4503-7613-6",
   doi = "10.1145/3385412.3386034",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12452"
}
Nahoru