Cargando…
Shape analysis
Researchers and students new to the concept of shape analysis will find this a one-stop shop of information that will quickly get them up to speed on all aspects of the topic. With a comprehensive set of references, this accessible survey will enable the reader to adopt the techniques quickly in the...
Autores principales: | Chang, Bor-Yuh Evan, ăgoi, Cezara, Manevich, Roman, Rinetzky, Noam, Rival, Xavier |
---|---|
Lenguaje: | eng |
Publicado: |
Now Publishers
2020
|
Materias: | |
Acceso en línea: | http://cds.cern.ch/record/2762823 |
Ejemplares similares
-
Static analysis: 26th international symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, proceedings
por: Chang, Bor-Yuh Evan
Publicado: (2019) -
Programming languages and systems: 15th Asian symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, proceedings
por: Chang, Bor-Yuh Evan
Publicado: (2017) -
Static analysis: 23rd international symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, proceedings
por: Rival, Xavier
Publicado: (2016) -
Run-time Complexity Bounds Using Squeezers
por: Ish-Shalom, Oren, et al.
Publicado: (2021) -
Static analysis and verification of aerospace software by abstract interpretation
por: Julien Bertrane, Julien, et al.
Publicado: (2015)