Sophia Drossopoulou - PDFSEARCH.IO - Document Search Engine

Sophia Drossopoulou
Results: 9

#	Item
1	Towards Reasoning   in the presence of code of unknown provenance  - or, trust and risk in an open world   Sophia Drossopoulou (Imperial), Add to Reading List Source URL: proglang.informatik.uni-freiburg.de Language: English - Date: 2018-04-15 13:19:08
2	Fully Concurrent Garbage Collection of Actors on Many-Core Machines Sylvan Clebsch and Sophia Drossopoulou Department of Computing, Imperial College, London {sc5511, scd}@doc.ic.ac.uk Add to Reading List Source URL: www.ponylang.org
3	Deny Capabilities for Safe, Fast Actors Sylvan Clebsch, Sophia Drossopoulou, Sebastian Blessing, Andy McNeil Causality Ltd., Imperial College London {sylvan, sophia, sebastian, andy}@causality.io Abstract Add to Reading List Source URL: www.ponylang.org
4	A Unified Framework for Verification Techniques for Object Invariants Sophia Drossopoulou Adrian Francalanza Add to Reading List Source URL: staff.um.edu.mt - Date: 2008-10-06 10:00:09
5	Variant Ownership with Existential Types Nicholas Cameron Sophia Drossopoulou Imperial College London Add to Reading List Source URL: ownership-types.org Language: English - Date: 2011-07-23 05:16:12
6	PONY Sylvan Clebsch, Sebastian Blessing, Sophia Drossopoulou, Andrew Mc Neil Causality Ltd and Imperial College London Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2015-10-18 18:25:26 Actor model Concurrent computing Pony
7	PDF Document Add to Reading List Source URL: www.spinellis.gr Language: English - Date: 2015-05-29 06:25:08 Code Reading Engineering Sophia Drossopoulou Software quality Peer-to-peer Institute of Electrical and Electronics Engineers IEEE Computer Society Software engineering Computing Diomidis Spinellis
8	PDF Document Add to Reading List Source URL: www.dmst.aueb.gr Language: English - Date: 2014-09-30 07:43:24 Code Reading Engineering Sophia Drossopoulou Software quality Peer-to-peer Institute of Electrical and Electronics Engineers IEEE Computer Society Software engineering Computing Diomidis Spinellis
9	Manifestations of Java Dynamic Linking - an approximate understanding at source language level Sophia Drossopoulou and Susan Eisenbach Department of Computing, Imperial College, LONDON [sd,sue]@doc.ic.ac.uk Abstract Thro Add to Reading List Source URL: slurp.doc.ic.ac.uk Language: English - Date: 2004-02-02 07:07:00 Cross-platform software Java programming language Java platform Java virtual machine Hardware verification languages Java Main function D E Computing Software engineering Computer programming