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

Group by: Item Type | Date | No Grouping

Jump to: Article | Conference or workshop item

Number of items: 4.

Article

Butterfield, Andrew and Woodcock, Jim (2003) An operational semantics for Handel-C. Electronic Notes in Theoretical Computer Science, 80 . pp. 1-16. ISSN 1571-0661. (doi:https://doi.org/10.1016/S1571-0661(04)80821-1) (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)

Conference or workshop item

Chitil, Olaf and Huch, Frank (2007) A Pattern Logic for Prompt Lazy Assertions. In: Horváth, Zoltán and Zsok, Viktoria and Butterfield, Andrew, eds. Implementation and Application of Functional Languages. Lecture Notes in Computer Science, 4449. Springer, Germany pp. 126-144. ISBN 978-3-540-7412909. (doi:https://doi.org/10.1007/978-3-540-74130-5) (Full text available)

Preview

Chitil, Olaf (2005) Pretty Printing with Partial Continuations. In: 17th International Workshop on Implementation and Application of Functional Languages, IFL 2005, 19-21 September 2005, Dublin, Ireland. (Full text available)

Butterfield, Andrew and Woodcock, Jim (2002) Semantics of Prialt in Handel-C. In: Concurrent Systems Engineering, Proceedings of the Conference on Communicating Processing Architectures. (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)

This list was generated on Wed Jun 20 19:43:35 2018 BST.