Browse by Person (creator, editor, contributor, etc.)

Group by: Item Type | Date | No Grouping

Jump to: Book section | Conference or workshop item

Number of items: 2.

Book section

Lu, Lunjin and King, Andy (2005) Determinacy inference for logic programs. In: Sagiv, Mooly, ed. Programming Languages and Systems. Springer-Verlag, Berlin, pp. 108-123. ISBN 9783540254355. The full text of this publication is not available from this repository.

Conference or workshop item

Batty, Mark and Owens, Scott and Sarkar, Susmit and Sewell, Peter and Weber, Tjark (2011) Mathematizing C++ Concurrency. In: POPL '11: 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 26th - 28th 2011, Austin, USA. The full text of this publication is not available from this repository.

This list was generated on Thu Jun 20 00:21:05 2013 BST.