Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
FSE '16 : proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering : November 13-18, 2016, Seattle, WA, USA / / edited by Thomas Zimmermann, Jane Cleland-Huang, and Zhendong Su ; sponsored by ACM SIGSOFT
| FSE '16 : proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering : November 13-18, 2016, Seattle, WA, USA / / edited by Thomas Zimmermann, Jane Cleland-Huang, and Zhendong Su ; sponsored by ACM SIGSOFT |
| Pubbl/distr/stampa | New York : , : ACM, , 2016 |
| Descrizione fisica | 1 online resource (1156 pages) |
| Disciplina | 005.1 |
| Soggetto topico |
Software engineering
Computer software |
| ISBN | 1-4503-4218-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Foundations of Software Engineering 2016 : proceedings of the 2016 24th Association for Computing Machinery Special Interest Group on Software Engineering International Symposium on Foundations of Software Engineering : November 13-18, 2016, Seattle, WA, USA
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering Proceedings of the 2016 24th Association for Computing Machinery Special Interest Group on Software Engineering International Symposium on Foundations of Software Engineering FSE '16 : 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering : Seattle, WA, USA, November 13-19, 2016 |
| Record Nr. | UNINA-9910376161403321 |
| New York : , : ACM, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 2012 International Symposium on Software Testing and Analysis (ISSTA) : July 15-20, 2012 Minneapolis, MN, USA
| Proceedings of the 2012 International Symposium on Software Testing and Analysis (ISSTA) : July 15-20, 2012 Minneapolis, MN, USA |
| Autore | Heimdahl Mats |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2012 |
| Descrizione fisica | 1 online resource (341 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| ISBN | 1-4503-1454-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | ISSTA '12 International Symposium on Software Testing and Analysis, Minneapolis, MN, USA - July 15 - 20, 2012 |
| Record Nr. | UNINA-9910376321103321 |
Heimdahl Mats
|
||
| [Place of publication not identified], : ACM, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Static Analysis [[electronic resource] ] : 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings / / edited by Jens Palsberg, Zhendong Su
| Static Analysis [[electronic resource] ] : 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings / / edited by Jens Palsberg, Zhendong Su |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (X, 362 p.) |
| Disciplina | 005.13 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Software engineering Computer programming Computer logic Mathematical logic Programming Languages, Compilers, Interpreters Software Engineering/Programming and Operating Systems Programming Techniques Logics and Meanings of Programs Software Engineering Mathematical Logic and Formal Languages |
| ISBN |
1-280-38313-5
9786613561053 3-642-03237-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Algorithmic Program Synthesis with Partial Programs and Decision Procedures -- Algorithmic Verification of Systems Software Using SMT Solvers -- Contributed Papers -- Abstraction Refinement for Quantified Array Assertions -- Inferring Dataflow Properties of User Defined Table Processors -- Polymorphic Fractional Capabilities -- Automatic Parallelization and Optimization of Programs by Proof Rewriting -- Refinement of Trace Abstraction -- The Causal Graph Revisited for Directed Model Checking -- Proving the Correctness of the Implementation of a Control-Command Algorithm -- Abstract Interpretation of FIFO Replacement -- A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination -- Increasing the Scope and Resolution of Interprocedural Static Single Assignment -- Region Analysis for Race Detection -- Bottom-Up Shape Analysis -- The Complexity of Andersen’s Analysis in Practice -- Optimizing Pointer Analysis Using Bisimilarity -- Type Analysis for JavaScript -- Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology -- Creating Transformations for Matrix Obfuscation -- Abstract Interpretation from a Topological Perspective -- Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships -- Invariant Checking for Programs with Procedure Calls -- Inter-program Properties. |
| Record Nr. | UNISA-996465283503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Static analysis : 16th International symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 : proceedings / / Jens Palsberg, Zhendong Su (eds.)
| Static analysis : 16th International symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 : proceedings / / Jens Palsberg, Zhendong Su (eds.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer-Verlag, 2009 |
| Descrizione fisica | 1 online resource (X, 362 p.) |
| Disciplina | 005.13 |
| Altri autori (Persone) |
PalsbergJens
SuZhendong |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer programming
Programming languages (Electronic computers) |
| ISBN |
1-280-38313-5
9786613561053 3-642-03237-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Algorithmic Program Synthesis with Partial Programs and Decision Procedures -- Algorithmic Verification of Systems Software Using SMT Solvers -- Contributed Papers -- Abstraction Refinement for Quantified Array Assertions -- Inferring Dataflow Properties of User Defined Table Processors -- Polymorphic Fractional Capabilities -- Automatic Parallelization and Optimization of Programs by Proof Rewriting -- Refinement of Trace Abstraction -- The Causal Graph Revisited for Directed Model Checking -- Proving the Correctness of the Implementation of a Control-Command Algorithm -- Abstract Interpretation of FIFO Replacement -- A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination -- Increasing the Scope and Resolution of Interprocedural Static Single Assignment -- Region Analysis for Race Detection -- Bottom-Up Shape Analysis -- The Complexity of Andersen’s Analysis in Practice -- Optimizing Pointer Analysis Using Bisimilarity -- Type Analysis for JavaScript -- Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology -- Creating Transformations for Matrix Obfuscation -- Abstract Interpretation from a Topological Perspective -- Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships -- Invariant Checking for Programs with Procedure Calls -- Inter-program Properties. |
| Altri titoli varianti | SAS 2009 |
| Record Nr. | UNINA-9910484724803321 |
| Berlin ; ; New York, : Springer-Verlag, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||