Please use this identifier to cite or link to this item:
Full metadata record
DC FieldValueLanguage
dc.contributor.authorFrancalanza, Adrian-
dc.identifier.citationFrancalanza, A. (2012). μLarvaScript : rethinking the Larva scripting language. Computer Science Annual Workshop CSAW’12, Msida. 17-18.en_GB
dc.description.abstractpolyLarva, 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.).en_GB
dc.publisherUniversity of Malta. Faculty of ICTen_GB
dc.subjectScripting languages (Computer science)en_GB
dc.subjectProgramming languages (Electronic computers) -- Softwareen_GB
dc.subjectComputer programs -- Verificationen_GB
dc.titleμLarvaScript : rethinking the Larva scripting languageen_GB
dc.rights.holderThe copyright of this work belongs to the author(s)/publisher. The rights of this work are as defined by the appropriate Copyright Legislation or as modified by any successive legislation. Users may access this work and can make use of the information contained in accordance with the Copyright Legislation provided that the author must be properly acknowledged. Further distribution or reproduction in any format is prohibited without the prior permission of the copyright holder.en_GB
dc.bibliographicCitation.conferencenameComputer Science Annual Workshop CSAW’12en_GB
dc.bibliographicCitation.conferenceplaceMsida, Malta, 8-9/11/2012en_GB
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.