Static Analysis
Static Analysis

Author: Cezara Drăgoi

Publisher: Springer Nature

Published: 2021-10-13

Total Pages: 494

ISBN-13: 3030888061

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 28th International Symposium on Static Analysis, SAS 2021, held in Chicago, IL, USA, in October 2021. The 18 regular and 4 short papers, carefully reviewed and selected from 48 submissions, are presented in this book together with 1-page summaries of the three invited talks. The papers cover topics such as static program analysis, abstract domain, abstract interpretation, automated deduction, debugging techniques, deductive methods, model checking, data science, program optimizations and transformations, program synthesis, program verification, and security analysis.

Languages and Compilers for Parallel Computing
Languages and Compilers for Parallel Computing

Author: José Nelson Amaral

Publisher: Springer Science & Business Media

Published: 2008-12

Total Pages: 366

ISBN-13: 3540897399

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-conference proceedings of the 21th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2008, held in Edmonton, Canada, in July/August 2008. The 18 revised full papers and 6 revised short papers presented were carefully reviewed and selected from 35 submissions. The papers address all aspects of languages, compiler techniques, run-time environments, and compiler-related performance evaluation for parallel and high-performance computing and comprise also presentations on program analysis that are precursors of high performance in parallel environments.

Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation

Author: Gilles Barthe

Publisher: Springer Science & Business Media

Published: 2010-01-08

Total Pages: 406

ISBN-13: 3642113184

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010, held in Madrid, Spain, in January 2010. The 21 papers included in this volume were carefully reviewed and selected from 57 submissions. In addition 3 invited talks and 3 invited tutorials are presented. Topics covered by VMCAI include program verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, static analysis, type systems, deductive methods, and optimization.

Engineering Methods and Tools for Software Safety and Security
Engineering Methods and Tools for Software Safety and Security

Author: M. Broy

Publisher: IOS Press

Published: 2009

Total Pages: 344

ISBN-13: 1586039768

DOWNLOAD EBOOK

As a consequence of the wide distribution of software and software infrastructure, information security and safety depend on the quality and excellent understanding of its functioning. Only if this functionality is guaranteed as safe, customer and information are protected against adversarial attacks and malfunction. A vast proportion of information exchange is dominated by computer systems. Due to the fact that technical systems are more or less interfaced with software systems, most information exchange is closely related to software and computer systems.

Types for Proofs and Programs
Types for Proofs and Programs

Author: Marino Miculan

Publisher: Springer Science & Business Media

Published: 2008-05-26

Total Pages: 210

ISBN-13: 3540680845

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2007, the concluding conference of the Types project, held in Cividale del Friuli, Italy, in May 2007. The 13 revised full papers presented were carefully reviewed and selected from 22 submissions. The topic of this last annual workshop of the Types Working Group was formal reasoning and computer programming based on type theory. Great importance was attached to languages and computerized tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalization of mathematics and mathematics education.

Programming Languages and Systems
Programming Languages and Systems

Author: Luís Caires

Publisher: Springer

Published: 2019-04-05

Total Pages: 820

ISBN-13: 3030171841

DOWNLOAD EBOOK

This open access book constitutes the proceedings of the 28th European Symposium on Programming, ESOP 2019, which took place in Prague, Czech Republic, in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.

NASA Formal Methods
NASA Formal Methods

Author: Aaron Dutle

Publisher: Springer

Published: 2018-04-06

Total Pages: 481

ISBN-13: 3319779354

DOWNLOAD EBOOK

This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018. The 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.