Program Correctness
10 Followers
Recent papers in Program Correctness
One of the most important current software issues is re- liability, and accordingly, a major criterion of program- ming language design must be that the language contribute to the production of reliable programs. Although there are other... more
One of the most important current software issues is re- liability, and accordingly, a major criterion of program- ming language design must be that the language contribute to the production of reliable programs. Although there are other... more
Model synchronization is one of the key activities of model-driven software development approach. However currently used synchronization methods are quite inefficient since they deal with models’ structure only without analyzing their... more
Nowadays, due to increasing system complexity and growing competition and costs, industry makes high demands on powerful techniques used to design and analyze manufacturing systems. One of the most popular techniques to do performance... more
In most computer science curricula, formal reasoning about program correctness is taught separately from practical programming, and is thus by most students considered a purely theoretical activity. It has b een a challenge to con- vince... more
Research in dependent type theories [M-L71a] has, in the past, concentrated on its usein the presentation of theorems and theorem-proving. This thesis is concerned mainlywith the exploitation of the computational aspects of type theory... more
There is little empirical information about the relation betweenthe quality of the programs and the style of the programmer. One experimentin this direction is presented in this paper.
Tabular representations have been proposed for structuring complex mathematical expressions as they appear in the specification of programs. We argue that tables not only help in writing and checking complex expressions, but also in their... more
This article presents a new formal approach to testing. In the field of dynamic testing, as soon as a program fails for a test set, it is flagged incorrect. The remaining question is: how far can a successful program be considered as... more
Chip multiprocessors (CMPs) issue write invalidations (WIs) to assure program correctness. In conventional snoop-based protocols, writers broadcast invalidations to all nodes as soon as possible. In this work we show that this approach,... more