Again, this requires a reprogramming cycle every time the
\gls{Task}-specification is changed.
Another \gls{EDSL} designed to generate low-level high-assurance programs is
called \gls{Ivory} and uses \gls{Haskell} as a host language%
Again, this requires a reprogramming cycle every time the
\gls{Task}-specification is changed.
Another \gls{EDSL} designed to generate low-level high-assurance programs is
called \gls{Ivory} and uses \gls{Haskell} as a host language%