Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by G.W. Hamilton
Declassification: Transforming Java Programs to Remove Intermediate Classes
A Denotational Semantics for the Π-Calculus
Design Study of a 14,000-Ampere Injection System for a Fusion Reactor.
Two-Dimensional Gas Flow in an Electrode Assembly
120-keV Beam Direct Conversion System for TFTR Injectors
Related publications
Information Declassification for Multi-Threaded Programs
Applied Mathematics and Information Sciences
Numerical Analysis
Applied Mathematics
Analysis
Computer Science Applications
Mathematics
Computational Theory
A Translator of Java Programs to TADDs
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Designing Robust Java Programs With Exceptions
ACM SIGSOFT Software Engineering Notes
Formal Techniques for Java-Like Programs
XCorpus – An Executable Corpus of Java Programs.
Journal of Object Technology
Software
Dataflow Testing of Java Programs With DFC
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
JavaMarker: A Marking System for Java Programs
International Journal of Computer Applications
Runtime Support for Type-Safe Dynamic Java Classes
Detecting Null Pointer Violations in Java Programs
