Title: Formal techniques for Java-Like programs
Authors: Boyland, John
Clarke, Dave
Leavens, Gary
Logozzo, Francesco
Poetzsch-Heffter, Arnd #
Issue Date: Feb-2008
Publisher: Springer
Host Document: Lecture Notes in Computer Science vol:4906 pages:99-107
Conference: ECOOP edition:21 location:Berlin, Germany date:30 July - 3 August 2007
Abstract: Formal techniques can help analyze programs, precisely describe program behavior, and verify program properties. Newer languages such as Java and C# provide good platforms to bridge the gap between formal techniques and practical program development, because of their reasonably clear semantics and standardized libraries. Moreover, these languages are interesting targets for formal techniques, because the novel paradigm for program deployment introduced with Java, with its improved portability and mobility, opens up new possibilities for abuse and causes concern about security.
Work on formal techniques and tools for programs and work on the formal underpinnings of programming languages themselves naturally complement each other. This workshop aims to bring together people working in both these fields, on topics such as: specification techniques and interface specification languages, specification of software components and library packages, automated checking and verification of program properties, verification logics, language semantics, program analysis, type systems, security.
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Non-KU Leuven Association publications
# (joint) last author

Files in This Item:
File Description Status SizeFormat
fulltext.pdfMain article Published 260KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science