JPL Technical Report Server

Closing the gap between specication and programming : Vᴆᴍ⁺⁺ and Sᴄᴀlᴀ

Show simple item record Havelund, Klaus 2012-12-20T22:21:15Z 2012-12-20T22:21:15Z 2011-12-20
dc.identifier.citation Howard-60: Higher Order Workshop on Automated Runtime Verification and Debugging, Manchester University, December 20, 2011. en_US
dc.identifier.clearanceno 12-1636
dc.description.abstract We argue that a modern programming language such as Scala offers a level of succinctness, which makes it suitable for program and systems specification as well as for high-level programming. We illustrate this by comparing the language with the Vdm++ specification language. The comparison also identifies areas where Scala perhaps could be improved, inspired by Vdm++. We furthermore illustrate Scala’s potential as a specification language by augmenting it with a combination of parameterized state machines and temporal logic, defined as a library, thereby forming an expressive but simple runtime verification framework. en_US
dc.description.sponsorship NASA/JPL en_US
dc.language.iso en_US en_US
dc.publisher Pasadena, CA : Jet Propulsion Laboratory, National Aeronautics and Space Administration, 2012. en_US
dc.subject specifications en_US
dc.subject programming en_US
dc.subject language design en_US
dc.title Closing the gap between specication and programming : Vᴆᴍ⁺⁺ and Sᴄᴀlᴀ en_US
dc.type Preprint en_US
dc.subject.NASATaxonomy Computer Programming and Software en_US

Files in this item

This item appears in the following Collection(s)

Show simple item record



My Account