Marjan Mernik, Barrett R. Bryant
Special issue on the Programming Languages track at the 25th ACM Symposium on Applied Computing
SAC-PL-J-2010, 2013.

@proceedings{SAC-PL-J-2010,
	editor        = "Marjan Mernik and Barrett R. Bryant",
	journal       = "{Science of Computer Programming}",
	number        = 4,
	title         = "{Special issue on the Programming Languages track at the 25th ACM Symposium on Applied Computing}",
	volume        = 78,
	year          = 2013,
}

Contents (2 items)

SAC-PL-J-2010-PopeeaC13 #analysis #debugging #proving #safety

Dual analysis for proving safety and finding bugs (CP, WNC), pp. 390–411.

SAC-PL-J-2010-RodriguesNPM13 #semantics

Preserving the original MPI semantics in a virtualized processor environment (ERR, POAN, JP, CLM), pp. 412–421.