6201 search results - page 379 / 1241 » Implementation of Axiomatic Language |
158
click to vote
FINTAL
2006
15 years 10 months ago
2006
We present a regular approximation of Link Grammar, a dependency-type formalism with context-free expressive power, as a first step toward a finite-state joint inference system. Th...
193
click to vote
WISES
2003
15 years 8 months ago
2003
— Java, a popular programming language on desktop systems, is rarely used in embedded systems. Some features of Java, like thread support in the language, could greatly simplify ...
171
click to vote
ACSC
2005
IEEE
16 years 14 days ago
2005
IEEE
Parallel pattern-matching (PPM) provides true commutative implementation of functions defined by cases in functional languages, because no argument is given precedence over any o...
177
click to vote
ICSM
2007
IEEE
16 years 1 months ago
2007
IEEE
Legacy software systems often suffer from code quality problems. Maintenance of legacy systems can therefore be costly, and the value of legacy systems may diminish due to a lack ...
178
click to vote
SAC
2004
ACM
16 years 8 days ago
2004
ACM
is an abstract graph reduction machine for the implementation of lazy functional languages. Categorical multi-combinators served as a basis for the evaluation model of µΓCMC. Th...