Search for Author All Reviews
	Takikawa, Asumu     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 1 of 1 reviews       Contracts for first-class classes Strickland T., Dimoulas C., Takikawa A., Felleisen M. ACM Transactions on Programming Languages and Systems 35(3): 1-58, 2013.  Type: Article Contracts are formal and verifiable specifications that extend traditional type definitions by including preconditions, postconditions, invariants, acceptable inputs and outputs, and other behavioral specifications [1]. These class-lev...... Jan 2 2014
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy