E-LIB Suche - Ergebnisse für: Groves, Lindsay

1

Verifying Whiley Programs with Boogie:

Pearce, David J. ; Utting, Mark ; Groves, Lindsay
Journal of Automated Reasoning. 66 (2022) 4 - p. 747-803 , 2022

Link: https://doi.org/10.1007/..

2

A Relaxed Balanced Lock-Free Binary Search Tree:

, In: Parallel and Distributed Computing, Applications and Technologies; Lecture Notes in Computer Science,

Singh, Manish ; Groves, Lindsay ; Potanin, Alex - p. 304-317 , 2021

Link: https://doi.org/10.1007/..

3

A survey on network forwarding in Software-Defined Networki..:

Yang, Liang ; Ng, Bryan ; Seah, Winston K.G...
Journal of Network and Computer Applications. 176 (2021) - p. 102947 , 2021

Link: https://doi.org/10.1016/..

4

Syntactically Restricting Bounded Polymorphism for Decidabl..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Mackay, Julian ; Potanin, Alex ; Aldrich, Jonathan. - p. 125-144 , 2020

Link: https://doi.org/10.1007/..

5

Weakening Correctness and Linearizability for Concurrent Ob..:

, In: Lecture Notes in Computer Science; Formal Methods. FM 2019 International Workshops,

Smith, Graeme ; Groves, Lindsay - p. 342-357 , 2020

Link: https://doi.org/10.1007/..

6

An Introduction to Software Verification with Whiley:

, In: Engineering Trustworthy Software Systems; Lecture Notes in Computer Science,

Pearce, David J. ; Utting, Mark ; Groves, Lindsay - p. 1-37 , 2019

Link: https://doi.org/10.1007/..

7

Decidable subtyping for path dependent types:

Mackay, Julian ; Potanin, Alex ; Aldrich, Jonathan.
Proceedings of the ACM on Programming Languages. 4 (2019) POPL - p. 1-27 , 2019

Link: https://doi.org/10.1145/..

8

Decidable subtyping for path dependent types:

Mackay, Julian ; Potanin, Alex ; Aldrich, Jonathan.
Proceedings of the ACM on Programming Languages. 4 (2019) POPL - p. 1-27 , 2019

Link: https://dl.acm.org/doi/1..

9

Capabilities: Effects for Free:

, In: Formal Methods and Software Engineering; Lecture Notes in Computer Science,

Craig, Aaron ; Potanin, Alex ; Groves, Lindsay. - p. 231-247 , 2018

Link: https://doi.org/10.1007/..

10

Designing a verifying compiler: Lessons learned from develo..:

Pearce, David J. ; Groves, Lindsay
Science of Computer Programming. 113 (2015) - p. 191-220 , 2015

Link: https://doi.org/10.1016/..

11

Formal Methods and Software Engineering

15th International Conference on Formal Engineering Methods... Lecture Notes in Computer Science ; 8144;SpringerLink, Bücher

Groves, Lindsay ; Sun, Jing , 2013

Link: https://doi.org/10.1007/..

12

True small-step reduction for imperative object oriented la..:

, In: Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs,

Servetto, Marco ; Groves, Lindsay - p. 1-7 , 2013

Link: https://dl.acm.org/doi/1..

13

Towards formally specifying and verifying transactional mem..:

Doherty, Simon ; Groves, Lindsay ; Luchangco, Victor.
Formal Aspects of Computing. 25 (2013) 5 - p. 769-799 , 2013

Link: https://doi.org/10.1007/..

14

Encoding Featherweight Java with assignment and immutabilit..:

, In: Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs,

Mackay, Julian ; Mehnert, Hannes ; Potanin, Alex.. - p. 11-19 , 2012

Link: https://dl.acm.org/doi/1..

15

Theorem prover approach to semistructured data design:

Lee, Scott Uk-Jin ; Dobbie, Gillian ; Sun, Jing.
Formal Methods in System Design. 37 (2010) 1 - p. 1-60 , 2010

Link: https://doi.org/10.1007/..