High-level programming of embedded hard real-time devices (2010)

by F Pizlo, L Ziarek, E Blanton, P Maj, J Vitek
Venue:In Proceedings of the 5th European conference on Computer systems, EuroSys ’10
Add To MetaCart
Results 1 - 1 of 1

Specifying Subtypes in SCJ Programs

by Ghaith Haddad, Gary T. Leavens, Gary T. Leavens , 2011
"... about Programs — Assertions, logics of programs, pre- and post-conditions, specification techniques; Submitted for publication. School of EECS ..."
Abstract - Add to MetaCart
about Programs — Assertions, logics of programs, pre- and post-conditions, specification techniques; Submitted for publication. School of EECS