Engineering Commons^™

Non Interference For Intuitionist Necessity, Radha Jagadeesan, Corin Pitcher, James Riely

Technical Reports

The necessity modality of intuitionist S4 is a comonad. In this paper, we study indexed necessity modalities that provide the logical foundation for a variety of applications; for example, to model possession of capabilities in policy languages for access control, and to track exceptions in type theories for exceptional computation.

Noninterference properties of the intuitionist logic of indexed necessity modalities capture the limitations on the information flow between formulas that are under the scope of necessity modalities with different indices. The impact of noninterference is seen in the unprovability of certain formulas. Noninterference is necessary for several applications. In models …

Metonymy And Student Programming Errors, Craig Miller

Technical Reports

The common occurrence of metonymy in everyday language is considered as a negative bias towards successfully learning to state the correct referent when learning to program. Reported errors from previous studies are surveyed and the analysis reveals a pattern consistent with the use of metonymy, a rhetorical device where the speaker states a referent that is structurally related to the intended referent. This analysis suggests an underlying cause for a class of programming errors and provides directions for further research and instructional interventions.

A Framework For Evaluating Traceability Benchmark Metrics, Yonghee Shin, Jane Huffman Hayes, Jane Cleland-Huang

Technical Reports

Many software traceability techniques have been developed in the past decade, but suffer from inaccuracy. To address this shortcoming, the software traceability research community seeks to employ benchmarking. Benchmarking will help the community agree on whether improvements to traceability techniques have addressed the challenges faced by the research community. A plethora of evaluation methods have been applied, with no consensus on what should be part of a community benchmark. The goals of this paper are: to identify recurring problems in evaluation of traceability techniques, to identify essential properties that evaluation methods should possess to overcome the identified problems, and to …