2944 search results - page 76 / 589 » On Well Quasi-orders on Languages |
TOPLAS
1998
13 years 8 months ago
1998
Abstract: We introduce a unified framework to describe, relate, compare and classify functional language implementations. The compilation process is expressed as a succession of p...
MST
2007
13 years 8 months ago
2007
Odometers or “adding machines” are usually introduced in the context of positional numeration systems built on a strictly increasing sequence of integers. We generalize this no...
ICDE
2007
IEEE
14 years 10 months ago
2007
IEEE
RFID technology provides significant advantages over traditional object-tracking technology and is increasingly adopted and deployed in real applications. RFID applications genera...
POPL
2006
ACM
14 years 9 months ago
2006
ACM
Concurrency-related bugs may happen when multiple threads access shared data and interleave in ways that do not correspond to any sequential execution. Their absence is not guaran...
VLDB
2006
ACM
14 years 9 months ago
2006
ACM
CQL, a Continuous Query Language, is supported by the STREAM prototype Data Stream Management System at Stanford. CQL is an expressive SQL-based declarative language for registeri...