1312 search results - page 120 / 263 » Embedded contract languages |
242
click to vote
POPL
2009
ACM
16 years 3 months ago
2009
ACM
This paper presents a type-based solution to the long-standing problem of object initialization. Constructors, the conventional mechanism for object initialization, have semantics...
132
Voted
ASPLOS
1989
ACM
15 years 7 months ago
1989
ACM
A very long instruction word (VLIW) processorexploits parallelism by controlling multiple operations in a single instruction word. This paper describes the architecture and compil...
119
Voted
NAACL
2003
15 years 4 months ago
2003
This paper describes a novel multi-stage recognition procedure for deducing the spelling and pronunciation of an open set of names. The overall goal is the automatic acquisition o...
114
click to vote
ESWS
2005
Springer
15 years 8 months ago
2005
Springer
RDF uses the RFC3066 standard for language tags for literals in natural languages. The revision RFC3066bis includes productive use of language, country and script codes. These form...
131
click to vote
IJCNLP
2004
Springer
15 years 8 months ago
2004
Springer
This paper describes an intelligent text archive system in which typed feature structures are embedded. The aim of the system is to associate feature structures with regions in tex...