4340 search results - page 393 / 868 » Formal Methods and Cryptography |
168
click to vote
CAV
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we propose a complete chain for synthesizing controllers from high-level specifications. From real-time properties expressed in the logic MTL we generate, under boun...
161
click to vote
IFL
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Type checkers for dependent types need to evaluate user defined functions during type checking. For this, current implementations typically use an interpreter, which has...
186
Voted
IFL
2007
Springer
16 years 29 days ago
2007
Springer
In this paper we describe the structure of the Essential Haskell Compiler (EHC) and how we manage its complexity, despite its growth from essentials to a full Haskell compiler. Our...
177
click to vote
IFL
2007
Springer
16 years 29 days ago
2007
Springer
Haskell is a functional language, with features such as higher order functions and lazy evaluation, which allow succinct programs. These high-level features present many challenges...
157
click to vote
MEMOCODE
2005
IEEE
16 years 11 days ago
2005
IEEE
We recall the story of the development of the synchronous data-flow language LUSTRE and of its industrial transfer inside the toolset SCADE. We try to analyse the reasons of its ...