Gradual typing for annotated type systems
| dc.contributor.author | Fennell, Luminous | |
| dc.contributor.author | Thiemann, Peter | |
| dc.contributor.editor | Aßmann, Uwe | |
| dc.contributor.editor | Demuth, Birgit | |
| dc.contributor.editor | Spitta, Thorsten | |
| dc.contributor.editor | Püschel, Georg | |
| dc.contributor.editor | Kaiser, Ronny | |
| dc.date.accessioned | 2017-06-30T20:56:24Z | |
| dc.date.available | 2017-06-30T20:56:24Z | |
| dc.date.issued | 2015 | |
| dc.description.abstract | Refinement type systems have been proposed by a number of researchers to sharpen the guarantees of existing type systems. Examples are systems that distinguish empty and non-empty lists by type, taint tracking and information flow control, dimension analysis, and many others. In each case, the type language is extended with annotations that either abstract semantic properties of values beyond the capabilities of the underlying type language (e.g., empty and non-empty lists) or they express extrinsic properties that are not locally checkable (e.g., taintedness, dimensions). | en |
| dc.identifier.isbn | 978-3-88579-633-6 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | Software-engineering and management 2015 | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-239 | |
| dc.title | Gradual typing for annotated type systems | en |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 46 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 45 | |
| gi.conference.date | 17.-20. März 2015 | |
| gi.conference.location | Dresden |
Dateien
Originalbündel
1 - 1 von 1