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:  
Showing results 1 to 19 of 19
Issue DateTitleAuthor(s)
2009Assessing design patterns for concurrencyLeguesse, Fikre; Francalanza, Adrian
2020Behavioural APIs for Erlang processesZahra, Gianluca (2020)
2013Code management automation for Erlang remote actorsFrancalanza, Adrian; Zerafa, Tyron
2015Comparing Erlang-based web technologies with the emerging MEAN stack for scalable web applicationsTabone, Jamie
2012-11Designing correct runtime-monitors for ErlangSeychell, Aldrin; Francalanza, Adrian
2010Distributed protocols as behaviours in ErlangDemicoli, Darren; Francalanza, Adrian
2017eAOP : an aspect oriented programming framework for ErlangCassar, Ian; Francalanza, Adrian; Aceto, Luca; Ingolfsdottir, Anna
2011ELARVA : a monitoring tool for ErlangColombo, Christian; Francalanza, Adrian; Gatt, Rudolph
2013-11Equivalence proofs for Erlang refactoringTanti, Erica; Francalanza, Adrian
2014-11Mobile Erlang computations to enhance performance, resource usage and reliabilityFrancalanza, Adrian; Zerafa, Tyron
2014On synchronous and asynchronous monitor instrumentation for actor-based systemsCassar, Ian; Francalanza, Adrian
2015Synthesising correct concurrent runtime monitorsFrancalanza, Adrian; Seychell, Aldrin
2013Synthesising correct concurrent runtime monitorsSeychell, Aldrin (2013)
2012Towards a formalisation of Erlang failure and failure detectionFarrugia, Audrianne; Francalanza, Adrian
2012Towards a specification-based correctness of Erlang systems through asynchronous monitoringColombo, Christian; Francalanza, Adrian
2013Towards an abstraction for remote evaluation in ErlangFrancalanza, Adrian; Zerafa, Tyron
2015-08Towards sound refactoring in erlangTanti, Erica; Francalanza, Adrian
2014Towards sound refactoring in ERLANGTanti, Erica (2014)
2013-11The way forward for DETECTERFrancalanza, Adrian; Seychell, Aldrin; Cassar, Ian; Cutajar, Kurt; Said, Simon; Schembri, Blanche