Please use this identifier to cite or link to this item:
Title: μLarvaScript : rethinking the Larva scripting language
Authors: Francalanza, Adrian
Keywords: Scripting languages (Computer science)
Programming languages (Electronic computers) -- Software
Computer programs -- Verification
Issue Date: 2012-11
Publisher: University of Malta. Faculty of ICT
Citation: Francalanza, A. (2012). μLarvaScript : rethinking the Larva scripting language. Computer Science Annual Workshop CSAW’12, Msida. 17-18.
Abstract: polyLarva, the latest incarnation of the Larva runtime-verification (RV) tool suite, experienced a major redesign to its scripting language (used for specifying the monitors that carry out the RV.).
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
Proceedings of CSAW12 - A7.pdf221.17 kBAdobe PDFView/Open

Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.