Philippa Gardner
Philippa Gardner
Professor of Theoretical Computer Science, Imperial College London
Dirección de correo verificada de imperial.ac.uk - Página principal
TítuloCitado porAño
Concurrent abstract predicates
T Dinsdale-Young, M Dodds, P Gardner, MJ Parkinson, V Vafeiadis
European Conference on Object-Oriented Programming, 504-528, 2010
2282010
Views: compositional reasoning for concurrent programs
T Dinsdale-Young, L Birkedal, P Gardner, M Parkinson, H Yang
ACM SIGPLAN Notices 48 (1), 287-300, 2013
1512013
A spatial logic for querying graphs
L Cardelli, P Gardner, G Ghelli
International Colloquium on Automata, Languages, and Programming, 597-610, 2002
1252002
Towards a program logic for JavaScript
PA Gardner, S Maffeis, GD Smith
ACM SIGPLAN Notices 47 (1), 31-44, 2012
1172012
Context logic and tree update
C Calcagno, P Gardner, U Zarfaty
ACM SIGPLAN Notices 40 (1), 271-282, 2005
1102005
Unfold/Fold Transformations of Logic Programs.
P Gardner, JC Shepherdson
Computational Logic-Essays in Honor of Alan Robinson, 565-583, 1991
921991
A trusted mechanised JavaScript specification
M Bodin, A Charguéraud, D Filaretti, P Gardner, S Maffeis, ...
ACM SIGPLAN Notices 49 (1), 87-100, 2014
912014
Explicit fusions
P Gardner, L Wischik
International Symposium on Mathematical Foundations of Computer Science, 373-382, 2000
842000
TaDA: A logic for time and data abstraction
P da Rocha Pinto, T Dinsdale-Young, P Gardner
European Conference on Object-Oriented Programming, 207-231, 2014
772014
Processes in space
L Cardelli, P Gardner
Conference on Computability in Europe, 78-87, 2010
622010
Context logic as modal logic: completeness and parametric inexpressivity
C Calcagno, P Gardner, U Zarfaty
ACM SIGPLAN Notices 42 (1), 123-134, 2007
602007
Manipulating trees with hidden labels
L Cardelli, P Gardner, G Ghelli
International Conference on Foundations of Software Science and Computation …, 2003
602003
Modelling dynamic web data
P Gardner, S Maffeis
Theoretical Computer Science 342 (1), 104-131, 2005
572005
Discovering needed reductions using type theory
P Gardner
International Symposium on Theoretical Aspects of Computer Software, 555-574, 1994
561994
Representing logics in type theory
P Gardner
The University of Edinburgh, 1992
561992
From separation logic to first-order logic
C Calcagno, P Gardner, M Hague
International Conference on Foundations of Software Science and Computation …, 2005
552005
Local Hoare reasoning about DOM
PA Gardner, GD Smith, MJ Wheelhouse, UD Zarfaty
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on …, 2008
542008
Expressiveness and complexity of graph logic
A Dawar, P Gardner, G Ghelli
Information and Computation 205 (3), 263-310, 2007
502007
Automatic parallelization with separation logic
M Raza, C Calcagno, P Gardner
European Symposium on Programming, 348-362, 2009
492009
Explicit fusions
L Wischik, P Gardner
Theoretical Computer Science 340 (3), 606-630, 2005
472005
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20