OAR@UM: Browsing 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 71 next >

Issue Date	Title	Author(s)
2005	Abductive runtime verification of Lustre programs	Sultana, Nikolai (2005)
2014	An aspect-oriented system specification language based on Gherkin	Aquilina Alamango, John (2014)
2010	Compensations in an imperative programming language	Francalanza, Adrian; Pace, Gordon J.; Vella, Lydia
2010	Compensations in an imperative programming language	Vella, Lydia (2010)
2008	Compilation for itanium architecture	Caruana, Elvio J. (2008)
2021	Computer says no : verdict explainability for runtime monitors using a local proof	Francalanza, Adrian; Cini, Clare
2003	Computer-aided verification : how to trust a machine with your life	Pace, Gordon J.
1999	Concurrent and distributed implementation of the asynchronous computing engine	Spina, Sandro (1999)
2002	A conversion tool from traditional software development notation into UML	Friggieri, Donald (2002)
2009	Counter example visualization for runtime verification	Cachia, Matthew (2009)
1987	A cross-assembler for a 68000 based system on the BBC micro	Pace, Arthur (1987)
2008	Cuneus : an embeddable scripting framework based on a virtual machine paradigm	Mangion, Gordon (2008)
2018	Dalvik bytecode interpreter for 16-bit machines	Muscat, Timothy
1999	Development of a component architecture within HOOPLA	Azzopardi, Anita (1999)
2021	A DFA learning toolkit	Cherrett, Daniel (2021)
2013	An Eclipse plug-in for polyLARVA	Chetcuti, Silvan (2013)
2010	The effect of inter-species competition on lifetime learning	Azzopardi, Jean (2010)
2008	Embedding Prolog in Haskell	Bonanno, George (2008)
2014	Explaining violation traces with finite state natural language generation models	Pace, Gordon J.; Rosner, Michael
2023	Exploring bidirectional typing for the Semi-Axiomatic sequent calculus	Borg, Benjamin (2023)

Showing results 1 to 20 of 71 next >