9 citations · 31 across the 19 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2014
Expression-based aliasing for OO-languages
Georgiana Caltais
Alias analysis has been an interesting research topic in verification and optimization of programs. The undecidability of determining whether two expressions in a program may refer…
cs.PL2014★ 4 cited
Coffman deadlocks in SCOOP
Georgiana Caltais, Bertrand Meyer
In this paper we address the deadlock detection problem in the context of SCOOP - an OO-programming model for concurrency, recently formalized in Maude. We present the integration…