Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Peter Sestoft

Modular Verification of Linked Lists With Views via Separation Logic.

Journal of Object Technology
Software
2011English

Related publications

Automatic Parallelization With Separation Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Separation Logic

Communications of the ACM
Computer Science
2019English

Separation Logic With One Quantified Variable

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Modular Verification of Computer Communication Protocols

IEEE Transactions on Communications
1983English

Modular Verification of Strongly Invasive Aspects

2009English

A Comparison of Modular Verification Techniques

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

Modular Verification of Programs With Effects and Effect Handlers in Coq

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Modular Verification of Collaboration-Based Software Designs

ACM SIGSOFT Software Engineering Notes
2001English

Logic Analysis and Verification of N-Input Genetic Logic Circuits

2017English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy