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 12 to 31 of 69 < previous next >

Issue Date	Title	Author(s)
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)
2018	Expressing runtime verification properties using regular expression in LARVA	Chatlani, Avinash
1999	Extending the HOOPLA type system	Francalanza, Adrian
2012	An extensible and configurable runtime verification framework	Mizzi, Ruth (2012)
2013	A formal semantics for imperative compensations	Camilleri, Jennifer (2013)
2015	A framework for the generation of computer system diagnostics in natural language using finite state methods	Farrell, Rachel; Pace, Gordon J.; Rosner, Michael
2013	Generating test cases through ModelJUnit for LARVA specifications	Schembri, Renzo (2013)
2010	A generic framework for multi-parameter optimization of flight trajectories	Chircop, Kenneth; Xuereb, Matthew; Zammit-Mangion, David; Cachia, Ernest
2012	Hazard avoidance auto control system for a robotic vehicle	Farrugia, Jean Luc (2012)
2017-10	Heaps don't lie : countering unsoundness with heap snapshots	Grech, Neville; Fourtounis, George; Francalanza, Adrian; Smaragdakis, Yannis
2007	Imperative mode-automata	Schembri, Ruth (2007)
2013	Improving airlines' real-time, online reservation systems	Zahra, Rebecca (2013)
2014-11	Improving the Gherkin specification language using aspect-oriented techniques	Aquilina Alamango, John; Colombo, Christian; Micallef, Mark

Showing results 12 to 31 of 69 < previous next >