Metaprogramming in C (1996)

by Martin D Carroll
Venue:Journal of Programming Languages
Add To MetaCart
Results 1 - 1 of 1

A runtime assertion checker for the Java Modeling Language (JML)

by Yoonsik Cheon, Gary T. Leavens - PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE (SERP ’02), LAS VEGAS , 2002
"... ..."
Abstract - Cited by 113 (18 self) - Add to MetaCart
Abstract not found