Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/23008| 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.). |
| URI: | https://www.um.edu.mt/library/oar//handle/123456789/23008 |
| Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Proceedings of CSAW12 - A7.pdf | 221.17 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.