Within the last year
Within the past 3 years
1 - 6 of 6 articles
A multi-interpreter system is a system in which programs execute by virtue of being interpreted by other programs, which themselves may either be interpreted (i.e. nested interpreters) or run directly on the host machine. The model reveals the anatomy of interpreters and how these differ from...
The prevalence with which errors may be encountered by the end targets of a computerized process is assessed. How many and what type of errors occur? How easily are they corrected? What is the reaction of consumers to errors—to a failure to correct them? What can be learned by designers of...
A variety of concepts, laws, and notations are presented which facilitate reasoning about arrays. The basic concepts include intervals and their partitions, functional restriction, images, pointwise extension of relations, ordering, single-point variation of functions, various equivalence...
The article 1 by Matthew Geller presents a proposed method for establishing the correctness of a class of programs. Geller's abstract reads in part, “This paper introduces a technique whereby test data can be used in proving program correctness. In addition to simplifying the process of proving...
It is argued that formal verifications of programs, no matter how obtained, will not play the same key role in the development of computer science and software engineering as proofs do in mathematics. Furthermore the absence of continuity, the inevitability of change, and the complexity of...
Read and print from thousands of top scholarly journals.
Sign up with Facebook
Sign up with Google
Already have an account? Log in
Save this article to read later. You can see your Read Later on your DeepDyve homepage.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Sign Up Log In
To subscribe to email alerts, please log in first, or sign up for a DeepDyve account if you don’t already have one.
To get new article updates from a journal on your personalized homepage, please log in first, or sign up for a DeepDyve account if you don’t already have one.