Ian Wehrman
Ian Wehrman
Snap Inc.
E-mail confirmado em snapchat.com - Página inicial
Título
Citado por
Citado por
Ano
Concurrent Kleene algebra and its foundations
T Hoare, B Möller, G Struth, I Wehrman
The Journal of Logic and Algebraic Programming 80 (6), 266-296, 2011
1092011
Concurrent kleene algebra
CART Hoare, B Möller, G Struth, I Wehrman
International Conference on Concurrency Theory, 399-414, 2009
842009
A timed semantics of Orc
I Wehrman, D Kitchin, WR Cook, J Misra
Theoretical Computer Science 402 (2-3), 234-248, 2008
732008
Slothrop: Knuth-Bendix completion with a modern termination checker
I Wehrman, A Stump, E Westbrook
International Conference on Rewriting Techniques and Applications, 287-296, 2006
482006
A language-based approach to functionally correct imperative programming
E Westbrook, A Stump, I Wehrman
Proceedings of the tenth ACM SIGPLAN international conference on Functional …, 2005
482005
Graphical models of separation logic
I Wehrman, CAR Hoare, PW O'Hearn
Information processing letters 109 (17), 1001-1004, 2009
32*2009
Foundations of concurrent Kleene algebra
CAR Hoare, B Möller, G Struth, I Wehrman
International Conference on Relational Methods in Computer Science, 166-186, 2009
162009
Mining propositional simplification proofs for small validating clauses
I Wehrman, A Stump
Electronic Notes in Theoretical Computer Science 144 (2), 79-91, 2006
142006
A proposal for weak-memory local reasoning
I Wehrman, J Berdine
LOLA workshop 11, 55-70, 2011
112011
Properties of the timed operational and denotational semantics of Orc
I Wehrman, D Kitchin, WR Cook, J Misra
Computer Science Department, University of Texas at Austin, 2007
102007
Byzantine fault tolerant execution of long-running distributed applications
SL Pallemulle, I Wehrman, KJ Goldman
Proceedings of the IASTED Parallel and Distributed Computing and Systems …, 2006
92006
Extending Byzantine fault tolerance to replicated clients
I Wehrman, SL Pallemulle, KJ Goldman
32006
Knuth-Bendix completion with modern termination checking
IA Wehrman
Washington University, 2006
22006
Weak-memory local reasoning
IA Wehrman
12012
Semantics and Syntax of a Weak-Memory Separation Logic: Sequential Fragment
I Wehrman
2010
Knuth-Bendix Completion with Modern Termination Checking, Master's Thesis, August 2006
I Wehrman
2006
Property Types: Semantic Programming for Java
A Stump, I Wehrman
International Conference on Foundations of Object-Oriented Languages (FOOL/WOOD), 2006
2006
Contact, closure, topology, and the linking of row and column types of relations G. Schmidt and R. Berghammer 339 Normal forms in total correctness for while programs and …
R Berghammer, AM Jaoua, B Möller, HH Dang, P Höfner, W Guttmann, ...
Knuth-Bendix Completion with a Termination Checker
I Wehrman, A Stump, E Westbrook
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–19