Browse by Person (creator, editor, contributor, etc.)
Number of items: 8. Book section
Robbins, Ed and King, Andy and Schrijvers, Tom
(2016)
From MinX to MinC: Semantics-Driven Decompilation of Recursive Datatypes.
In: Guha, Arjun and Chong, Steve, eds.
Symposium on Principles of Programming Languages.
ACM Press, St. Petersburg, Florida, USA, pp. 191-203.
(doi:https://doi.org/10.1145/2837614.2837633)
(Full text available)
|
![[img]](/51097/7.hassmallThumbnailVersion/main.pdf)  Preview |
|
Kriener, Jael and King, Andy
Mutual Exclusion by Interpolation: 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings.
In: Schrijvers, Tom and Thiemann, Peter, eds.
Functional and Logic Programming.
Lecture Notes in Computer Science, 7294
.
Springer, pp. 182-196.
ISBN 9783642298219.
(doi:https://doi.org/10.1007/978-3-642-29822-6_16)
(Full text available)
|
![[img]](/37588/1.hassmallThumbnailVersion/content.pdf)  Preview |
|
Conference or workshop item
Kriener, Jael and King, Andy
Mutual Exclusion by Interpolation.
In: Eleventh International Symposium on Functional and Logic Programming.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
Datasets / databases
Research report (external)
This list was generated on Thu Apr 26 21:01:20 2018 BST.
|