JPL Technical Report Server

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

Show simple item record

dc.contributor.author Havelund, Klaus
dc.date.accessioned 2012-12-20T22:21:15Z
dc.date.available 2012-12-20T22:21:15Z
dc.date.issued 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.identifier.uri http://hdl.handle.net/2014/42570
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

Search


Browse

My Account