1154 search results - page 167 / 231 » Implementing Typed Intermediate Languages |
ICSE
2007
IEEE-ACM
15 years 10 months ago
2007
IEEE-ACM
Policy testing and analysis are important techniques for high assurance of correct specification of access control policies. We propose a set of testing and analysis techniques fo...
SPIRE
2009
Springer
15 years 4 months ago
2009
Springer
A bitext, or bilingual parallel corpus, consists of two texts, each one in a different language, that are mutual translations. Bitexts are very useful in linguistic engineering bec...
CC
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Xtatic is a lightweight extension of C offering native support for statically typed XML processing. XML trees are built-in values in Xtatic, and static analysis of the t...
CLEF
2005
Springer
15 years 3 months ago
2005
Springer
This paper describes the architecture of a Bulgarian–Bulgarian question answering system — BulQA. The system relies on a partially parsed corpus for answer extraction. The que...
JFP
2006
14 years 9 months ago
2006
A huge discrepancy between theory and practice exists in one popular application area of functional programming--spreadsheets. Although spreadsheets are the most frequently used (...