Search for Author All Reviews
	Berger, Martin     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       An observationally complete program logic for imperative higher-order functions Honda K., Yoshida N., Berger M. Theoretical Computer Science 51775-101, 2014.  Type: Article In some programming languages, variables may refer to procedures; these references may be read to call the procedures and updated to refer to new procedures. If the procedures are recursive, it has been unknown whether there exists any...... Apr 13 2015
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy