EC—a measurement based safer subset of ISO C suitable for embedded system development

EC—a measurement based safer subset of ISO C suitable for embedded system development