Browse by Person (creator, editor, contributor, etc.)
Up a level |
Number of items: 4.
2007
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, 18th International Workshop, IFL 2006. Lecture Notes in Computer Science, 4449. Springer, Germany pp. 126-144. ISBN 97835407412909. (doi:https://doi.org/10.1007/978-3-540-74130-5) (Full text available) |
2005
Chitil, Olaf (2005) Pretty Printing with Partial Continuations. In: Butterfield, Andrew, ed. Draft Proceedings of the 17th International Workshop on Implementation and Application of Functional Languages, IFL 05. (Full text available) |
2003
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) |
2002
Butterfield, Andrew and Woodcock, Jim (2002) Semantics of Prialt in Handel-C. In: Concurrent Systems Engineering, Proceedings of the Conference on Communicating Processing Architectures. IOS Press (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) |