Search for Author All Reviews
	Findler, Robert Bruce     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 5 of 6 reviews       A calculus for Esterel: If can, can. If no can, no can. Florence S., You S., Tov J., Findler R. Proceedings of the ACM on Programming Languages 3(POPL): 1-29, 2019.  Type: Article Esterel is a synchronous language for reactive programming. Developed in the mid 1980s, it has been used in several safety-critical applications for aviation and nuclear power plant control....... Oct 27 2020     A programmable programming language Felleisen M., Findler R., Flatt M., Krishnamurthi S., Barzilay E., McCarthy J., Tobin-Hochstadt S. Communications of the ACM 61(3): 62-71, 2018.  Type: Article Despite its vague title, this article is actually a gentle presentation of the ideas behind the Racket language and ecosystem....... May 25 2018     Selectors make set-based analysis too hard Meunier P., Findler R., Steckler P., Wand M. Higher-Order and Symbolic Computation 18(3-4): 245-269, 2005.  Type: Article Neither the title of this paper, its abstract, nor even the name of the journal in which it appears clearly explain that it mainly discusses the programming language Scheme. A specialist in this area would probably know that this journ...... Nov 3 2006     Behavioral contracts and behavioral subtyping Findler R., Latendresse M., Felleisen M.  Foundations of software engineering (Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT symposium, Vienna, Austria, 2001.  Type: Proceedings The topic of this paper is contracts in object-oriented languages, especially in languages with behavioral subtyping. The authors describe how problematic it can be to identify the offender in contract violations, and then offer a sug...... Jul 26 2002     Contract Soundness for object-oriented languages Findler R., Felleisen M. ACM SIGPLAN Notices 36(11): 1-15, 2001.  Type: Article In an object-oriented programming language, contract checking is critical. Contracts (pre- and post- conditions) for an overriding method must be properly formulated to ensure software reliability by maintaining the substitution princi...... Jun 27 2002     Display 510152550100 per column
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy