Článek ve sborníku konference

ABDULLA Parosh A., ATIG Mohamed F., BUI Phi Diep, HOLÍK Lukáš, CHEN Yu-Fang, REZINE Ahmed a RUMMER Philipp. Flatten and conquer: a framework for efficient analysis of string constraints. In: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation. New York: Association for Computing Machinery, 2017, s. 602-617. ISBN 978-1-4503-4988-8. Dostupné z: https://dl.acm.org/citation.cfm?doid=3062341.3062384
Jazyk publikace:angličtina
Název publikace:Flatten and conquer: a framework for efficient analysis of string constraints
Název (cs):Rozplácni a panuj: efektivní analýza řetězcových omezení
Strany:602-617
Sborník:Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation
Konference:ACM SIGPLAN Conference on Programming Language Design and Implementation
Řada knih:ACM
Místo vydání:New York, US
Rok:2017
URL:https://dl.acm.org/citation.cfm?doid=3062341.3062384
ISBN:978-1-4503-4988-8
DOI:10.1145/3062341.3062384
Vydavatel:Association for Computing Machinery
Klíčová slova
Automata Theory, Formal Verification, String Equation
Anotace
Popisujeme metodu efektivní analýzi řetězcových omezení založenou na rozplácávání automatů. Používáme metodu zjemňování abstrakce pomocí protipříkladů. 
BibTeX:
@INPROCEEDINGS{
   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 Ahmed Rezine and Philipp Rummer},
   title = {Flatten and conquer: a framework for efficient
	analysis of string constraints},
   pages = {602--617},
   booktitle = {Proceedings of the 38th ACM SIGPLAN Conference on
	Programming Language Design and Implementation},
   series = {ACM},
   year = {2017},
   location = {New York, US},
   publisher = {Association for Computing Machinery},
   ISBN = {978-1-4503-4988-8},
   doi = {10.1145/3062341.3062384},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.cs.iso-8859-2?id=11577}
}

Vaše IPv4 adresa: 54.243.17.113
Přepnout na https

DNSSEC [dnssec]