A language for specifying type contracts in erlang and its interaction with success typings

Jimenez, M; Lindahl, T; Sagonas, K

dc.contributor.author	Jimenez, M	en
dc.contributor.author	Lindahl, T	en
dc.contributor.author	Sagonas, K	en
dc.date.accessioned	2014-03-01T02:44:23Z
dc.date.available	2014-03-01T02:44:23Z
dc.date.issued	2007	en
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/31792
dc.subject	Contracts	en
dc.subject	Erlang	en
dc.subject	Success typings	en
dc.subject.other	Automatic documentation	en
dc.subject.other	Contracts interact	en
dc.subject.other	Inference process	en
dc.subject.other	Automatic programming	en
dc.subject.other	Defects	en
dc.subject.other	Information dissemination	en
dc.subject.other	Computer programming languages	en
dc.title	A language for specifying type contracts in erlang and its interaction with success typings	en
heal.type	conferenceItem	en
heal.identifier.primary	10.1145/1292520.1292523	en
heal.identifier.secondary	http://dx.doi.org/10.1145/1292520.1292523	en
heal.publicationDate	2007	en
heal.abstract	We propose a small extension of the Erlang language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are optional and they document the intended uses of functions. Contracts allow automatic documentation tools such as Edoc to generate better documentation and defect detection tools such as Dialyzer to detect more type clashes. Since the Erlang/OTP system already contains components which perform automatic type inference of success typings, we also describe how contracts interact with success typings and can often provide some key information to the inference process. Copyright © 2007 ACM.	en
heal.journalName	Erlang'07: Proceedings of the 2007 SIGPLAN Erlang Workshop	en
dc.identifier.doi	10.1145/1292520.1292523	en
dc.identifier.spage	11	en
dc.identifier.epage	17	en