Los puntos clave no están disponibles para este artículo en este momento.
Larch specifications are two-tiered. Each one has a component written in an algebraic language and another tailored to a programming language.
Guttag et al. (Sun,) studied this question.