Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Jesús J. Doménech"'
Autor:
Jesús J. Doménech, Samir Genaim
Programs with multiphase control-flow are programs where the execution passes through several (possibly implicit) phases. Proving termination of such programs (or inferring corresponding runtime bounds) is often challenging since it requires reasonin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dea550aebad9b75798caa51e9f677bd9
Publikováno v:
Static Analysis ISBN: 9783030323035
SAS
SAS
Multiphase ranking functions (M\(\varPhi \)RFs) are used to prove termination of loops in which the computation progresses through a number of phases. They consist of linear functions \(\langle f_1,\ldots ,f_d \rangle \) where \(f_i\) decreases durin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::25c2f2cbe51619200b818a5e3acca1dc
https://doi.org/10.1007/978-3-030-32304-2_22
https://doi.org/10.1007/978-3-030-32304-2_22
Control-flow refinement refers to program transformations whose purpose is to make implicit control-flow explicit, and is used in the context of program analysis to increase precision. Several techniques have been suggested for different programming
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1279090ef140e4d4bae84894a948516d
Publikováno v:
Fundamental Approaches to Software Engineering ISBN: 9783662544938
FASE
UnpayWall
ORCID
Microsoft Academic Graph
arXiv.org e-Print Archive
FASE
UnpayWall
ORCID
Microsoft Academic Graph
arXiv.org e-Print Archive
Comment: Preprint of a FASE'17 paper
In this paper we describe EasyInterface, an open-source toolkit for rapid development of web-based graphical user interfaces (GUIs). This toolkit addresses the need of researchers to make their research proto
In this paper we describe EasyInterface, an open-source toolkit for rapid development of web-based graphical user interfaces (GUIs). This toolkit addresses the need of researchers to make their research proto
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f6dabcbba49c88047e706e1ba15e3d89
https://doi.org/10.1007/978-3-662-54494-5_22
https://doi.org/10.1007/978-3-662-54494-5_22