Ian Stark
Ian Stark
Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh
Verified email at ed.ac.uk - Homepage
TitleCited byYear
Operational reasoning for functions with local state
AM Pitts, IDB Stark
Higher order operational techniques in semantics, 227-273, 1998
2191998
Observable properties of higher order functions that dynamically create local names, or: What's new?
AM Pitts, IDB Stark
International Symposium on Mathematical Foundations of Computer Science, 122-141, 1993
2171993
Higher order operational techniques in semantics
N Negroponte
Cambridge University Press, 1998
1541998
Names and higher-order functions
IDB Stark
University of Cambridge, 1994
1421994
A fully abstract domain model for the/spl pi/-calculus
I Stark
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 36-42, 1996
1401996
Nominal games and full abstraction for the nu-calculus
S Abramsky, DR Ghica, AS Murawski, CHL Ong, IDB Stark
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science …, 2004
852004
Mobile resource guarantees for smart devices
D Aspinall, S Gilmore, M Hofmann, D Sannella, I Stark
International Workshop on Construction and Analysis of Safe, Secure, and …, 2004
812004
Automatic verification of design patterns in Java
A Blewitt, A Bundy, I Stark
Proceedings of the 20th IEEE/ACM international Conference on Automated …, 2005
792005
Categorical models for local names
I Stark
Lisp and Symbolic Computation 9 (1), 77-107, 1996
791996
Presheaf models for the π-calculus
GL Cattani, I Stark, G Winskel
International Conference on Category Theory and Computer Science, 106-126, 1997
731997
Domains and denotational semantics: History, accomplishments and open problems
A Jung, M Fiore, E Moggi, PW O’Hearn, JG Riecke, G Rosolini, I Stark
SCHOOL OF COMPUTER SCIENCE RESEARCH REPORTS-UNIVERSITY OF BIRMINGHAM CSR, 1996
681996
Reducibility and⊤⊤-lifting for computation types
S Lindley, I Stark
International Conference on Typed Lambda Calculi and Applications, 262-277, 2005
552005
On the observable properties of higher order functions that dynamically create local names (preliminary report)
AM Pitts, I Stark
Workshop on State in Programming Languages, Copenhagen, 31-45, 1993
521993
A dependent type theory with names and binding
U Schöpp, I Stark
International Workshop on Computer Science Logic, 235-249, 2004
512004
The Continuous π-Calculus: A Process Algebra for Biochemical Modelling
M Kwiatkowski, I Stark
International Conference on Computational Methods in Systems Biology, 103-122, 2008
462008
Grail: a functional form for imperative mobile code
L Beringer, K MacKenzie, I Stark
Electronic Notes in Theoretical Computer Science 85 (1), 3-23, 2003
422003
Mobius: Mobility, ubiquity, security
G Barthe, L Beringer, P Crégut, B Grégoire, M Hofmann, P Müller, E Poll, ...
International Symposium on Trustworthy Global Computing, 10-29, 2006
412006
Automatic verification of Java design patterns
A Blewitt, A Bundy, I Stark
Proceedings 16th Annual International Conference on Automated Software …, 2001
392001
A distributed π-calculus with local areas of communication
T Chothia, I Stark
Electronic Notes in Theoretical Computer Science 41 (2), 1-16, 2001
212001
Names, equations, relations: Practical ways to reason about new
I Stark
Fundamenta Informaticae 33 (4), 369-396, 1998
211998
The system can't perform the operation now. Try again later.
Articles 1–20