John Boyland, Alex Buckley, Patrice Chalin, Dave Clarke, Paola Giannini, Marieke Huisman, ...
This report contains the papers presented at FTfJP ’07: 9th workshop on Formal
John Boyland, Alex Buckley, Patrice Chalin, Dave Clarke, Paola Giannini, Marieke Huisman, ...
This report contains the papers presented at FTfJP ’07: 9th workshop on Formal
Flexible Dynamic Linking for.NET (2008)
Anders Aaltonen, Alex Buckley, Susan Eisenbach
A.NET application is a set of assemblies developed or reused by programmers, and tested together for correctness and performance. Each assembly’s references to other assemblies are type-checked at...
Safety in Flexible Dynamic Linking (2008)
Alex Buckley, Sophia Drossopoulou
Dynamic linking lets programs use the most recent versions of classes without re-compilation. In Java and .NET, bytecode specifies which classes should be dynamically linked. This information...
Flexible Dynamic Linking for .NET (2008)
Anders Aaltonen Alex, Alex Buckley, Susan Eisenbach
A modern object-oriented application is a set of components developed or reused by programmers, and tested together for correctness and performance. Each component's dependencies on other...
Flexible Bytecode for Linking in .NET (2005)
Alex Buckley, Michelle Murray, Susan Eisenbach, Sophia Drossopoulou
Dynamic linking in modern execution environments like .NET is considerably more sophisticated than in the days of C shared libraries on UNIX. One aspect of this sophistication is that .NET assemblies...
SCHOOL: a Small Chorded Object-Oriented Language (2005)
Sophia Drossopoulou, Alexis Petrounias, Alex Buckley, Susan Eisenbach
Chords are a declarative synchronisation construct based on the Join calculus, available in the programming language C # . Compared with synchronisation constructs in most imperative languages,...
A Model of Dynamic Binding in .NET (2005)
Millions of programmers use ECMA CLI-compliant languages like VB.NET and C#. The resulting bytecode can be executed on several CLI implementations, such as those from Microsoft and the open-source...
A Model of Dynamic Binding in .NET (2005)
Millions of programmers use ECMA CLI-compliant languages like VB.NET and C#. The resulting bytecode can be executed on several CLI implementations, such as those from Microsoft and the open-source...
Flexible Dynamic Linking (2004)
Alex Buckley, Sophia Drossopoulou
Dynamic linking, as in Java and C#, allows users to execute the most recent versions of software without re-compilation or re-linking. Dynamic linking is guided by type names stored in the bytecode.