3827 search results - page 437 / 766 » The Epsilon Generation Language |
169
click to vote
ACSC
2005
IEEE
16 years 13 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...
165
click to vote
QSIC
2005
IEEE
16 years 12 days ago
2005
IEEE
Many programs need to access data in a relational database. This is usually done by means of queries written in SQL. Although the language SQL is declarative, certain runtime erro...
198
click to vote
AIME
2005
Springer
16 years 11 days ago
2005
Springer
The UK National Health Service (NHS) is currently undergoing an intensive review into the way patient care is designed, delivered and recorded. One important element of this is the...
213
click to vote
ICLP
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We instrument a higher-order logic programming search procedure to generate and check small proof witnesses for the Twelf system, an implementation of the logical framewo...
203
click to vote
MFCS
2005
Springer
16 years 9 days ago
2005
Springer
This paper investigates the word problem for inverse monoids generated by a set Γ subject to relations of the form e = f, where e and f are both idempotents in the free inverse m...