Search for Author All Reviews
	Boute, Raymond T.     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 3 of 3 reviews       Calculational semantics: deriving programming theories from equations by functional predicate calculus Boute R. ACM Transactions on Programming Languages and Systems 28(4): 747-793, 2006.  Type: Article Scholars in many disciplines envy physics and its mathematical formalism, where natural processes can be described by precise equations and equational reasoning can derive consequences and yield insights that would be hard to obtain by...... Oct 23 2006     Teaching formal methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings (Lecture Notes in Computer Science 3294) Dean C., Boute R., Springer-Verlag New York, Inc., Secaucus, NJ, 2004.  Type: Book (9783540236115) Software engineers create extremely complex systems for their customers. Yet, in contrast to all other engineering disciplines, there are few, if any, formalized methods used in the design of these systems. There is no agreed-upon math...... Aug 16 2005     The Euclidean definition of the functions div and mod Boute R. ACM Transactions on Programming Languages and Systems 14(2): 127-144, 1992.  Type: Article Here is another paper that should have been written decades ago, in which case an existing, widespread incompleteness in programming language design could have been prevented. It points out that in most current programming languages, t...... Nov 1 1992
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy