MultiJava: Modular open classes and symmetric multiple dispatch for Java
C Clifton, GT Leavens, C Chambers… - Proceedings of the 15th …, 2000 - dl.acm.org
We present MultiJava, a backward-compatible extension to Java supporting open classes
and symmetric multiple dispatch. Open classes allow one to add to the set of methods that …
and symmetric multiple dispatch. Open classes allow one to add to the set of methods that …
How the design of JML accommodates both runtime assertion checking and formal verification
GT Leavens, Y Cheon, C Clifton, C Ruby… - Science of Computer …, 2005 - Elsevier
Specifications that are used in detailed design and in the documentation of existing code are
primarily written and read by programmers. However, most formal specification languages …
primarily written and read by programmers. However, most formal specification languages …
[HTML][HTML] The environmental and health impacts of tobacco agriculture, cigarette manufacture and consumption
TE Novotny, SA Bialous, L Burt… - Bulletin of the World …, 2015 - SciELO Public Health
The health consequences of tobacco use are well known, but less recognized are the
significant environmental impacts of tobacco production and use. The environmental …
significant environmental impacts of tobacco production and use. The environmental …
[HTML][HTML] Extended producer responsibility and product stewardship for tobacco product waste
C Curtis, S Collins, S Cunningham… - … journal of waste …, 2014 - ncbi.nlm.nih.gov
This paper reviews several environmental principles, including Extended Producer
Responsibility (EPR), Product Stewardship (PS), the Polluter Pays Principle (PPP), and the …
Responsibility (EPR), Product Stewardship (PS), the Polluter Pays Principle (PPP), and the …
[PDF][PDF] JML reference manual
JML is a notation for formally specifying the behavior and interfaces of Java [Arnold-Gosling-
Holmes00][Gosling-etal00] classes and methods. The goal of this reference manual is to …
Holmes00][Gosling-etal00] classes and methods. The goal of this reference manual is to …
Tobacco industry responsibility for butts: a model tobacco waste act
C Curtis, TE Novotny, K Lee, M Freiberg… - Tobacco …, 2017 - tobaccocontrol.bmj.com
Cigarette butts and other postconsumer products from tobacco use are the most common
waste elements picked up worldwide each year during environmental cleanups. Under the …
waste elements picked up worldwide each year during environmental cleanups. Under the …
MultiJava: Design rationale, compiler implementation, and applications
C Clifton, T Millstein, GT Leavens… - ACM Transactions on …, 2006 - dl.acm.org
MultiJava is a conservative extension of the Java programming language that adds
symmetric multiple dispatch and open classes. Among other benefits, multiple dispatch …
symmetric multiple dispatch and open classes. Among other benefits, multiple dispatch …
Strategies for preparing computer science students for the multicore world
R Brown, E Shoop, J Adams, C Clifton… - Proceedings of the …, 2010 - dl.acm.org
Multicore computers have become standard, and the number of cores per computer is rising
rapidly. How does the new demand for understanding of parallel computing impact …
rapidly. How does the new demand for understanding of parallel computing impact …
How the design of JML accommodates both runtime assertion checking and formal verification
GT Leavens, Y Cheon, C Clifton, C Ruby… - Formal Methods for …, 2003 - Springer
Specifications that are used in detailed design and in the documentation of existing code are
primarily written and read by programmers. However, most formal specification languages …
primarily written and read by programmers. However, most formal specification languages …
Subverting the fundamentals sequence: using version control to enhance course management
C Clifton, LC Kaczmarczyk, M Mrozek - ACM SIGCSE Bulletin, 2007 - dl.acm.org
Instructors of introductory courses face many challenges, not the least of which is dealing
with a large volume of course materials and students with differing backgrounds. There are …
with a large volume of course materials and students with differing backgrounds. There are …