Compilation and Dynamic Linking
Book
- An Attribute Grammar for the Semantic Analysis of Ada
- Juergen Uhl, Sophia Drossopoulou, Guido Persch, Gerhard Goos, Manfred Dausmann, Georg Winterstein, Walter Kirchgaessner
- Lecture Notes in Computer Science
- 1982
Book Chapter
- An abstract model of Java dynamic linking and loading
![[Postscript]](/decor/icon-ps-mini.png)
- Sophia Drossopoulou
- Types in Compilation: Revised Selected Papers
- Volume 2071, p.53
- Springer
- January, 2001
Journal Article
- A flexible model for dynamic linking in Java and C#
![[PDF]](/decor/icon-pdf-mini.png)
- Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach
- Theoretical Computer Science
- Volume 368, Issue 1, pp.1–29
- December, 2006
Conference and Workshop Papers
- Component Adaptation in Contemporary Execution Environments
![[PDF]](/decor/icon-pdf-mini.png)
- Susan Eisenbach, Chris Sadler, Dominic Wong
- DAIS'2007, 7th IFIP International Conference on Distributed Applications and Interoperable Systems
- Lecture Notes in Computer Science, Springer-Verlag
- May, 2007
- Flexible Bytecode for Linking in .NET
![[PDF]](/decor/icon-pdf-mini.png)
- Alex Buckley, Michelle Murray, Susan Eisenbach, Sophia Drossopoulou
- ETAPS Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2005)
- 2005
- Polymorphic Bytecode: Compositional Compilation for Java-like Languages
![[PDF]](/decor/icon-pdf-mini.png)
- Davide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca
- 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2005)
- January, 2005
- Flexible Dynamic Linking
![[PDF]](/decor/icon-pdf-mini.png)
- Alex Buckley, Sophia Drossopoulou
- ECOOP Workshop on Formal Techniques for Java Programs (FTfJP 2004)
- May, 2004
- Flexible, source level, dynamic linking and re-linking
![[PDF]](/decor/icon-pdf-mini.png)
- Sophia Drossopoulou, Susan Eisenbach
- Formal techniques for Java-like languages, 2003
- 2004
- Safe Upgrading Without Restarting
![[PDF]](/decor/icon-pdf-mini.png)
- Miles Barr, Susan Eisenbach
- International conference on software maintenance, Amsterdam, Netherlands, 2003
- IEEE Computer Soc
- 2003
- Flexible Models for Dynamic Linking
![[PDF]](/decor/icon-pdf-mini.png)
- Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach
- Joint European conference on theory and practice of software (ETAPS 2003), Warsaw, Poland
- Volume 2618, pp.38–53
- Lecture Notes in Computer Science, Springer
- March, 2003
- Evolution of Distributed Java Programs
![[PDF]](/decor/icon-pdf-mini.png)
- Susan Eisenbach, Chris Sadler, Shakil Shaikh
- IFIP/ACM working conference on component deployment, Berlin, Germany, 2002
- Springer-Verlag
- 2002
- Manifestations of Dynamic Linking
![[PDF]](/decor/icon-pdf-mini.png)
- Sophia Drossopoulou, Susan Eisenbach
- The First Workshop on Unanticipated Software Evolution (USE 2002), Málaga, Spain
- May, 2002
- Changing Java programs
![[PDF]](/decor/icon-pdf-mini.png)
- Susan Eisenbach, Chris Sadler
- IEEE international conference on software maintenance (ICSM 2001), Florence, Italy
- IEEE Computer Soc
- 2001
- Ephemeral Java Source Code
![[PDF]](/decor/icon-pdf-mini.png)
- Susan Eisenbach, Chris Sadler
- IEEE Workshop on Future Trends in Distributed Computing Systems, Cape Town
- 1999
- A Fragment Calculus - towards a model of separate compilation, linking and binary compatibility,
![[PDF]](/decor/icon-pdf-mini.png)
- Sophia Drossopoulou, Susan Eisenbach, David Wragg
- Logic in Computer Science (LICS), Trento
- 1999
- What is Java Binary Compatibility?
![[PDF]](/decor/icon-pdf-mini.png)
- Sophia Drossopoulou, David Wragg, Susan Eisenbach
- OOPSLA 1998
- pp.341–361
- September, 1998
- An attribute grammar for Ada
- Sophia Drossopoulou, Juergen Uhl, Guido Persch, Gerhard Goos, Manfred Dausmann, Georg Winterstein
- Symposium on Compiler Construction
- ACM
- May, 1982
- A Separate Compilation System for Ada
- Manfred Dausmann, Guido Persch, Sophia Drossopoulou, Georg Winterstein
- Werkzeuge der Programmiertechnik, GI-Arbeitstagung, Karlsruhe, 16.-17. März 1981
- Volume 43, pp.197–213
- Informatik Fachberichte
- March, 1981
BibTeX file for these publications