Zobrazeno 1 - 10
of 149
pro vyhledávání: '"GIACOBAZZI, ROBERTO"'
Autor:
BRUNI, ROBERTO1 bruni@di.unipi.it, GIACOBAZZI, ROBERTO2 gori@di.unipi.it, GORI, ROBERTA1 roberto.giacobazzi@univr.it, RANZATO, FRANCESCO3 roberto.giacobazzi@univr.it
Publikováno v:
Journal of the ACM. Apr2023, Vol. 70 Issue 2, p1-45. 45p.
Autor:
Giacobazzi, Roberto1 (AUTHOR) giacobazzi@arizona.edu, Mastroeni, Isabella2 (AUTHOR) isabella.mastroeni@univr.it, Perantoni, Elia2 (AUTHOR) perantonielia0@gmail.com
Publikováno v:
ACM Transactions on Programming Languages & Systems. Jun2024, Vol. 46 Issue 2, p1-31. 31p.
Abstract interpretation is a method to automatically find invariants of programs or pieces of code whose semantics is given via least fixed-points. Up-to techniques have been introduced as enhancements of coinduction, an abstract principle to prove p
Externí odkaz:
http://arxiv.org/abs/1804.10507
Dynamic languages often employ reflection primitives to turn dynamically generated text into executable code at run-time. These features make standard static analysis extremely hard if not impossible because its essential data structures, i.e., the c
Externí odkaz:
http://arxiv.org/abs/1702.02406
In abstract interpretation-based static analysis, approximation is encoded by abstract domains. They provide systematic guidelines for designing abstract semantic functions that approximate some concrete system behaviors under analysis. It may happen
Externí odkaz:
http://arxiv.org/abs/0910.4748
Cousot and Cousot introduced and studied a general past/future-time specification language, called mu*-calculus, featuring a natural time-symmetric trace-based semantics. The standard state-based semantics of the mu*-calculus is an abstract interpret
Externí odkaz:
http://arxiv.org/abs/cs/0404048
Publikováno v:
In Theoretical Computer Science 27 April 2015 577:74-97
Publikováno v:
In Information and Computation October 2014 237:187-203
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In Theoretical Computer Science 2009 410(46):4724-4746