Embedded contract languages

  title={Embedded contract languages},
  author={Manuel F{\"a}hndrich and Michael Barnett and Francesco Logozzo},
Specifying application interfaces (APIs) with information that goes beyond method argument and return types is a long-standing quest of programming language researchers and practitioners. The number of type system extensions or specification languages is a testament to that. Unfortunately, the number of such systems is also roughly equal to the number of tools that consume them. In other words, every tool comes with its own specification language. In this paper we argue that for modern object… CONTINUE READING

3 Figures & Tables



Citations per Year

113 Citations

Semantic Scholar estimates that this publication has 113 citations based on the available data.

See our FAQ for additional information.