7555 search results - page 47 / 1511 » The Type System of DBPL |
MIE
2008
13 years 10 months ago
2008
Many attempts have been made in the QA domain but no system applicable to the field of health is currently available on the Internet. This paper describes a bilingual French/Engli...
COORDINATION
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Coordination languages are often used to describe open ended systems. This makes it challenging to develop tools for guaranteeing security of the coordinated systems and ...
SIGIR
2010
ACM
13 years 7 months ago
2010
ACM
The state-of-the-art in Named Entity Recognition relies on a combination of local features of the text and global knowledge to determine the types of the recognized entities. This...
WCRE
2000
IEEE
14 years 1 months ago
2000
IEEE
We show how hypertext-based program understanding tools eve new levels of abstraction by using inferred type information for cases where the subject software system is written in ...
POPL
1989
ACM
14 years 26 days ago
1989
ACM
This paper presents an overview of the programming language Modula-3, and a more detailed description of its type system.