2803 search results - page 26 / 561 » A Type System for Prototyping Languages |
DAGSTUHL
2007
13 years 10 months ago
2007
Abstract. Technology to support care at home is a promising alternative to traditional approaches. However, home care systems present significant technical challenges. For example,...
ANLP
2000
13 years 9 months ago
2000
This work is in the context of TransType, a system that observes its user as he or she types a translation and repeatedly suggests completions for the text already entered. The us...
ECRTS
2000
IEEE
14 years 26 days ago
2000
IEEE
This paper describes a methodology for the development of real-time systems and shows its application to the modeling, analysis and implementation of distributed multimedia system...
POPL
2004
ACM
14 years 8 months ago
2004
ACM
The contribution of the paper is twofold. First, we define a general notion of type system equipped with an entailment relation between type environments; this generalisation serv...
RSP
1999
IEEE
14 years 22 days ago
1999
IEEE
Though synchronous dataflow (SDF) graph has been a successful input specification language for digital signal processing (DSP) applications, lack of support for global states makes...