33 search results - page 7 / 7 » Determinacy Analysis for Logic Programs Using Mode and Type ... |
ANLP
1992
13 years 5 months ago
1992
This paper briefly describes the current implementation status of an intelligent information retrieval system, MARIE, that employs natural language processing techniques. Descript...
POPL
2006
ACM
14 years 4 months ago
2006
ACM
Noninterference is the basic semantical condition used to account for confidentiality and integrity-related properties in programming languages. There appears to be an at least im...
KDD
2004
ACM
13 years 10 months ago
2004
ACM
This paper describes a logical extension to Microsoft Business Framework (MBF) called Analytical View (AV). AV consists of three components: Model Service for design time, Busines...