In the 1920s, Heyting attempted at axiomatizing constructive geometry. Recently, von Plato used di4erent concepts to axiomatize the geometry: he used 14 axioms to describe the axiomatization for apartness geometry. Then he added axioms A1 and A2 to his apartness geometry to get his a8ne geometry, then he added axioms O1, O2, O3 and O4 to the a8ne geometry to get orthogonality. In total, this gi...

Program slicing is a technique for automatically identifying the statements of a program which a ect a selected subset of its variables. A large program can be divided into a number of smaller programs (its slices), each constructed for di erent variable subsets. The slices are typically simpler than the original program, thereby simplifying the process of testing a property of the program whic...