1. OAR@UM

Browsing by Subject Programming languages (Electronic computers)

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 20 of 69  next >
Issue DateTitleAuthor(s)
2005Abductive runtime verification of Lustre programsSultana, Nikolai (2005)
2014An aspect-oriented system specification language based on GherkinAquilina Alamango, John (2014)
2010Compensations in an imperative programming languageFrancalanza, Adrian; Pace, Gordon J.; Vella, Lydia
2010Compensations in an imperative programming languageVella, Lydia (2010)
2008Compilation for itanium architectureCaruana, Elvio J. (2008)
2021Computer says no : verdict explainability for runtime monitors using a local proofFrancalanza, Adrian; Cini, Clare
2003Computer-aided verification : how to trust a machine with your lifePace, Gordon J.
1999Concurrent and distributed implementation of the asynchronous computing engineSpina, Sandro (1999)
2002A conversion tool from traditional software development notation into UMLFriggieri, Donald (2002)
2009Counter example visualization for runtime verificationCachia, Matthew (2009)
2008Cuneus : an embeddable scripting framework based on a virtual machine paradigmMangion, Gordon (2008)
2018Dalvik bytecode interpreter for 16-bit machinesMuscat, Timothy
1999Development of a component architecture within HOOPLAAzzopardi, Anita (1999)
2021A DFA learning toolkitCherrett, Daniel (2021)
2013An Eclipse plug-in for polyLARVAChetcuti, Silvan (2013)
2010The effect of inter-species competition on lifetime learningAzzopardi, Jean (2010)
2008Embedding Prolog in HaskellBonanno, George (2008)
2014Explaining violation traces with finite state natural language generation modelsPace, Gordon J.; Rosner, Michael
2023Exploring bidirectional typing for the Semi-Axiomatic sequent calculusBorg, Benjamin (2023)
2018Expressing runtime verification properties using regular expression in LARVAChatlani, Avinash
Showing results 1 to 20 of 69  next >