S
Susan Eisenbach
Researcher at Imperial College London
Publications - 111
Citations - 2375
Susan Eisenbach is an academic researcher from Imperial College London. The author has contributed to research in topics: Java & Component (UML). The author has an hindex of 21, co-authored 110 publications receiving 2322 citations. Previous affiliations of Susan Eisenbach include Victoria University of Wellington & Middlesex University.
Papers
More filters
Book ChapterDOI
Specifying Distributed Software Architectures
TL;DR: The paper presents the Darwin notation for specifying this high-level organisation of computational elements and the interactions between those elements in distributed systems at the architectural level.
Book ChapterDOI
Java is type safe — Probably
TL;DR: A proof of the soundness of the Java type system is a first, necessary step towards demonstrating which Java programs won't compromise computer security.
Journal ArticleDOI
Is the Java type system sound
TL;DR: This work argues that for this subset of Java describing primitive types, classes, inheritance, instance variables and methods, interfaces, shadowing, dynamic method binding, object creation, null, arrays, and exception throwing and handling the type system is sound, by proving that program execution preserves the types, up to subclasses/subinterfaces.
Book ChapterDOI
Describing the Semantics of Java and Proving Type Soundness
TL;DR: Java combines the experience from the development of several object oriented languages, such as C++, Smalltalk and Clos, to provide a small and simple language.
Book ChapterDOI
Zeno: an automated prover for properties of recursive data structures
TL;DR: Zeno is a new tool for the automatic generation of proofs of simple properties of functions over recursively defined data structures that takes a Haskell program and an assertion as its goal and tries to contruct a proof for that goal.