Result 1 to 18 from 18 total
The relationship between separation logic and implicit dynamic frames. (English)
Log. Methods Comput. Sci. 8, No. 3, Paper No. 1, 54 p., electronic only (2012).
1
Soundness and principal contexts for a shallow polymorphic type system based on classical logic. (English)
Log. J. IGPL 19, No. 6, 848-896 (2011).
2
The relationship between separation logic and implicit dynamic frames. (English)
Barthe, Gilles (ed.), Programming languages and systems. 20th European symposium on programming, ESOP 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 ‒ April 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19717-8/pbk). Lecture Notes in Computer Science 6602, 439-458 (2011).
3
An overview of an illuminator of opportunity passive radar research project and its signal processing research directions (English)
Digital Signal Processing 21, No. 5, 593-599 (2011).
4
Freedom before commitment: a lightweight type system for object initialisation (English)
OOPSLA, 1013-1032 (2011).
5
The relationship between separation logic and implicit dynamic frames (English)
ESOP, 439-458 (2011).
6
Considerate reasoning and the composite design pattern. (English)
Barthe, Gilles (ed.) et al., Verification, model checking, and abstract interpretation. 11th international conference, VMCAI 2010, Madrid, Spain, January 17‒19, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11318-5/pbk). Lecture Notes in Computer Science 5944, 328-344 (2010).
7
Considerate reasoning and the composite design pattern (English)
VMCAI, 328-344 (2010).
8
Universe-type-based verification techniques for mutable static fields and methods. (English)
J. Object Technol. 8, No. 4, 85-125 (2009).
9
Universe types for topology and encapsulation. (English)
de Boer, Frank S. (ed.) et al., Formal methods for components and objects. 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24‒26, 2007. Revised lectures. Berlin: Springer (ISBN 978-3-540-92187-5/pbk). Lecture Notes in Computer Science 5382, 72-112 (2008).
10
A unified framework for verification techniques for object invariants. (English)
Vitek, Jan (ed.), ECOOP 2008 ‒ object-oriented programming. 22nd European conference, Paphos, Cyprus, July 7‒11, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-70591-8/pbk). Lecture Notes in Computer Science 5142, 412-437 (2008).
11
A unified framework for verification techniques for object invariants (English)
Types, Logics and Semantics for State (2008).
12
A unified framework for verification techniques for object invariants (English)
ECOOP, 412-437 (2008).
13
On the computational representation of classical logical connectives. (English)
Electron. Notes Theor. Comput. Sci. 171, No. 3, 85-109 (2007).
14
Pandora: A reasoning toolbox using natural deduction style. (English)
Log. J. IGPL 15, No. 4, 293-304 (2007).
15
Universe types for topology and encapsulation (English)
FMCO, 72-112 (2007).
16
Approaches to polymorphism in classical sequent calculus. (English)
Sestoft, Peter (ed.), Programming languages and systems. 15th European symposium on programming, ESOP 2006, held as part of the joint European conferences on theory and practice of software, ETAPS 2006, Vienna, Austria, March 27‒28, 2006. Proceedings. Berlin: Springer (ISBN 3-540-33095-X/pbk). Lecture Notes in Computer Science 3924, 84-99 (2006).
17
Approaches to polymorphism in classical sequent calculus (English)
ESOP, 84-99 (2006).
18
Result 1 to 18 from 18 total
Start
Contact
Print
General Help
