| |
Aceto, Luca
|
Erlang '17: "eAOP: An Aspect Oriented Programming ..."
eAOP: An Aspect Oriented Programming Framework for Erlang
Ian Cassar, Adrian Francalanza, Luca Aceto, and Anna Ingólfsdóttir
(University of Malta, Malta; Reykjavik University, Iceland)
@InProceedings{Erlang17p25,
author = {Ian Cassar and Adrian Francalanza and Luca Aceto and Anna Ingólfsdóttir},
title = {eAOP: An Aspect Oriented Programming Framework for Erlang},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {25-24},
doi = {},
year = {2017},
}
|
| |
Aronis, Stavros |
Erlang '17: "The Shared-Memory Interferences ..."
The Shared-Memory Interferences of Erlang/OTP Built-Ins
Stavros Aronis and Konstantinos Sagonas
(Uppsala University, Sweden)
@InProceedings{Erlang17p49,
author = {Stavros Aronis and Konstantinos Sagonas},
title = {The Shared-Memory Interferences of Erlang/OTP Built-Ins},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {49-48},
doi = {},
year = {2017},
}
|
| |
Azuma, Kagumi |
Erlang '17: "Distributed Memory Architecture ..."
Distributed Memory Architecture for High-Level Synthesis of Embedded Controllers from Erlang
Kagumi Azuma, Nagisa Ishiura, Nobuaki Yoshida, and Hiroyuki Kanbara
(Kwansei Gakuin University, Japan; ASTEM RI/KYOTO, Japan)
@InProceedings{Erlang17p13,
author = {Kagumi Azuma and Nagisa Ishiura and Nobuaki Yoshida and Hiroyuki Kanbara},
title = {Distributed Memory Architecture for High-Level Synthesis of Embedded Controllers from Erlang},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {13-12},
doi = {},
year = {2017},
}
|
| |
Bozó, István
|
Erlang '17: "Towards Change-Driven Testing ..."
Towards Change-Driven Testing
Viktória Fördős, István Bozó, and Melinda Tóth
(Klarna, Sweden; ELTE Eötvös Loránd University, Hungary)
@InProceedings{Erlang17p73,
author = {Viktória Fördős and István Bozó and Melinda Tóth},
title = {Towards Change-Driven Testing},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {73-72},
doi = {},
year = {2017},
}
|
| |
Cassar, Ian
|
Erlang '17: "eAOP: An Aspect Oriented Programming ..."
eAOP: An Aspect Oriented Programming Framework for Erlang
Ian Cassar, Adrian Francalanza, Luca Aceto, and Anna Ingólfsdóttir
(University of Malta, Malta; Reykjavik University, Iceland)
@InProceedings{Erlang17p25,
author = {Ian Cassar and Adrian Francalanza and Luca Aceto and Anna Ingólfsdóttir},
title = {eAOP: An Aspect Oriented Programming Framework for Erlang},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {25-24},
doi = {},
year = {2017},
}
|
| |
Fördős, Viktória
|
Erlang '17: "Towards Change-Driven Testing ..."
Towards Change-Driven Testing
Viktória Fördős, István Bozó, and Melinda Tóth
(Klarna, Sweden; ELTE Eötvös Loránd University, Hungary)
@InProceedings{Erlang17p73,
author = {Viktória Fördős and István Bozó and Melinda Tóth},
title = {Towards Change-Driven Testing},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {73-72},
doi = {},
year = {2017},
}
|
| |
Francalanza, Adrian |
Erlang '17: "eAOP: An Aspect Oriented Programming ..."
eAOP: An Aspect Oriented Programming Framework for Erlang
Ian Cassar, Adrian Francalanza, Luca Aceto, and Anna Ingólfsdóttir
(University of Malta, Malta; Reykjavik University, Iceland)
@InProceedings{Erlang17p25,
author = {Ian Cassar and Adrian Francalanza and Luca Aceto and Anna Ingólfsdóttir},
title = {eAOP: An Aspect Oriented Programming Framework for Erlang},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {25-24},
doi = {},
year = {2017},
}
|
| |
Harrison, Joseph R.
|
Erlang '17: "Towards an Isabelle/HOL Formalisation ..."
Towards an Isabelle/HOL Formalisation of Core Erlang
Joseph R. Harrison
(University of Kent, UK)
@InProceedings{Erlang17p61,
author = {Joseph R. Harrison},
title = {Towards an Isabelle/HOL Formalisation of Core Erlang},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {61-60},
doi = {},
year = {2017},
}
|
| |
Ingólfsdóttir, Anna
|
Erlang '17: "eAOP: An Aspect Oriented Programming ..."
eAOP: An Aspect Oriented Programming Framework for Erlang
Ian Cassar, Adrian Francalanza, Luca Aceto, and Anna Ingólfsdóttir
(University of Malta, Malta; Reykjavik University, Iceland)
@InProceedings{Erlang17p25,
author = {Ian Cassar and Adrian Francalanza and Luca Aceto and Anna Ingólfsdóttir},
title = {eAOP: An Aspect Oriented Programming Framework for Erlang},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {25-24},
doi = {},
year = {2017},
}
|
| |
Ishiura, Nagisa |
Erlang '17: "Distributed Memory Architecture ..."
Distributed Memory Architecture for High-Level Synthesis of Embedded Controllers from Erlang
Kagumi Azuma, Nagisa Ishiura, Nobuaki Yoshida, and Hiroyuki Kanbara
(Kwansei Gakuin University, Japan; ASTEM RI/KYOTO, Japan)
@InProceedings{Erlang17p13,
author = {Kagumi Azuma and Nagisa Ishiura and Nobuaki Yoshida and Hiroyuki Kanbara},
title = {Distributed Memory Architecture for High-Level Synthesis of Embedded Controllers from Erlang},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {13-12},
doi = {},
year = {2017},
}
|
| |
Kanbara, Hiroyuki
|
Erlang '17: "Distributed Memory Architecture ..."
Distributed Memory Architecture for High-Level Synthesis of Embedded Controllers from Erlang
Kagumi Azuma, Nagisa Ishiura, Nobuaki Yoshida, and Hiroyuki Kanbara
(Kwansei Gakuin University, Japan; ASTEM RI/KYOTO, Japan)
@InProceedings{Erlang17p13,
author = {Kagumi Azuma and Nagisa Ishiura and Nobuaki Yoshida and Hiroyuki Kanbara},
title = {Distributed Memory Architecture for High-Level Synthesis of Embedded Controllers from Erlang},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {13-12},
doi = {},
year = {2017},
}
|
| |
Lukács, Dániel
|
Erlang '17: "Structuring Erlang BEAM Control ..."
Structuring Erlang BEAM Control Flow
Dániel Lukács and Melinda Tóth
(ELTE Eötvös Loránd University, Hungary)
@InProceedings{Erlang17p37,
author = {Dániel Lukács and Melinda Tóth},
title = {Structuring Erlang BEAM Control Flow},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {37-36},
doi = {},
year = {2017},
}
|
| |
Sagonas, Konstantinos
|
Erlang '17: "The Shared-Memory Interferences ..."
The Shared-Memory Interferences of Erlang/OTP Built-Ins
Stavros Aronis and Konstantinos Sagonas
(Uppsala University, Sweden)
@InProceedings{Erlang17p49,
author = {Stavros Aronis and Konstantinos Sagonas},
title = {The Shared-Memory Interferences of Erlang/OTP Built-Ins},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {49-48},
doi = {},
year = {2017},
}
|
| |
Shishkin, Evgeniy |
Erlang '17: "Construction and Formal Verification ..."
Construction and Formal Verification of a Fault-Tolerant Distributed Mutual Exclusion Algorithm
Evgeniy Shishkin
(JSC InfoTeCS, Russia)
@InProceedings{Erlang17p1,
author = {Evgeniy Shishkin},
title = {Construction and Formal Verification of a Fault-Tolerant Distributed Mutual Exclusion Algorithm},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2017},
}
|
| |
Tóth, Melinda
|
Erlang '17: "Structuring Erlang BEAM Control ..."
Structuring Erlang BEAM Control Flow
Dániel Lukács and Melinda Tóth
(ELTE Eötvös Loránd University, Hungary)
@InProceedings{Erlang17p37,
author = {Dániel Lukács and Melinda Tóth},
title = {Structuring Erlang BEAM Control Flow},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {37-36},
doi = {},
year = {2017},
}
Erlang '17: "Towards Change-Driven Testing ..."
Towards Change-Driven Testing
Viktória Fördős, István Bozó, and Melinda Tóth
(Klarna, Sweden; ELTE Eötvös Loránd University, Hungary)
@InProceedings{Erlang17p73,
author = {Viktória Fördős and István Bozó and Melinda Tóth},
title = {Towards Change-Driven Testing},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {73-72},
doi = {},
year = {2017},
}
|
| |
Yoshida, Nobuaki
|
Erlang '17: "Distributed Memory Architecture ..."
Distributed Memory Architecture for High-Level Synthesis of Embedded Controllers from Erlang
Kagumi Azuma, Nagisa Ishiura, Nobuaki Yoshida, and Hiroyuki Kanbara
(Kwansei Gakuin University, Japan; ASTEM RI/KYOTO, Japan)
@InProceedings{Erlang17p13,
author = {Kagumi Azuma and Nagisa Ishiura and Nobuaki Yoshida and Hiroyuki Kanbara},
title = {Distributed Memory Architecture for High-Level Synthesis of Embedded Controllers from Erlang},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {13-12},
doi = {},
year = {2017},
}
|