Susan Eisenbach
Susan Eisenbach
Professor Emeritus of Computing, Imperial College London
Bestätigte E-Mail-Adresse bei
Zitiert von
Zitiert von
Specifying distributed software architectures
J Magee, N Dulay, S Eisenbach, J Kramer
Software Engineering—ESEC'95: 5th European Software Engineering Conference …, 1995
Java is type safe-probably
S Drossopoulou, S Eisenbach
ECOOP 97, 389-418, 1997
Is the Java type system sound?
S Drossopoulou, S Eisenbach, S Khurshid
Theory and practice of object systems 5 (1), 3-24, 1999
Describing the semantics of Java and proving type soundness
S Drossopoulou, S Eisenbach
Formal Syntax and Semantics of Java 1523, 41-82, 1999
Zeno: An automated prover for properties of recursive data structures
W Sonnex, S Drossopoulou, S Eisenbach
Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 2012
Coordination in evolving systems
M Radestock, S Eisenbach
Trends in Distributed Systems CORBA and Beyond: International Workshop TreDS …, 2005
What is Java binary compatibility?
S Drossopoulou, D Wragg, S Eisenbach
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented …, 1998
A fragment calculus-towards a model of separate compilation, linking and binary compatibility
S Drossopoulou, S Eisenbach, D Wragg
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999
Writing safe smart contracts in Flint
F Schrans, S Eisenbach, S Drossopoulou
Companion Proceedings of the 2nd International Conference on the Art …, 2018
Flexible models for dynamic linking
S Drossopoulou, G Lagorio, S Eisenbach
Programming Languages and Systems: 12th European Symposium on Programming …, 2003
Universes for race safety
D Cunningham, S Drossopoulou, S Eisenbach
Verification and Analysis of Multi-threaded Java-like Programs (VAMP), 20-51, 2007
Java type soundness revisited
S Drossopoulou, S Eisenbach, T Valkevych
Imperial College London, Department of Computing, 2000
Functional programming: languages, tools, and architectures
S Eisenbach
Halsted Press, 1987
MagicBeans: a platform for deploying plugin components
R Chatley, S Eisenbach, J Magee
Component Deployment: Second International Working Conference, CD 2004 …, 2004
A distributed abstract machine for boxed ambient calculi
A Phillips, N Yoshida, S Eisenbach
Programming Languages and Systems: 13th European Symposium on Programming …, 2004
Session types in Haskell: Updating message passing for the 21st century
M Sackman, S Eisenbach
Predictable dynamic plugin systems
R Chatley, S Eisenbach, J Kramer, J Magee, S Uchitel
Fundamental Approaches to Software Engineering: 7th International Conference …, 2004
pi-Calculus semantics for the concurrent configuration language Darwin
S Eisenbach, R Paterson
[1993] Proceedings of the Twenty-sixth Hawaii International Conference on …, 1993
Modelling a framework for plugins
R Chatley, S Eisenbach, J Magee
SAVCBS 2003 Specification and Verification of Component-Based Systems, 49, 2003
Towards an operational semantics and proof of type soundness for Java
S Drossopoulou, S Eisenbach
Formal Syntax and Semantics of Java 1523, 1998
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20