6201 search results - page 313 / 1241 » Implementation of Axiomatic Language |
168
Voted
ESOP
2010
Springer
16 years 4 months ago
2010
Springer
Proving software free of security bugs is hard. Languages that ensure that programs correctly enforce their security policies would help, but, to date, no security-typed language h...
172
click to vote
ICTA
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we present SL Teacher, a framework for teaching French sign language using web 2.0 and virtual signer technologies. We present here the main features of the web-bas...
170
click to vote
CEFP
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. In this paper we sketch some experiments with the construction of a simple compiler for a high level intermediate lazy functional language, with C++ as a target language....
165
click to vote
CICLING
2007
Springer
16 years 28 days ago
2007
Springer
This paper addresses the problem of real-word spell checking, i.e., the detection and correction of typos that result in real words of the target language. This paper proposes a me...
188
click to vote
CONTEXT
2007
Springer
16 years 28 days ago
2007
Springer
This note describes a logical system based on concepts and contexts, whose aim is to serve as a representation language for meanings of natural language sentences. The logic is a t...