Skip to main content

Research Repository

Advanced Search

Outputs (3088)

On the structure of clone lattices, II (2001)
Presentation / Conference Contribution
Bulatov, A., Krokhin, A., Safin, K., Semigrodskikh, A., & Sukhanov, E. (2001, December). On the structure of clone lattices, II

Object languages in a type-theoretic meta-framework (2001)
Presentation / Conference Contribution
Callaghan, P., Luo, Z., & Pang, J. (2001, June). Object languages in a type-theoretic meta-framework. Presented at Proof Transformation and Presentation and Proof Complexities Workshop : PTP'01., Siena, Italy

This paper concerns techniques for providing a convenient syntax for object languages implemented via a type-theoretic Logical Framework, and reports on work in progress. We first motivate the need for a type-theoretic logical framework. Firstly, we... Read More about Object languages in a type-theoretic meta-framework.

Generalized partition testing via Bayes linear methods (2001)
Journal Article
Coolen, F., Goldstein, M., & Munro, M. (2001). Generalized partition testing via Bayes linear methods. Information and Software Technology, 43(13), 783-793. https://doi.org/10.1016/s0950-5849%2801%2900185-9

This paper explores the use of Bayes linear methods related to partition testing for software. If a partition of the input domain has been defined, the method works without the assumption of homogeneous (revealing) subdomains, and also includes the p... Read More about Generalized partition testing via Bayes linear methods.

Planar tautologies hard for resolution (2001)
Presentation / Conference Contribution
Dantchev, S., & Riis, S. (2001, October). Planar tautologies hard for resolution. Presented at 42nd IEEE Symposium of Foundations of Computer Science, Las Vegas, Nev

We prove exponential lower bounds on the resolution proofs of some tautologies, based on rectangular grid graphs. More specifically, we show a 2/sup /spl Omega/(n)/ lower bound for any resolution proof of the mutilated chessboard problem on a 2n/spl... Read More about Planar tautologies hard for resolution.

Reuse strategies in software development: An empirical study (2001)
Journal Article
Pohthong, A., & Budgen, D. (2001). Reuse strategies in software development: An empirical study. Information and Software Technology, 43(9), 561-575. https://doi.org/10.1016/S0950-5849%2801%2900166-5

We report on a study of reuse strategies, as employed in performing component-based software design, that we have conducted using the Unix environment. A number of subjects were asked to develop shell scripts that would perform a set of tasks, using... Read More about Reuse strategies in software development: An empirical study.

An implementation of LF with coercive subtyping & universes (2001)
Journal Article
Callaghan, P., & Luo, Z. (2001). An implementation of LF with coercive subtyping & universes. Journal of Automated Reasoning, 27(1), 3-27. https://doi.org/10.1023/a%3A1010648911114

We present Plastic, an implementation of LF with Coercive Subtyping, and focus on its implementation of Universes. LF is a variant of Martin-Löf''s logical framework, with explicitly typed -abstractions. We outline the system of LF with its extension... Read More about An implementation of LF with coercive subtyping & universes.

Tree resolution proofs of the weak pigeon-hole principle (2001)
Presentation / Conference Contribution
Dantchev, S., & Riis, S. (2001, June). Tree resolution proofs of the weak pigeon-hole principle. Presented at 16th Annual IEEE Conference on Computational Complexity, Chicago, Ill

We prove that any optimal tree resolution proof of PHPn m is of size 2&thetas;(n log n), independently from m, even if it is infinity. So far, only a 2Ω(n) lower bound has been known in the general case. We also show that any, not necessarily optimal... Read More about Tree resolution proofs of the weak pigeon-hole principle.

Wavefront correction using a self-referencing phase conjugation system based on a Zernike cell (2001)
Journal Article
Dale, S., Love, G., Myers, R., & Naumov, A. (2001). Wavefront correction using a self-referencing phase conjugation system based on a Zernike cell. Optics Communications, 191(1-2), 31-38. https://doi.org/10.1016/s0030-4018%2801%2901116-6

A wavefront correction system was produced using a phase conjugating method based on a point diffraction interferometer, or Zernike cell. This has the main advantage that no separate reference beam is required. The PDI was constructed using an optica... Read More about Wavefront correction using a self-referencing phase conjugation system based on a Zernike cell.