6054 search results - page 230 / 1211 » Implementation of Andorra-based Languages |
183
click to vote
POPL
2010
ACM
16 years 4 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...
188
click to vote
IEEESCC
2007
IEEE
16 years 28 days 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...
177
click to vote
HASKELL
2006
ACM
16 years 18 days 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...
170
click to vote
ACL
2003
15 years 8 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...
186
click to vote
PLDI
2011
ACM
14 years 9 months ago
2011
ACM
Information flow is an important security property that must be incorporated from the ground up, including at hardware design time, to provide a formal basis for a system’s roo...