6201 search results - page 263 / 1241 » Implementation of Axiomatic Language |
185
click to vote
ICFP
2010
ACM
15 years 6 months ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...
154
click to vote
POPL
2010
ACM
16 years 2 months ago
2010
ACM
We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in th...
165
click to vote
IEEESCC
2007
IEEE
15 years 12 months ago
2007
IEEE
Web rule languages with the ability to cover various types of rules have been recently emerged to make interactions between web resources and broker agents possible. The chance of...
157
click to vote
HASKELL
2006
ACM
15 years 11 months ago
2006
ACM
Modern functional languages offer several attractive features to support development of reliable and secure software. However, in our efforts to use Haskell for systems programmin...
152
click to vote
ACL
2003
15 years 7 months ago
2003
Recent text and speech processing applications such as speech mining raise new and more general problems related to the construction of language models. We present and describe in...