Evaluation of Core Technology

Abstract

Based on our experience with modelling and verifying microarchitectural designs within Haskell, this paper examines our use of Haskell as host for an embedded language. In particular we highlight our use of Haskell's lazy lists type classes, lazy state monad, and unsafePerformIO, and point to several areas where Haskell could be improved in the future. We end with an example of a benefit gained by bringing the functional perspective to microarchitectural modelling.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 28, 2000
Accession Number
ADA375729

Entities

People

  • Byron Cook
  • Jeffrey R. Lewis
  • John Launchbury

Tags

Communities of Interest

  • Cyber

DTIC Thesaurus Topics

  • Abstracts
  • Computer Languages
  • Computer Programming
  • Computer Science
  • Computers
  • Foreign Languages
  • Instruction Set Architecture
  • Instructions
  • Language
  • Microarchitecture
  • Microprocessors
  • Pipelines
  • Programming Languages
  • Semantics
  • Simulations
  • Software Development
  • Specifications

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Criminal Law
  • Theoretical Analysis.