State of the art in program analysis

Over the last several decades, static and dynamic program analysis techniques have received widespread attention. Their application to mainstream programming languages always requires extending theories and finding practical solutions. This special issue of Software Tools for Technology Transfer pre...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	International journal on software tools for technology transfer 2024-10, Vol.26 (5), p.569-571
Hauptverfasser:	Ferrara, Pietro, Hadarean, Liana
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer Science Customization Design Optimization techniques Program verification (computers) Programming languages Semantics Software Software Engineering Software Engineering/Programming and Operating Systems Software utilities Technology transfer Theory of Computation Workshops
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	Over the last several decades, static and dynamic program analysis techniques have received widespread attention. Their application to mainstream programming languages always requires extending theories and finding practical solutions. This special issue of Software Tools for Technology Transfer presents novel theoretical directions and practical applications of these techniques. The papers in this special issue are extended versions of selected workshop papers from the proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP’23).
ISSN:	1433-2779 1433-2787
DOI:	10.1007/s10009-024-00766-x