Search for Author All Reviews
	Smaragdakis, Yannis     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 4 of 4 reviews        FOO: a minimal modern OO calculus Gerakios P., Fourtounis G., Smaragdakis Y.  FTfJP 2015 (Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, Prague, Czech Republic, Jul 7, 2015) 1-4, 2015.  Type: Proceedings Many object calculi (for example, [1]) or language-specific modeling techniques (for example, [2]) do not capture well the elements of recent object-oriented language design. The flyweight object-oriented (FOO) calculus is a simple, mi...... Oct 7 2015     Morphing: structurally shaping a class by reflecting on others Huang S., Smaragdakis Y. ACM Transactions on Programming Languages and Systems 33(2): 1-44, 2011.  Type: Article Language designers have continuously explored various mechanisms to adapt code for reuse with a different purpose. Morphing is the latest concept to extend the notion of genericity to where the actual structure of a class can vary acco...... Jul 25 2011     DSD-Crasher: a hybrid analysis tool for bug finding Csallner C., Smaragdakis Y.  Software testing and analysis (Proceedings of the 2006 International Symposium on Software Testing and Analysis, Portland, Maine, Jul 17-20, 2006) 245-254, 2006.  Type: Proceedings Nimmer and Ernst [1] propose a bug-finding tool that follows a two-step approach to program analysis. The first step dynamically detects invariants to produce an input domain. For this purpose, the Daikon tool is used to track, at runt...... Feb 2 2007     JCrasher: an automatic robustness tester for Java Csallner C., Smaragdakis Y. Software--Practice & Experience 34(11): 1025-1050, 2004.  Type: Article The original Java white paper cites robustness as a key design goal of the language [1]. Java attempts to make quality assurance easier by identifying programming errors at both compile time and run time, and by adopting a policy of ty...... Apr 14 2005
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy