1154 search results - page 93 / 231 » Implementing Typed Intermediate Languages |
129
click to vote
JOT
2007
14 years 9 months ago
2007
machines raise the abstraction level of the execution environment at the cost of restricting the set of supported languages. Moreover, the ability of a language implementation to i...
BIRTHDAY
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. This paper gives a reduction-preserving translation from Coquand's dependent pattern matching [4] into a traditional type theory [11] with universes, inductive types...
GW
2009
Springer
14 years 7 months ago
2009
Springer
Research on automatic sign language recognition (ASLR) has mostly been conducted from a machine learning perspective. We propose to implement results from human sign recognition st...
IEE
2002
14 years 9 months ago
2002
Abstract. This paper describes an approach to providing object persistence in object-oriented programming languages without modifying the run-time system or the language itself. By...
DATE
2005
IEEE
15 years 3 months ago
2005
IEEE
— We introduce galsC, a language designed for programming event-driven embedded systems such as sensor networks. galsC implements the TinyGALS programming model. At the local lev...