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

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 7.

Article

Boudeville, Olivier and Cesarini, Francesco and Chechina, Natalia and Lundin, Kenneth and Papaspyrou, Nikolaos and Sagonas, Konstantinos and Thompson, Simon and Trinder, Phil and Wiger, Ulf (2013) RELEASE: A High-level Paradigm for Reliable Large-scale Server Software. Trends in Functional Programming, 7829 . pp. 263-278. ISSN 0302-9743. (doi:10.1007/978-3-642-40447-4_17) (Full text available)
[img]
Preview

Conference or workshop item

Christakis, Maria and Gotovos, Alkis and Sagonas, Konstantinos (2013) Systematic Testing for Detecting Concurrency Errors in Erlang Programs. In: 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation. IEEE pp. 154-163. (doi:10.1109/ICST.2013.50) (Full text available)
[img]
Preview

Gotovos, Alkis and Christakis, Maria and Sagonas, Konstantinos (2011) Test-Driven Development of Concurrent Programs using Concuerror. In: Proceedings of the 10th ACM SIGPLAN workshop on Erlang - Erlang '11. ACM p. 51. ISBN 978-1-4503-0859-5. (doi:10.1145/2034654.2034664) (Full text available)
[img]
Preview

Christakis, Maria and Sagonas, Konstantinos (2011) Detection of Asynchronous Message Passing Errors Using Static Analysis. In: Practical Aspects of Declarative Languages. Lecture Notes in Computer Science. pp. 5-18. ISBN 978-3-642-18377-5. E-ISBN 978-3-642-18378-2. (doi:10.1007/978-3-642-18378-2_3) (Full text available)
[img]
Preview

Arts, Thomas and Thompson, Simon (2010) From Test Cases to FSMs: Augmented Test-driven Development and Property Inference. In: Erlang'10: Proceedings of the 2010 ACM SIGPLAN Erlang Workshop. (Full text available)
[img]
Preview

Drienyovszky, Daniel and Horpacsi, Daniel and Thompson, Simon (2010) QuickChecking Refactoring Tools. In: Erlang�10: Proceedings of the 2010 ACM SIGPLAN Erlang Workshop. (Full text available)
[img]
Preview

Christakis, Maria and Sagonas, Konstantinos (2010) Static Detection of Race Conditions in Erlang. In: Practical Aspects of Declarative Languages. Lecture Notes in Computer Science. pp. 119-133. ISBN 978-3-642-11502-8. E-ISBN 978-3-642-11503-5. (doi:10.1007/978-3-642-11503-5_11) (Full text available)
[img]
Preview

This list was generated on Wed Dec 7 07:43:16 2016 GMT.