4139 search results - page 137 / 828 » Designing and Implementing Combinator Languages |
EMSOFT
2009
Springer
15 years 5 months ago
2009
Springer
An important step in model-based embedded system design consists in mapping functional specifications and their tasks/operations onto execution architectures and their ressources...
PLSA
1994
15 years 3 months ago
1994
Abstract. Most software is developed using interactive computing systems and substantial compute-power. Considerable assistance can be given to the developer by providing language-...
DAGSTUHL
2003
15 years 18 days ago
2003
Abstract. Hydra is a domain-specific language for designing digital circuits, which is implemented by embedding within Haskell. Many features required for hardware specification ...
CORR
2009
Springer
14 years 9 months ago
2009
Springer
A challenge for programming language research is to design and implement multi-threaded low-level languages providing static guarantees for memory safety and freedom from data rac...
DATE
2003
IEEE
15 years 4 months ago
2003
IEEE
We propose a new approach to accelerate transaction level verification by raising the productivity of the verification suites including test patterns, protocol checker, and simula...