8874 search results - page 332 / 1775 » A New Implementation of Automath |
169
click to vote
ROOM
2000
15 years 8 months ago
2000
This paper proposes a new calculus for expressing the behaviour of object-oriented systems. The semantics of the calculus is given in terms of operators from computational categor...
150
click to vote
COLING
1996
15 years 8 months ago
1996
This paper establishes a framework under which various aspects of prosodic morphology, such as templatic morphology and infixation, can be handled under two-level theory using an ...
163
click to vote
BIOINFORMATICS
2006
15 years 6 months ago
2006
Summary: We present a new R package for the assessment of the reliability of clusters discovered in high dimensional DNA microarray data. The package implements methods based on r...
196
click to vote
JAPLL
2006
15 years 6 months ago
2006
For twenty years the Nuprl ("new pearl") system has been used to develop software systems and formal theories of computational mathematics. It has also been used to expl...
163
click to vote
LISP
2008
15 years 6 months ago
2008
We describe how to implement strength reduction, loop-invariant code motion and loop quasi-invariant code motion by specializing instrumented interpreters. To curb code duplication...