4036 search results - page 324 / 808 » Formal Methods |
181
click to vote
IFL
2007
Springer
16 years 25 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...
172
click to vote
IFL
2007
Springer
16 years 25 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...
156
click to vote
MEMOCODE
2005
IEEE
16 years 8 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 ...
184
Voted
CAV
2005
Springer
16 years 7 days ago
2005
Springer
ORCHIDS is an intrusion detection tool based on techniques for fast, on-line model-checking. Temporal formulae are taken from a temporal logic tailored to the description of intrus...