42 citations · 64 across the 12 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.PL2015★ 2 cited
Time complexity of concurrent programs
Elena Giachino, Einar Broch Johnsen, Cosimo Laneve +1
We study the problem of automatically computing the time complexity of concurrent object-oriented programs. To determine this complexity we use intermediate abstract descriptions t…
cs.PL2015★ 42 cited
A framework for deadlock detection in core ABS
Elena Giachino, Cosimo Laneve, Michael Lienhardt
We present a framework for statically detecting deadlocks in a concurrent object-oriented language with asynchronous method calls and cooperative scheduling of method activations.…