Explora: A Visualisation Tool for Metric Analysis of Software Corpora

When analysing software metrics, users find that visualisation tools lack support for (1) the detection of patterns within metrics; and (2) enabling analysis of software corpora. In this paper we present Explora, a visualisation tool designed for the simultaneous analysis of multiple metrics of systems in software corpora. Explora incorporates a novel lightweight visualisation technique called PolyGrid that promotes the detection of graphical patterns. We present an example where we analyse the relation of subtype polymorphism with inheritance and invocation in corpora of Smalltalk and Java systems and find that (1) subtype polymorphism is more likely to be found in large hierarchies; (2) as class hierarchies grow horizontally, they also do so vertically; and (3) in polymorphic hierarchies the length of the name of the classes is orthogonal to the cardinality of the call sites.

Proof theory for lattice-ordered groups

Proof-theoretic methods are developed and exploited to establish properties of the variety of lattice-ordered groups. In particular, a hypersequent calculus with a cut rule is used to provide an alternative syntactic proof of the generation of the variety by the lattice-ordered group of automorphisms of the real number chain. Completeness is also established for an analytic (cut-free) hypersequent calculus using cut elimination and it is proved that the equational theory of the variety is co-NP complete.

Working in confined spaces.

Mode of access: Internet.

To establish a uniform system of bankruptcy : June 15 (calendar day, June 18), 1934 : ordered to be printed.

Caption title.

Permit-required confined spaces (permit spaces).

"OSHA 3138."

Highway signs: conversion to metric units could be costly.

Mode of access: Internet.

Acts of parliament and bench table orders of the Inner Temple. Ordered to be printed 3 November, 1893.

Mode of access: Internet.

First ( -fourth) report of the Committee appointed by the Lords of the Treasury, in pursuance of addresses of the House of Commons of the 12th, 14th, and 20th August 1839 : Ordered (by the House of Commons) to be printed ... /

Titles of 3rd and 4th reports headed: "Railway communication."

Canonical simplification of finite objects, well quasi-ordered by tree embedding /

"UILU-ENG 79 1727."

Enumerations of ordered trees /

Errata slip inserted.

Partially ordered classes of finite automata /

Vita.

The methodology of knowledge layers for inducing descriptions of sequentially ordered events /

"UILU-ENG 80 1719"--Cover.

A planar geometrical model for representing multidimensional discrete spaces and multiple-valued logic functions /

Bibliography: p. 37-38.

Report, proceedings and evidence of the Select Standing Committee on Industrial and International relations upon the question of insurance against unemployment, sickness and invalidity as ordered by the House on the 14th of February, 1929 : Third session of the sixteenth Parliament of Canada.

Includes index.