536 search results - page 18 / 108 » A computer verified, monadic, functional implementation of t... |
HASKELL
2006
ACM
15 years 5 months ago
2006
ACM
We propose a development methodology for designing and prototyping high assurance microkernels, and describe our application of it. The methodology is based on rapid prototyping a...
DAC
2002
ACM
16 years 20 days ago
2002
ACM
This paper presents novel uses of functional interface specifications for verifying RTL designs. We demonstrate how a simulation environment, a correctness checker, and a function...
140
click to vote
CEFP
2007
Springer
15 years 5 months ago
2007
Springer
This tutorial paper aims to provide the necessary expertise for working with the proof assistant Sparkle, which is dedicated to the lazy functional programming language Clean. The ...
IEEESCC
2006
IEEE
15 years 5 months ago
2006
IEEE
Service Oriented Architecture (SOA) is an architectural style to reuse and integrate subsystems in existing systems for designing new applications. Each application is designed in...
NSPW
2004
ACM
15 years 5 months ago
2004
ACM
Over the past years, the computing industry has started various initiatives announced to increase computer security by means of new hardware architectures. The most notable effort...