2803 search results - page 5 / 561 » A Type System for Prototyping Languages |
ACL
2003
13 years 7 months ago
2003
We demonstrate a text to sign language translation system for investigating sign language (SL) structure and assisting in production of sign narratives and informa
APLAS
2009
ACM
14 years 8 days ago
2009
ACM
We propose a type system for a programming language with memory allocation/deallocation primitives, which prevents memory-related errors such as double-frees and memory leaks. The ...
ICDAR
2003
IEEE
13 years 11 months ago
2003
IEEE
In this paper, we present an automatic method for character prototyping and font type characterization in machine-printed document images at a character level. To do so, we use a ...
BIRTHDAY
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
AFP
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. Programming GUIs with conventional GUI APIs is notoriously tedious. In these notes we present the GEC toolkit in which the programmer can create user interfaces without a...