+++
title = "Downsides of the techniques"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["2e4a3"]
forwardlinks = []
zettelid = "2e4a4"
+++

The downside of the first, is that especially in specification
languages, the programmer does not want to think about the
implementation details and detailed accesses to the data structures. It
would therefore be good to either use the static analysis or runtime
solutions instead, as they produce less burden on the programme.