Approaches to Improved Program Validation through Programming Language Design.
$20.00
{{option.name}}:
{{selected_options[option.position]}}
{{value_obj.value}}
An exploration of the relation between the language in which a computer program is written and the ease and efficiency of making sure that program is correct. First, definitions are provided for such overadaptive phrases as "validity," "testing," "l...
Show More
Show Less