Skip navigation
Home
Browse
Communities
& Collections
Browse Items by:
Author
Title
Subject
Issue Date
Material Type
Language
Access Rights
Help
OAR@UM Help
FAQs
OAR@UM Policies
Submission Forms
Sign on to:
My OAR@UM
OAR@UM
Browsing by Subject ERLANG (Computer program language)
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:
Sort by:
title
issue date
submit date
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 13 to 32 of 39
< previous
next >
Issue Date
Title
Author(s)
2017
eAOP : an aspect oriented programming framework for Erlang
Cassar, Ian
;
Francalanza, Adrian
;
Aceto, Luca
;
Ingólfsdóttir, Anna
2011
ELARVA : a monitoring tool for Erlang
Colombo, Christian
;
Francalanza, Adrian
;
Gatt, Rudolph
2013-11
Equivalence proofs for Erlang refactoring
Tanti, Erica
;
Francalanza, Adrian
2014
Extending detectEr, a runtime verification tool for Erlang
Said, Simon (2014)
2012
Implementing code on demand using Erlang
Cutajar, Brendan (2012)
2023
Instrumenting inline runtime monitoring in Elixir
Gauci, Paul (2023)
2011
Mapping channel-based message passing to mailbox message passing in Erlang
Colombo, Joseph (2011)
2014-11
Mobile Erlang computations to enhance performance, resource usage and reliability
Francalanza, Adrian
;
Zerafa, Tyron
2012
Monitoring as an instance of behaviour in Erlang
Spiteri, Elise Ann (2012)
2014
On synchronous and asynchronous monitor instrumentation for actor-based systems
Cassar, Ian
;
Francalanza, Adrian
2013
polyLARVA plugin for Erlang
Galea, Ivan (2013)
2018
Reversible choreographies via monitoring in Erlang
Francalanza, Adrian
;
Mezzina, Claudio Antares
;
Tuosto, Emilio
2012
Runtime verification of distributed systems
Masini, Joseph (2012)
2012
Synchronous and asynchronous monitoring in Elarva
Calleja, Justin (2012)
2013
Synthesising correct concurrent runtime monitors
Seychell, Aldrin (2013)
2015
Synthesising correct concurrent runtime monitors
Francalanza, Adrian
;
Seychell, Aldrin
2012
Towards a formalisation of Erlang failure and failure detection
Farrugia, Audrianne
;
Francalanza, Adrian
2012
Towards a specification-based correctness of Erlang systems through asynchronous monitoring
Colombo, Christian
;
Francalanza, Adrian
2013
Towards an abstraction for remote evaluation in Erlang
Francalanza, Adrian
;
Zerafa, Tyron
2020
Towards choreographic-based monitoring
Francalanza, Adrian
;
Mezzina, Claudio Antares
;
Tuosto, Emilio