Functional Languages at the Architecture Level

Do we need ADLs?

• Or simply abstraction to express both the architecture and its elaboration?

• Haskell (or ML) do not have everything, but…provide a well understood foundation

• Support executable specifications:

  • E.g. Hawk specification of a microprocessor at the architecture level can execute instructions

• Supports program transformation

Previous slide

Next slide

Back to first slide

View graphic version