Runtime assertion checking (RAC) is a convenient set of techniques that lets developers abstract away the process verifying correctness their programs by writing formal specifications and automating verification at runtime.In this work, we present ortac, runtime tool for OCaml libraries programs. functional programming language in which idioms rely on an expressive type system, modules, interfa...

Behavioral interface specification languages, such as Java Modeling Language (JML), can be used to specify the behavior of program modules. We have developed a behavioral interface specification language Moxa, an extension of JML. Moxa provides the new modularization mechanism called assertion aspect that can capture the crosscutting properties among assertions. In this paper, we briefly explai...

ANNALS COMMENTARY ANNALS COMMENTARY intellectual commerce-legal paradigms for global initiatives Human intellect is the genesis of the proud civilizations, where it carried out its collective march towards a 'better tomorrow'. The creative manifestations of the great intellects brought all of us from dark and dingy grottos to the luminous urbanity of the present day. For every small step forwar...

Engel (Grazer Philos Stud 77: 45–59, 2008) has insisted that a number of notable strategies for rejecting the knowledge norm of assertion are put forward on the basis of the wrong kinds of reasons. A central aim of this paper will be to establish the contrast point: I argue that one very familiar strategy for defending the knowledge norm of assertion—viz., that it is claimed to do better in var...