Items where division is "Faculties > Sciences > School of Computing > Programming Languages and Systems Group"

University Organisation (55876)
- Faculties (55748)
  - Sciences (19454)
    - School of Computing (4888)
      - Programming Languages and Systems Group (450)

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: A | B | C | D | F | G | H | I | J | K | L | M | N | O | P | R | S | T | U | V | W | X | Z

Number of items at this level: 447.

A

Aaron, Samuel and Orchard, Dominic and Blackwell, Alan F. (2014) Temporal semantics for a live coding language. In: Proceedings of the 2nd ACM SIGPLAN international workshop on Functional art, music, modeling & design. ICFP International Conference on Functional Programming . ACM, New York, USA, pp. 37-47. ISBN 978-1-4503-3039-8. (doi:10.1145/2633638.2633648) (KAR id:57489)

Preview

Alglave, Jade, Batty, Mark, Donaldson, Alastair F., Gopalakrishnan, Ganesh, Ketema, Jeroen, Poetzl, Daniel, Sorensen, Tyler, Wickerson, John (2015) GPU Concurrency: Weak Behaviours and Programming Assumptions. In: ACM SIGPLAN Notices. Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS '15, Istanbul, Turkey, March 14-18, 2015. . pp. 577-591. ACM Press ISBN 978-1-4503-2835-7. (doi:10.1145/2694344.2694391) (KAR id:50272)

Preview

Anshelevich, Elliot and Owens, Scott and Lamiraux, Florent and Kavraki, Lydia E. (2000) Deformable Volumes in Path Planning Applications. In: Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings. IEEE, pp. 2290-2295. ISBN 0-7803-5886-4. (doi:10.1109/ROBOT.2000.846368) (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) (KAR id:31922)

Arts, Thomas, Lamela Seijas, Pablo, Thompson, Simon (2011) Extracting QuickCheck Specifications from EUnit Test Cases. In: Rikitake, Kenji and Stenman, Erik, eds. Erlang Workshop 2011. . pp. 182-196. ACM Press (KAR id:30725)

Preview

Arts, Thomas and Thompson, Simon (2010) From Test Cases to FSMs: Augmented Test-driven Development and Property Inference. In: Fritchie, Scott Lystig and Sagonas, Konstantinos, eds. Proceedings of the 9th ACM SIGPLAN workshop on Erlang. ACM, New York, USA, pp. 182-196. ISBN 978-1-4503-0253-1. (doi:10.1145/1863509.1863511) (KAR id:30626)

Preview

B

Barnes, Frederick R.M. (2015) Guppy: Process-Oriented Programming on Embedded Devices. In: Chalmers, Kevin and Pedersen, Jan B. and Welch, Peter H. and Broenink, Jan and Sampson, Adam T. and Ivimey-Cook, Ruth and Barnes, Frederick R.M., eds. Proceedings of Communicating Process Architectures 2015. . (KAR id:50306)

Preview

Barnes, Frederick R.M. (2009) Mobile Escape Analysis for occam-pi. In: Welch, Peter H. and Roebbers, Herman W. and Broenink, Jan F. and Barnes, Frederick R.M. and Ritson, Carl G. and Sampson, Adam T. and Stiles, Gardiner S. and Vinter, Brian, eds. Communicating Process Architectures 2009. Concurrent Systems Engineering . IOS Press, pp. 182-196. ISBN 978-1-60750-065-0. E-ISBN 978-1-60750-513-6. (doi:10.3233/978-1-60750-065-0-117) (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) (KAR id:30575)

Barnes, Frederick R.M. and Pressnell, Thomas and Le Foll, Brendan (2013) Exploring GPGPU Acceleration of Process-Oriented Simulations. In: Welch, Peter H. and Barnes, Frederick R.M. and Broenink, Jan F. and Chalmers, Kevin and Pedersen, Jan B. and Sampson, Adam T., eds. Communicating Process Architectures 2013 Proceedings of the 35th WoTUG Technical Meeting. Open Channel Publishing, pp. 249-262. ISBN 978-0-9565409-7-3. (KAR id:36779)

Preview

Barnes, Frederick R.M., Ritson, Carl G. (2009) Checking Process-Oriented Operating System Behaviour using CSP and Refinement. SIGOPS Operating Systems Review, 43 (4). pp. 182-196. ISSN 0163-5980. (doi:10.1145/1713254.1713265) (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) (KAR id:30568)

Barnes, Frederick R.M., Ritson, Carl G. (2010) Process-Oriented Device Driver Development. Concurrency and Computation: Practice and Experience, 22 (8). pp. 182-196. ISSN 1532-0634. (doi:10.1002/cpe.1428) (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) (KAR id:30664)

Barrett, Edd and King, Andy (1992) Range Analysis of Binaries with Minimal Effort. In: Formal Methods for Industrial Critical Systems. Lecture Notes in Computer Science, 7437 . Springer, pp. 93-107. ISBN 978-3-642-32468-0. (doi:10.1007/978-3-642-32469-7_7) (KAR id:41116)

Preview

Barrett, Edd, King, Andy (2012) Range and Set Abstraction using SAT. Electronic Notes in Theoretical Computer Science, 267 (1). pp. 93-107. ISSN 978-3-642-32468-0. (doi:10.1016/j.entcs.2010.09.003) (KAR id:30621)

Preview

Bartoletti, Massimo, Bocchi, Laura, Murgia, Massimo (2018) Progress-preserving Refinements of CTA. In: Leibniz International Proceedings in Informatics. LIPIcs–Leibniz International Proceedings in Informatics. Leibniz International Proceedings in Informatics (LIPIcs) . pp. 1-19. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Saarbrücken, Germany ISBN 978-3-95977-087-3. (doi:10.4230/LIPIcs.CONCUR.2018.40) (KAR id:67556)

Preview

Bartoletti, Massimo, Cimoli, Tiziana, Murgia, Maurizio, Podda, Alessandro Sebastian, Pompianu, Livio (2015) Compliance and Subtyping in Timed Session Types. In: International Conference on Formal Techniques for Distributed Objects, Components, and Systems, 02-04 Jun 2015, Grenoble, France. (doi:10.1007/978-3-319-19195-9_11) (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) (KAR id:64597)

Bartoletti, Massimo, Cimoli, Tiziana, Murgia, Maurizio, Podda, Alessandro Sebastian, Pompianu, Livio (2016) A Contract-Oriented Middleware. In: International Workshop on Formal Aspects of Component Software, 14-16 Oct 2015, Niterói, Brazil. (doi:10.1007/978-3-319-28934-2_5) (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) (KAR id:64598)

Bartoletti, Massimo, Murgia, Maurizio, Scalas, Alceste, Zunino, Roberto (2015) Verifiable abstractions for contract-oriented systems. Journal of Logical and Algebraic Methods in Programming, 86 (1). pp. 159-207. ISSN 2352-2208. (doi:10.1016/j.jlamp.2015.10.005) (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) (KAR id:64593)

Batty, Mark, Dodds, Mike, Gotsman, Alexey (2013) Library abstraction for C/C++ concurrency. In: ACM SIGPLAN Notices. Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. . pp. 235-248. ACM Press ISBN 978-1-4503-1832-7. (doi:10.1145/2429069.2429099) (KAR id:50270)

Preview

Batty, Mark and Donaldson, Alastair F. and Wickerson, John (2016) Overhauling SC atomics in C11 and OpenCL. In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL Principles of Programming Languages . ACM, New York, USA, pp. 634-648. ISBN 978-1-4503-3549-2. (doi:10.1145/2837614.2837637) (KAR id:51385)

Preview

Batty, Mark, Memarian, Kayvan, Nienhuis, Kyndylan, Pichon-Pharabod, Jean, Sewell, Peter (2015) The Problem of Programming Language Concurrency Semantics. In: Lecture Notes in Computer Science. 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. 9032. pp. 283-307. Springer-Verlag Berlin, Heidleberg, Germany ISBN 978-3-662-46668-1. (doi:10.1007/978-3-662-46669-8_12) (KAR id:50271)

Preview

Batty, Mark and Memarian, Kayvan and Owens, Scott and Sarkar, Susmit and Sewell, Peter (2012) Clarifying and compiling C/C++ concurrency: from C++11 to POWER. In: Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. POPL Principles of Programming Languages . ACM, New York, USA, pp. 509-520. ISBN 978-1-4503-1083-3. (doi:10.1145/2103656.2103717) (KAR id:50268)

Preview

Batty, Mark and Owens, Scott and Sarkar, Susmit and Sewell, Peter and Weber, Tjark (2010) Mathematizing C++ Concurrency: The Post-Rapperswil Model. Technical report. ISO IEC JTC1/SC22/WG21 N3132. (doi:N3132) (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) (KAR id:31897)

Batty, Mark and Owens, Scott and Sarkar, Susmit and Sewell, Peter and Weber, Tjark (2011) Mathematizing C++ concurrency. In: Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. ACM, New York, USA, pp. 55-66. ISBN 978-1-4503-0490-0. (doi:10.1145/1926385.1926394) (KAR id:50265)

Preview

Benoy, Florence, King, Andy, Mesnard, Fred (2005) Computing Convex Hulls with a Linear Solver. Theory and Practice of Logic Programming, 5 (1-2). pp. 259-271. ISSN 1471-0684. (doi:10.1017/S1471068404002261) (KAR id:37639)

Preview

Biallas, Sebastian and Brauer, Jorg and King, Andy and Kowalewski, Stefan (2012) Loop Leaping with Closures. In: Min'e, Antoine and Schmidt, David A., eds. Static Analysis Symposium. Lecture Notes in Computer Science, 7460 . Springer, pp. 214-230. ISBN 978-3-642-33124-4. (KAR id:30791)

Preview

Biallas, Sebastian and Brauer, Jorg and King, Andy and Kowalewski, Stefan (2012) Loop Leaping with Closures (proof appendix for conference submission). Technical report. University of Kent, School of Computing (KAR id:37622)

Preview

Blackburn, Stephen M, Diwan, Amer, Hauswirth, Mattias, Sweeney, Peter F, Amaral, Jose Nelson, Brecht, Tim, Bulej, Lubomr, Click, Cliff, Eeckhout, Lieven, Fischmeister, Sebastian, and others. (2016) The Truth, the Whole Truth, and Nothing but the Truth: A Pragmatic Guide to Assessing Empirical Evaluations. Transactions on Programming Languages and Systems, 38 (4). ISSN 0164-0925. E-ISSN 1558-4593. (doi:10.1145/2983574) (KAR id:55171)

Preview

Blanchette, Jasmin Christian, Weber, Tjark, Batty, Mark, Owens, Scott, Sarkar, Susmit (2011) Nitpicking C++ Concurrency. In: PPDP '11: Proceedings of the 13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming. (doi:10.1145/2003476.2003493) (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) (KAR id:31895)

Blanchette, Jasmin Christian and Weber, Tjark and Batty, Mark and Owens, Scott and Sarkar, Susmit (2011) Nitpicking C++ concurrency. In: Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming. ACM, New York, USA, pp. 113-124. ISBN 978-1-4503-0776-5. (doi:10.1145/2003476.2003493) (KAR id:50260)

Preview

Bocchi, Laura (2004) Compositional Nested Long Running Transactions. In: Fundamental Approaches to Software Engineering. 7th International Conference, FASE 2004. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings. Lecture Notes in Computer Science , 2984. pp. 194-208. Springer ISBN 978-3-540-21305-5. E-ISBN 978-3-540-24721-0. (doi:10.1007/978-3-540-24721-0_14) (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) (KAR id:59175)

Bocchi, Laura (2017) Timed Runtime Monitoring for Multiparty Conversations. Formal Aspects of Computing, 29 (5). pp. 877-910. ISSN 0934-5043. E-ISSN 1433-299X. (doi:10.1007/s00165-017-0420-8) (KAR id:60506)

Preview

Bocchi, Laura and Chen, Tzu-Chun and Demangeon, Romain and Honda, Kohei and Yoshida, Nobuko (2013) Monitoring Networks through Multiparty Session Types. In: Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 50-65. ISBN 978-3-642-38591-9. E-ISBN 978-3-642-38592-6. (doi:10.1007/978-3-642-38592-6_5) (KAR id:43737)

Preview

Bocchi, Laura, Chen, Tzu-Chun, Demangeon, Romain, Honda, Kohei, Yoshida, Nobuko (2017) Monitoring Networks through Multiparty Session Types. Theoretical Computer Science, 669 . pp. 33-58. ISSN 0304-3975. (doi:10.1016/j.tcs.2017.02.009) (KAR id:60279)

Preview

Preview

+1 more...

Bocchi, Laura and Ciancarini, Paolo (2003) A Perspective on Multiagent Coordination Models. In: Communication in Multiagent Systems. Springer, pp. 146-163. ISBN 978-3-540-40385-2. E-ISBN 978-3-540-44972-0. (doi:10.1007/978-3-540-44972-0_7) (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) (KAR id:59165)

Bocchi, Laura and Ciancarini, Paolo and Moretti, Rocco and Presutti, Valentina (2007) On the Impact of AOSE in Service-Oriented Computing. In: Emerging Methods, Technologies, and Process Management in Software Engineering. Wiley-IEEE Computer Society, pp. 69-83. (doi:10.1002/9780470238103.ch4) (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) (KAR id:59189)

Bocchi, Laura and Ciancarini, Paolo and Moretti, Rocco and Presutti, Valentina and Rossi, Davide (2005) An OWL-S based approach to express grid services coordination. In: Proceedings of the 2005 ACM symposium on Applied computing. ACM, New York, USA, pp. 1661-1667. ISBN 1-58113-964-0. (doi:10.1145/1066677.1067054) (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) (KAR id:59179)

Bocchi, Laura, Ciancarini, Paolo, Rossi, Davide (2005) Transactional Aspects in Semantic Based Discovery of Services. In: Coordination Models and Languages. 7th International Conference, COORDINATION 2005 Proceedings. Lecture Notes in Computer Science , 3454. pp. 283-297. Springer ISBN 978-3-540-25630-4. E-ISBN 978-3-540-32006-7. (doi:10.1007/11417019_19) (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) (KAR id:59180)

Bocchi, Laura, Demangeon, Romain (2013) Embedding Session Types in HML. In: Electronic Proceedings in Theoretical Computer Science. 137 (1). pp. 53-62. (doi:10.4204/EPTCS.137.5) (KAR id:43739)

Preview

Bocchi, Laura, Fiadeiro, José Luiz, Lopes, Antónia (2008) Service-Oriented Modelling of Automotive Systems. In: Computer Software and Applications, 2008. COMPSAC '08. 32nd Annual IEEE International. . pp. 1059-1064. IEEE Computer Society ISBN 978-0-7695-3262-2. (doi:10.1109/COMPSAC.2008.228) (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) (KAR id:59187)

Bocchi, Laura, Fiadeiro, José, Rajper, Noor, Reiff-Marganiec, Stephan (2010) Structure and Behaviour of Virtual Organisation Breeding Environments. In: Electronic Proceedings in Theoretical Computer Science. 16. pp. 26-40. (doi:10.4204/EPTCS.16.3) (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) (KAR id:59191)

Bocchi, Laura, Gorton, Stephen, Reiff-Marganiec, Stephan (2010) From StPowla processes to SRML models. Formal Aspects of Computing, 22 (3). pp. 243-268. ISSN 0934-5043. (doi:10.1007/s00165-009-0118-7) (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) (KAR id:59158)

Bocchi, Laura, Guanciale, Roberto, Strollo, Daniele, Tuosto, Emilio (2010) BPMN Modelling of Services with Dynamically Reconfigurable Transactions. In: 8th International Conference on Service-Oriented Computing (ICSOC). 8th International Conference on Service-Oriented Computing (ICSOC). Lecture Notes in Computer Science , 6470. pp. 396-410. Springer ISBN 978-3-642-17357-8. E-ISBN 978-3-642-17358-5. (doi:10.1007/978-3-642-17358-5_27) (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) (KAR id:59195)

Bocchi, Laura, Honda, Kohei, Tuosto, Emilio, Yoshida, Nobuko (2010) A Theory of Design-by-Contract for Distributed Multiparty Interactions. In: 21th International Conference on Concurrency Theory (CONCUR). 21th International Conference on Concurrency Theory (CONCUR). Lecture Notes in Computer Science , 6269. pp. 162-176. Springer (doi:10.1007/978-3-642-15375-4_12) (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) (KAR id:59208)

Bocchi, Laura and Laneve, Cosimo and Zavattaro, Gianluigi (2003) A Calculus for Long-Running Transactions. In: Formal Methods for Open Object-Based Distributed Systems: 6th IFIP WG 6.1 International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 124-138. ISBN 978-3-540-20491-6. E-ISBN 978-3-540-39958-2. (doi:10.1007/978-3-540-39958-2_9) (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) (KAR id:59162)

Bocchi, Laura, Lange, Julien, Tuosto, Emilio (2012) Three Algorithms and a Methodology for Amending Contracts for Choreographies. Scientific Annals of Computer Science, 22 (1). pp. 61-104. ISSN 1843-8121. (doi:10.7561/SACS.2012.1.61) (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) (KAR id:59161)

Bocchi, Laura, Mahmud, Hoger, Rebay-Salisbury, Katharina, Tuosto, Emilio (2013) Virtual models for archaeology. Archeologia e Calcolatori, 24 (1). pp. 305-324. ISSN 1120-6861. (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) (KAR id:44578)

Bocchi, Laura, Melgratti, Hernán (2014) On the Behaviour of General Purpose Applications on Cloud Storage. Service Oriented Computing and Applications, 9 (3). pp. 213-227. ISSN 1863-2386. E-ISSN 1863-2394. (doi:10.1007/s11761-014-0165-7) (KAR id:43735)

Preview

Bocchi, Laura and Melgratti, Hernán (2014) On the Behaviour of General-Purpose Applications on Cloud Storages. In: Web Services and Formal Methods 10th International Workshop. Lecture Notes in Computer Science . Springer, Cham, Switzerland, pp. 29-47. ISBN 978-3-319-08259-2. E-ISBN 978-3-319-08260-8. (doi:10.1007/978-3-319-08260-8_3) (KAR id:43738)

Preview

Bocchi, Laura, Murgia, Maurizio, Vasconcelos, Vasco Thudichum, Yoshida, Nobuko (2019) Asynchronous timed session types: from duality to time-sensitive processes. In: Lecture Notes in Computer Science. Programming Languages and Systems. ESOP 2019. 11423. pp. 583-610. Springer ISBN 978-3-030-17183-4. E-ISBN 978-3-030-17184-1. (doi:10.1007/978-3-030-17184-1_21) (KAR id:72337)

Preview

Bocchi, Laura, Tuosto, Emilio (2015) Attribute-based transactions in service oriented computing. Mathematical Structures in Computer Science, 25 (3). pp. 619-665. ISSN 0960-1295. (doi:10.1017/S0960129512000904) (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) (KAR id:44574)

Bocchi, Laura, Wischik, Lucian (2004) A Process Calculus of Atomic Commit. Electronic Notes in Theoretical Computer Science, 105 . pp. 119-132. ISSN 1571-0661. (doi:10.1016/j.entcs.2004.05.003) (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) (KAR id:59178)

Bocchi, Laura and Yang, Weizhen and Yoshida, Nobuko (2014) Timed Multiparty Session Types. In: Baldan, Paolo and Gorla, Daniele, eds. CONCUR 2014 – Concurrency Theory 25th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 419-434. ISBN 978-3-662-44583-9. E-ISBN 978-3-662-44584-6. (doi:10.1007/978-3-662-44584-6_29) (KAR id:43729)

Preview

Bocchi, Laura and Yoshida, Nobuko and Lange, Julien (2015) Meeting Deadlines Together. In: Aceto, Luca and de Frutos-Escrig, David, eds. 26th International Conference on Concurrency Theory, CONCUR 2015. Leibniz International Proceedings in Informatics . Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp. 283-296. ISBN 978-3-939897-91-0. (doi:10.4230/LIPIcs.CONCUR.2015.283) (KAR id:50257)

Preview

Boiten, Eerke Albert (2016) Big Data Refinement. Electronic Proceedings in Theoretical Computer Science, 209 . pp. 17-23. ISSN 2075-2180. E-ISSN 2075-2180. (doi:10.4204/EPTCS.209.2) (KAR id:51635)

Preview

Boiten, Eerke Albert (2012) Book review: Modeling in Event-B by Jean-Raymond Abrial. Review of: Modeling in Event-B by Abrial, Jean-Raymond. Journal of Functional Programming, 22 (2). pp. 217-221. ISSN 0956-7968. (doi:10.1017/S0956796812000081) (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) (KAR id:30820)

Boiten, Eerke Albert (2015) Diversity and Adjudication. Journal of Logical and Algebraic Methods in Programming, . ISSN 2352-2208. (doi:10.1016/j.jlamp.2015.10.007) (KAR id:51066)

Preview

Boiten, Eerke Albert (2014) It’s possible to write flaw-free software, so why don’t we? . The Conversation UK Internet only. (KAR id:45254)

Boiten, Eerke Albert (2011) Perspicuity and Granularity in Refinement. In: Derrick, John and Boiten, Eerke Albert and Reeves, Steve, eds. Proceedings 15th International Refinement Workshop. Electronic Proceedings in Theoretical Computer Science , 55. pp. 182-196. (doi:10.4204/EPTCS.55.10) (KAR id:30752)

Preview

Boiten, Eerke Albert (2010) Security specification: completeness, feasibility, refinement. In: Extended Abstracts Collection -- Refinement Based Methods for the Construction of Dependable Systems, Dagstuhl, Germany. (KAR id:30692)

Preview

Boiten, Eerke Albert, Butler, Michael, Derrick, John, Smith, Graeme (2010) Editorial: Special issue on REFINE 2007. Formal Aspects of Computing, 22 (1). pp. 182-196. ISSN 0934-5043. (doi:10.1007/s00165-009-0147-2) (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) (KAR id:30689)

Boiten, Eerke Albert, Derrick, John (2013) From ODP Viewpoint Consistency to Integrated Formal Methods. Computer Standards and Interfaces, 35 (3). pp. 269-276. ISSN 0920-5489. (doi:10.1016/j.csi.2011.10.015) (KAR id:30829)

Preview

Boiten, Eerke Albert, Derrick, John (2010) Incompleteness of Relational Simulations in the Blocking Paradigm. Science of Computer Programming, 75 (12). pp. 1262-1269. ISSN 0167-6423. (doi:10.1016/j.scico.2010.07.003) (KAR id:30612)

Preview

Boiten, Eerke Albert, Derrick, John, Dong, Jin Song, Reeves, Steve (2012) Editorial: Special issue on Refine 2009. Formal Aspects of Computing, 24 (1). pp. 182-196. ISSN 0934-5043. (doi:10.1007/s00165-011-0220-5) (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) (KAR id:30828)

Boiten, Eerke Albert, Derrick, John, Reeves, Steve (2009) Preface: Proceedings of the 14th BCS-FACS Refinement Workshop (REFINE 2009). Electronic Notes in Theoretical Computer Science, 259 . pp. 182-196. ISSN 1571-0661. (doi:10.1016/j.entcs.2009.12.013) (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) (KAR id:30566)

Boiten, Eerke Albert, Derrick, John, Schellhorn, Gerhard (2011) Preface: Selected papers of the Refinement Workshop Turku (2008). Science of Computer Programming, 76 (9). pp. 182-196. ISSN 0167-6423. (doi:10.1016/j.scico.2011.03.003) (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) (KAR id:30732)

Boiten, Eerke Albert, Schneider, Steve A. (2014) Editorial: Special Issue on Cryptography and Formal Methods. Formal Aspects of Computing, 26 (1). pp. 1-2. ISSN 0934-5043 (Print) 1433-299X (Online). (doi:10.1007/s00165-013-0290-7) (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) (KAR id:37394)

Boiten, Eerke and Grundy, Dan (2010) The Logic of Large Enough. In: Bolduc, Claude and Desharnais, Jules and Ktari, Béchir, eds. Mathematics of Program Construction 10th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 182-196. ISBN 978-3-642-13320-6. E-ISBN 978-3-642-13321-3. (doi:10.1007/978-3-642-13321-3_5) (KAR id:30665)

Preview

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. In: Trends in Functional Programming 13th International Symposium. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 263-278. ISBN 978-3-642-40446-7. E-ISBN 978-3-642-40447-4. (doi:10.1007/978-3-642-40447-4_17) (KAR id:42314)

Preview

Bourquin, Martial and King, Andy and Robbins, Edward (2013) BinSlayer: Accurate Comparison of Binary Executables. In: Proceedings of the 2nd ACM SIGPLAN Program Protection and Reverse Engineering Workshop. POPL Principles of Programming Languages . ACM, New York, USA. ISBN 978-1-4503-1857-0. (doi:10.1145/2430553.2430557) (KAR id:37627)

Preview

Bowman, Howard and Thompson, Simon (1998) A tableau method for interval temporal logic with projection. In: deSwart, H., ed. Automated Reasoning with Analytic Tableaux and Related Methods International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 108-123. ISBN 978-3-540-64406-4. E-ISBN 978-3-540-69778-7. (doi:10.1007/3-540-69778-0_17) (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) (KAR id:17603)

Brauer, Jorg and King, Andy (2011) Approximate Quantifier Elimination for Propositional Boolean Formulae. In: Bobaru, Mihaela and Havelund, Klaus and Holzmann, Gerard and Joshi, Rajeev, eds. NASA Formal Methods. Lecture Notes in Computer Science, 6617 . Springer-Verlag, pp. 182-196. ISBN 978-3-642-20397-8. (KAR id:30763)

Preview

Brauer, Jorg and King, Andy (2010) Automatic Abstraction for Intervals using Boolean Formulae. In: Cousot, Radhia and Martel, Matthieu, eds. Static Analysis Symposium. Lecture Notes in Computer Science, 6337 . Springer-Verlag, pp. 182-196. ISBN 978-3-642-15768-4. (KAR id:30633)

Preview

Brauer, Jorg and King, Andy (2011) Transfer Function Synthesis without Quantifier Elimination. In: Barthe, Gilles, ed. European Symposium on Programming. Lecture Notes in Computer Science, 6602 . Springer-Verlag, pp. 182-196. ISBN 978-3-642-19717-8. (KAR id:30765)

Preview

Brauer, Jorg, King, Andy (2012) Transfer Function Synthesis without Quantifier Elimination (long version). Logical Methods in Computer Science, 8 (2012). (KAR id:30800)

Preview

Brauer, Jorg, King, Andy, Kowalewski, Stefan (2013) Abstract Interpretation of Microcontroller Code: Intervals meet Congruences. Science of Computer Programming, 78 (7). pp. 862-883. ISSN 0167-6423. (doi:10.1016/j.scico.2012.06.001) (KAR id:30802)

Preview

Brauer, Jorg and King, Andy and Kowalewski, Stefan (2010) Range Analysis of Microcontroller Code Using Bit-Level Congruences: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings. In: Kowalewski, Stefan and Roveri, Marco, eds. Formal Methods for Industrial Critical Systems. Lecture Notes in Computer Science, 6371 . Springer, pp. 82-98. ISBN 978-3-642-15897-1. (doi:10.1007/978-3-642-15898-8_6) (KAR id:37590)

Preview

Brauer, Jorg, King, Andy, Kriener, Jael (2011) Existential Quantification as Incremental SAT. In: Gopalakrishnan, Ganesh and Qadeer, Shaz, eds. Twenty Third International Conference on Computer Aided Verification. Lecture Notes in Computer Science . pp. 182-196. Springer-Verlag (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) (KAR id:30743)

Brauer, Jorg and King, Andy and Kriener, Jael (2011) Existential Quantification as Incremental SAT: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings. In: Gopalakrishnan, Ganesh and Qadeer, Shaz, eds. Computer Aided Verification. Lecture Notes in Computer Science, 6806 . Springer, pp. 191-207. ISBN 978-3-642-22109-5. (doi:10.1007/978-3-642-22110-1_17) (KAR id:37589)

Preview

Brotherston, James and Gorogiannis, Nikos and Kanovich, Max and Rowe, Reuben (2016) Model checking for symbolic-heap separation logic with inductive predicates. In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL Principles of Programming Languages . ACM, New York, USA, pp. 84-96. ISBN 978-1-4503-3549-2. (doi:10.1145/2914770.2837621) (KAR id:59465)

Preview

Brown, Christopher, Li, Huiqing, Thompson, Simon (2010) An Expression Processor: A Case Study in Refactoring Haskell Programs. In: Page, Rex, ed. Eleventh Symposium on Trends in Functional Programming. . pp. 182-196. (KAR id:30667)

Preview

Brown, Christopher and Thompson, Simon (2010) Clone Detection and Elimination for Haskell. In: Gallagher, John and Voigtlander, Janis, eds. PEPM '10 Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation. PEPM Partial Evaluation and Program Manipulation . ACM, New York, USA, pp. 182-196. ISBN 978-1-60558-727-1. (doi:10.1145/1706356.1706378) (KAR id:30696)

Preview

Brown, Neil (2006) Rain VM: Portable Concurrency through Managing Code. In: Communicating Process Architectures 2006. Concurrent Systems Engineering Series (64). IOS Press, pp. 253-267. ISBN 978-1-58603-671-3. (KAR id:33865)

Preview

Brown, Neil (2006) Rain: A New Concurrent Process-Oriented Programming Language. In: Communicating Process Architectures 2006. Concurrent Systems Engineering Series (64). IOS Press, pp. 237-251. ISBN 978-1-58603-671-3. (KAR id:33864)

Preview

Brown, Neil C.C. (2009) Auto-Mobiles: Optimised Message-Passing. In: Welch, Peter H. and Roebbers, Herman W. and Broenink, Jan F. and Barnes, Frederick R.M. and Ritson, Carl G. and Sampson, Adam T. and Stiles, Gardiner S. and Vinter, Brian, eds. Communicating Process Architectures 2009. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 182-196. ISBN 978-1-60750-065-0. E-ISBN 978-1-60750-513-6. (doi:10.3233/978-1-60750-065-0-225) (KAR id:30582)

Preview

Brown, Neil C.C. (2009) Automatically Generating CSP Models for Communicating Haskell Processes. Electronic Communications of the EASST, 23 . pp. 1-12. ISSN 1863-2122. (doi:10.14279/tuj.eceasst.23.325.320) (KAR id:33866)

Preview

Brown, Neil C.C. (2004) C++CSP Networked. In: Communicating Process Architectures 2004. Concurrent Systems Engineering Series . IOS Press, pp. 185-200. ISBN 978-1-58603-458-0. (KAR id:33863)

Preview

Brown, Neil C.C. (2011) Combinators for Message-Passing in Haskell. In: Practical Aspects of Declarative Languages 13th International Symposium. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 19-33. ISBN 978-3-642-18377-5. E-ISBN 978-3-642-18378-2. (doi:10.1007/978-3-642-18378-2_4) (KAR id:33879)

Preview

Brown, Neil C.C. (2011) Communicating Haskell Processes. Doctor of Philosophy (PhD) thesis, University of Kent. (KAR id:33880)

Preview

Brown, Neil C.C. (2010) Conjoined Events. In: Advances in Message Passing, 2010. . ACM (KAR id:33878)

Preview

Brown, Neil C.C. and Sampson, Adam T. (2009) Alloy: Fast Generic Transformations for Haskell. In: Haskell '09 Proceedings of the 2nd ACM SIGPLAN symposium on Haskell. ICFP International Conference on Functional Programming . ACM, New York, USA, pp. 182-196. ISBN 978-1-60558-508-6. (doi:10.1145/1596638.1596652) (KAR id:30595)

Preview

Brown, Neil C.C. and Smith, Marc L. (2009) Relating and Visualising CSP, VCR and Structural Traces. In: Welch, Peter H. and Roebbers, Herman W. and Broenink, Jan F. and Barnes, Frederick R.M. and Ritson, Carl G. and Sampson, Adam T. and Stiles, Gardiner S. and Vinter, Brian, eds. Communicating Process Architectures 2009. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 182-196. ISBN 978-1-60750-065-0. E-ISBN 978-1-60750-513-6. (doi:10.3233/978-1-60750-065-0-89) (KAR id:30580)

Preview

Bruna, Maria and Grigore, Radu and Kiefer, Stefan and Ouaknine, Joël and Worrell, James (2016) Proving the Herman-Protocol Conjecture. In: Chatzigiannakis, Ioannis and Mitzenmacher, Michael and Rabani, Yuval and Sangiorgi, Davide, eds. 43rd International Colloquium on Automata, Languages, and Programming. ICALP 2016, Rome, Italy, July 12-15, 2016. Leibniz International Proceedings in Informatics . Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Saarbrücken/Wadern, Germany, 104:1-104:12. ISBN 978-3-95977-013-2. (doi:10.4230/LIPIcs.ICALP.2016.104) (KAR id:55083)

Preview

C

Cesarini, Francesco, Thompson, Simon (2010) Erlang Behaviours: Programming With Process Design Patterns. In: Horváth, Zoltán and Plasmeijer, Rinus and Zóka, Vikória, eds. Central European Functional Programming School, CEFP 2009. Lecture Notes in Computer Science , 6299. pp. 182-196. Springer (KAR id:30616)

Preview

Cesarini, Francesco and Thompson, Simon (2011) Erlang by Example. UNSPECIFIED. (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) (KAR id:30718)

Chari, Guido and Garbervetsky, Diego and Marr, Stefan and Ducasse, Stéphane (2015) Towards Fully Reflective Environments. In: Onward! 2015 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software. SPLASH Systems, Programming, and Applications . ACM, New York, USA, pp. 240-253. ISBN 978-1-4503-3688-8. (doi:10.1145/2814228.2814241) (KAR id:63823)

Preview

Charles, Philip and King, Andy and Howe, Jacob M. (2009) Integer Polyhedra for Program Analysis: 5th International Conference, AAIM 2009, San Francisco, CA, USA, June 15-17, 2009. Proceedings. In: Goldberg, Andrew and Zhou, Yunhong, eds. Algorithmic Aspects in Information and Management,. Lecture Notes in Computer Science, 5564 . Springer, pp. 85-99. ISBN 978-3-642-02157-2. (doi:10.1007/978-3-642-02158-9_9) (KAR id:37592)

Preview

Chawdhary, Aziem and King, Andy (2018) Closing the Performance Gap between Doubles and Rationals for Octagons. In: Podelski, Andreas, ed. Static Analysis 25th International Symposium. Springer. ISBN 978-3-319-99724-7. (doi:10.1007/978-3-319-99725-4_13) (KAR id:67227)

Preview

Chawdhary, Aziem and King, Andy (2018) Closing the Performance Gap between Doubles and Rationals for Octagons. In: Podelski, Andreas, ed. International Static Analysis Symposium. Lecture Notes in Computer Science, 11002 . Springer, pp. 187-204. ISBN 978-3-319-99724-7. E-ISBN 978-3-319-99725-4. (doi:10.1007/978-3-319-99725-4_13) (KAR id:70572)

Preview

Chawdhary, Aziem and King, Andy (2017) Compact Difference Bound Matrices. In: Chang, Evan, ed. 15th Asian Symposium on Programming Languages and Systems. Lecture Notes in Computer Science . Springer, pp. 471-490. ISBN 978-3-319-71236-9. (doi:10.1007/978-3-319-71237-6_23) (KAR id:62853)

Preview

Chawdhary, Aziem, King, Andy, Singh, Ranjeet (2016) Partial Evaluation of String Obfuscations for Java Malware Detection. Formal Aspects of Computing, 29 (1). ISSN 0934-5043. E-ISSN 1433-299X. (doi:10.1007/s00165-016-0357-3) (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) (KAR id:53716)

Chawdhary, Aziem, Robbins, Ed, King, Andy (2019) Incrementally Closing Octagons. Formal Methods in System Design, 54 (2). pp. 232-277. ISSN 0925-9856. E-ISSN 1572-8102. (doi:10.1007/s10703-017-0314-7) (KAR id:64181)

Preview

Preview

Chawdhary, Aziem and Robbins, Ed and King, Andy (2014) Simple and Efficient Algorithms for Octagons. In: Garrigue, Jacques, ed. Twelfth Asian Symposium on Programming Languages and Systems. Lecture Notes in Computer Science, 8858 . Springer, pp. 296-313. ISBN 978-3-319-12735-4. E-ISBN 978-3-319-12736-1. (doi:10.1007/978-3-319-12736-1_16) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:42815)

Chechina, Natalia, Li, Huiqing, Ghaffari, Amir, Thompson, Simon, Trinder, Phil (2016) Improving the network scalability of Erlang. Journal of Parallel and Distributed Computing, 90-91 . pp. 22-34. ISSN 0743-7315. (doi:10.1016/j.jpdc.2016.01.002) (KAR id:54099)

Preview

Chechina, Natalia, MacKenzie, Kenneth, Thompson, Simon, Trinder, Phil, Boudeville, Olivier, Fordos, Viktoria, Hoch, csaba, Ghaffari, Amir, Moro Hernandez, Mario (2017) Evaluating Scalable Distributed Erlang for Scalability and Reliability. IEEE Transactions on Parallel and Distributed Systems, 28 (8). pp. 2244-2257. ISSN 1045-9219. (doi:10.1109/TPDS.2017.2654246) (KAR id:60077)

Preview

Chen, Kung, Weng, Shu-Chun, Lin, Jia-Yin, Wang, Meng, Khoo, Siau-Cheng (2011) Side-Effect Localization for Lazy, Purely Functional Languages via Aspects. Higher-Order and Symbolic Computation, . pp. 1-39. ISSN 1388-3690. (KAR id:47476)

Preview

Chen, Kung and Weng, Shu-Chun and Wang, Meng and Khoo, Siau-Cheng and Chen, Chung-Hsin (2007) A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages. In: Static Analysis 14th International Symposium. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 34-51. ISBN 978-3-540-74060-5. E-ISBN 978-3-540-74061-2. (doi:10.1007/978-3-540-74061-2_3) (KAR id:47469)

Preview

Chen, Kung, Weng, Shu-Chun, Wang, Meng, Khoo, Siau-Cheng, Chen, Chung-Hsin (2010) Type-Directed Weaving of Aspects for Polymorphically Typed Functional Languages. Science of Computer Programming, 75 (11). pp. 1048-1076. ISSN 0167-6423. (doi:10.1016/j.scico.2010.04.001) (KAR id:47475)

Preview

Cheng, Yufeng and Wang, Meng and Xiong, Yingfei and Hao, Dan and Zhang, Lu (2016) Empirical Evaluation of Test Coverage for Functional Programs. In: 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST). IEEE, pp. 255-265. ISBN 978-1-5090-1828-4. E-ISBN 978-1-5090-1827-7. (doi:10.1109/ICST.2016.8) (KAR id:53690)

Preview

Cheung, Steven, Darvariu, Victor, Ghica, Dan R., Muroya, Koko, Rowe, Reuben (2018) A functional perspective on machine learning via programmable induction and abduction. In: Lecture Notes in Artificial Intelligence. Proceedings of the Fourteenth International Symposium on Functional and Logic Programming (FLOPS 2018) 9-11 May, 2018, Nagoya, Japan. Lecture Notes in Computer Science . Springer, Switzerland ISBN 978-3-319-90686-7. (doi:10.1007/978-3-319-90686-7_6) (KAR id:66447)

Preview

Chitil, Olaf (1998) Common Subexpressions are Uncommon in Lazy Functional Languages. In: Clack, Chris and Hammond, Kevin and Davie, Tony, eds. Implementation of Functional Languages. LNCS 1467 . pp. 53-71. ISBN 978-3-540-64849-9. E-ISBN 978-3-540-68528-9. (doi:10.1007/BFb0055424) (KAR id:58269)

Preview

Chitil, Olaf (2009) Essentials of Programming Languages (third edition) by Daniel P. Friedman and Mitchell Wand, MIT Press, ISBN 978-0-262-06279-4, 2008. Review of: Essentials of Programming Languages by Friedman, Daniel P and Wand, Mitchell. Journal of Functional Programming, 19 (6). pp. 723-725. (doi:10.1017/S0956796809007357) (KAR id:58190)

Preview

Chitil, Olaf (2008) Heat — An Interactive Development Environment for Learning & Teaching Haskell. In: Draft Proceedings of Implementation and Application of Functional Programs, IFL 2008. . (KAR id:58704)

Preview

Scholz, Sven-Bodo and Chitil, Olaf, eds. (2011) Implementation and Application of Functional Languages: 20th International Symposium, IFL 2008; Hatfield, UK, September 2008; Revised Selected Papers. LNCS 5836 . Springer-Verlag, 291 pp. ISBN 978-3-642-24451-3. E-ISBN 978-3-642-24452-0. (doi:10.1007/978-3-642-24452-0) (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) (KAR id:30726)

Chitil, Olaf (2012) Practical Typed Lazy Contracts. In: Proceedings of the 17th ACM SIGPLAN international conference on Functional programming. ACM, New York, USA, pp. 67-76. ISBN 978-1-4503-1054-3. (doi:10.1145/2364527.2364539) (KAR id:30790)

Preview

Chitil, Olaf (2011) StrictCheck: a Tool for Testing Whether a Function is Unnecessarily Strict. Technical report. University of Kent, Kent, UK 2-11. (doi:2-11) (KAR id:30756)

Preview

Chitil, Olaf (2011) A semantics for lazy assertions. In: Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation. Partial Evaluation and Program Manipulation . ACM, New York, USA, pp. 141-150. ISBN 978-1-4503-0485-6. (doi:10.1145/1929501.1929527) (KAR id:30775)

Preview

Chitil, Olaf and Faddegon, Maarten and Runciman, Colin (2017) A Lightweight Hat: Simple Type-Preserving Instrumentation for Self-Tracing Lazy Functional Programs. In: Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages. ACM-ICPS International Conference Proceeding Series . ACM, New York, USA. ISBN 978-1-4503-4767-9. (doi:10.1145/3064899.3064904) (KAR id:61147)

Preview

Chitil, Olaf and King, Andy and Olivier, Danvy, eds. (2014) PPDP '14: Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming. ACM, 288 pp. ISBN 978-1-4503-2947-7. (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) (KAR id:58670)

Christakis, Maria and Bird, Christian (2016) What Developers Want and Need from Program Analysis: An Empirical Study. In: Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering. ASE Automated Software Engineering . ACM, New York, USA, pp. 332-343. ISBN 978-1-4503-3845-5. (doi:10.1145/2970276.2970347) (KAR id:58938)

Preview

Christakis, Maria, Emmisberger, Patrick, Müller, Peter (2014) Dynamic Test Generation with Static Fields and Initializers. In: Runtime Verification. 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings. Lecture Notes in Computer Science (LNCS) , 8734. pp. 269-284. ISBN 978-3-319-11163-6. E-ISBN 978-3-319-11164-3. (doi:10.1007/978-3-319-11164-3_23) (KAR id:58945)

Preview

Christakis, Maria, Godefroid, Patrice (2015) IC-Cut: A Compositional Search Strategy for Dynamic Test Generation. In: Model Checking Software. 22nd International Symposium, SPIN 2015, Proceedings. Lecture Notes in Computer Science , 9232. pp. 300-318. Springer ISBN 978-3-319-23403-8. E-ISBN 978-3-319-23404-5. (doi:10.1007/978-3-319-23404-5_19) (KAR id:58941)

Preview

Christakis, Maria, Godefroid, Patrice (2015) Proving Memory Safety of the ANI Windows Image Parser Using Compositional Exhaustive Testing. In: Verification, Model Checking, and Abstract Interpretation. Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015 Proceedings. Lecture Notes in Computer Science (LNCS) , 8931. pp. 373-392. Springer ISBN 978-3-662-46080-1. E-ISBN 978-3-662-46081-8. (doi:10.1007/978-3-662-46081-8_21) (KAR id:58943)

Preview

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

Preview

Christakis, Maria, Leino, K. Rustan M., Müller, Peter, Wüstholz, Valentin (2016) Integrated Environment for Diagnosing Verification Errors. In: Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings. Lecture Notes in Computer Science (LNCS) , 9636. pp. 424-441. Springer ISBN 978-3-662-49673-2. E-ISBN 978-3-662-49674-9. (doi:10.1007/978-3-662-49674-9_25) (KAR id:58940)

Preview

Christakis, Maria, Leino, K. Rustan M., Schulte, Wolfram (2014) Formalizing and Verifying a Modern Build Language. In: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. Lecture Notes in Computer Science (LNCS) , 8442. pp. 643-657. ISBN 978-3-319-06409-3. E-ISBN 978-3-319-06410-9. (doi:10.1007/978-3-319-06410-9_43) (KAR id:58944)

Preview

Christakis, Maria, Müller, Peter, Wüstholz, Valentin (2012) Collaborative Verification and Testing with Explicit Assumptions. In: 18th International Symposium on Formal Methods, August 27-31, 2012, Paris, France. (doi:10.1007/978-3-642-32759-9_13) (KAR id:58948)

Preview

Christakis, Maria, Müller, Peter, Wüstholz, Valentin (2015) An Experimental Evaluation of Deliberate Unsoundness in a Static Program Analyzer. In: Verification, Model Checking, and Abstract Interpretation 16th International Conference Proceedings. Lecture Notes in Computer Science (LNCS) , 8931. pp. 336-354. Springer ISBN 978-3-662-46080-1. E-ISBN 978-3-662-46081-8. (doi:10.1007/978-3-662-46081-8_19) (KAR id:58942)

Preview

Christakis, Maria and Müller, Peter and Wüstholz, Valentin (2016) Guiding Dynamic Symbolic Execution Toward Unverified Program Executions. In: Proceedings of the 38th International Conference on Software Engineering. ICSE International Conference on Software Engineering . ACM, New York, USA, pp. 144-155. ISBN 978-1-4503-3900-1. (doi:10.1145/2884781.2884843) (KAR id:58937)

Preview

Christakis, Maria, Müller, Peter, Wüstholz, Valentin (2014) Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations. In: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings. Lecture Notes in Computer Science , 8702. pp. 65-80. Springer ISBN 978-3-319-10430-0. E-ISBN 978-3-319-10431-7. (doi:10.1007/978-3-319-10431-7_6) (KAR id:58946)

Preview

Christakis, Maria, 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) (KAR id:58950)

Preview

Christakis, Maria, 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) (KAR id:58951)

Preview

Christakis, Maria, Wüstholz, Valentin (2016) Bounded Abstract Interpretation. In: Static Analysis 23rd International Symposium, SAS 2016, Proceedings. Lecture Notes in Computer Science (LNCS) , 9837. pp. 105-125. Springer ISBN 978-3-662-53412-0. E-ISBN 978-3-662-53413-7. (doi:10.1007/978-3-662-53413-7_6) (KAR id:58939)

Preview

Cohen, Liron, Rowe, Reuben (2018) Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent. In: Leibniz International Proceedings in Informatics. Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, CSL 2018. . LIPICS (doi:10.4230/LIPIcs.CSL.2018.16) (KAR id:67460)

Preview

Cohen, Liron and Rowe, Reuben N. S. (2018) Infinitary and Cyclic Proof Systems for Transitive Closure Logic. Technical report. University of Kent (Submitted) (KAR id:65886)

Preview

Cohen, Liron, Rowe, Reuben, Zohar, Yoni (2019) Towards Automated Reasoning in Herbrand Structures. Journal of Logic and Computation, . ISSN 0955-792X. (doi:10.1093/logcom/exz011) (KAR id:73527)

Preview

Contrastin, Mistral, Orchard, Dominic A., Rice, Andrew C. (2018) Automatic reordering for dataflow safety of Datalog. In: Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming. Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming. . ACM ISBN 978-1-4503-6441-6. (doi:10.1145/3236950.3236954) (KAR id:68499)

Culpepper, Ryan, Owens, Scott, Flatt, Matthew (2005) Syntactic Abstraction in Component Interfaces. In: Generative Programming and Component Engineering: 4th International Conference, GPCE 2005. (doi:10.1007/11561347_25) (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) (KAR id:31918)

Cámara, Javier, Pedro, Correia, Vieira, Marco, de Lemos, Rogerio (2014) Empirical Resilience Evaluation of an Architecture-based Self-adaptive Software System. In: Proceedings of the 10th International ACM Sigsoft Conference on Quality of Software Architectures. (KAR id:42967)

Preview

D

De Koster, Joeri, Marr, Stefan, D'Hondt, Theo (2012) Synchronization Views for Event-loop Actors. In: Proceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming. (doi:10.1145/2145816.2145873) (KAR id:63841)

Preview

De Koster, Joeri, Marr, Stefan, D'Hondt, Theo, Van Cutsem, Tom (2014) Domains: safe sharing among actors. Science of Computer Programming, 98, Pa . pp. 140-158. ISSN 0167-6423. (doi:10.1016/j.scico.2014.02.008) (KAR id:63831)

Preview

De Koster, Joeri, Marr, Stefan, D'Hondt, Theo, Van Cutsem, Tom (2013) Tanks: Multiple reader, single writer actors. In: Proceedings of AGERE! 2013, 3rd International Workshop on Programming based on Actors, Agents, and Decentralized Control. (KAR id:63834)

Preview

De Schreye, Danny and Janssens, Gerda and King, Andy, eds. (2012) PPDP '12 Proceedings of the 14th symposium on Principles and practice of declarative programming. ACM, New York, USA, 218 pp. ISBN 978-1-4503-1522-7. (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) (KAR id:37617)

De Wael, Mattias and Marr, Stefan and De Koster, Joeri and Sartor, Jennifer B. and De Meuter, Wolfgang (2015) Just-in-Time Data Structures. In: Onward! 2015 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software. SPLASH Systems, Programming, and Applications . ACM, New York, USA, pp. 61-75. ISBN 978-1-4503-3688-8. (doi:10.1145/2814228.2814231) (KAR id:63822)

Preview

De Wael, Mattias and Marr, Stefan and De Meuter, Wolfgang (2014) Data Interface + Algorithms = Efficient Programs: Separating Logic from Representation to Improve Performance. In: Proceedings of the 9th International Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems PLE. ECOOP European Conference on Object-Oriented Programming . ACM, New York, USA. ISBN 978-1-4503-2914-9. (doi:10.1145/2633301.2633303) (KAR id:63830)

Preview

Delaney, Aidan, Stapleton, Gem, Taylor, John, Thompson, Simon (2010) Fragments of Spider Diagrams of Order and their Relative Expressiveness. In: Goel, Ashok K. and Jamnik, Mateja and Narayanan, N. Hari, eds. Diagrammatic Representation and Inference 6th International Conference, Diagrams 2010. Lecture Notes in Computer Science , 6170. pp. 182-196. Springer (doi:10.1007/978-3-642-14600-8) (KAR id:30645)

Preview

Delaney, Aidan, Stapleton, Gem, Taylor, John, Thompson, Simon (2013) On the expressiveness of spider diagrams and commutative star-free regular languages. Journal of Visual Languages and Computing, 24 (4). pp. 273-288. ISSN 1045-926X. (doi:10.1016/j.jvlc.2013.02.001) (KAR id:33572)

Preview

Delaney, Aidan, Stapleton, Gem, Taylor, John, Thompson, Simon (2014) A normal form for spider diagrams of order. Journal of Visual Languages and Computing, 25 (6). pp. 935-944. ISSN 1045-926X. (doi:10.1016/j.jvlc.2014.10.029) (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) (KAR id:44539)

Derrick, John, Boiten, Eerke Albert (2014) Refinement in Z and Object-Z: Foundations and Advanced Applications (2nd revised edition). Springer, London Heidelberg New York Dordrecht, 510 pp. ISBN 978-1-4471-5354-2. E-ISBN 978-1-4471-5355-9. (doi:10.1007/978-1-4471-5355-9) (KAR id:37392)

Preview

Derrick, John and Boiten, Eerke Albert (2016) Relational Concurrent Refinement - partial and total frameworks. In: Petre, Luigia and Sekerinski, Emil, eds. From Action Systems to Distributed Systems: The Refinement Approach. Taylor and Francis, Florida, USA, pp. 143-154. ISBN 978-1-4987-0158-7. (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) (KAR id:51618)

Derrick, John, Boiten, Eerke Albert (2014) Relational Concurrent Refinement Part III: Traces, partial relations and automata. Formal Aspects of Computing, 26 (2). pp. 407-432. ISSN 0934-5043. (doi:10.1007/s00165-012-0262-3) (KAR id:30788)

Preview

Derrick, John, Boiten, Eerke Albert (2009) Relational Concurrent Refinement: Automata. Electronic Notes in Theoretical Computer Science, 259 . pp. 182-196. ISSN 1571-0661. (doi:10.1016/j.entcs.2009.12.015) (KAR id:30569)

Preview

Derrick, John and Boiten, Eerke Albert (2011) Relational Concurrent Refinement: Timed Refinement. In: Bruni, Roberto and Dingel, Juergen, eds. Formal Techniques for Distributed Systems Joint 13th IFIP WG 6.1 International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 121-137. ISBN 978-3-642-21460-8. E-ISBN 978-3-642-21461-5. (doi:10.1007/978-3-642-21461-5_8) (KAR id:30757)

Preview

Derrick, John and Walkinshaw, Neil and Arts, Thomas and Benac Earle, Clara and Cesarini, Francesco and Fredlund, Lars-Ake and Gulias, Victor and Hughes, John and Thompson, Simon (2010) Property-Based Testing - The ProTest Project. In: Formal Methods for Components and Objects. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 250-271. ISBN 978-3-642-17070-6. E-ISBN 978-3-642-17071-3. (doi:10.1007/978-3-642-17071-3_13) (KAR id:42313)

Preview

Dilley, Nicolas, Lange, Julien (2019) An Empirical Study of Messaging Passing Concurrency in Go Projects. In: Proceedings of the 2019 IEEE 26th International Conference on Software Analysis, Evolution, and Reengineering. . IEEE ISBN 978-1-72810-591-8. (doi:10.1109/SANER.2019.8668036) (KAR id:71491)

Preview

Dimmich, Damian J. (2009) A Process Oriented Approach to Solving Problems of Parallel Decomposition and Distribution. Doctor of Philosophy (PhD) thesis, Computing. (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) (KAR id:30601)

Dodds, Mike, Batty, Mark, Gotsman, Alexey (2018) Compositional Verification of Compiler Optimisations on Relaxed Memory. In: Lecture Notes in Computer Science. Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018 Proceedings. 10801. Springer ISBN 978-3-319-89883-4. (doi:10.1007/978-3-319-89884-1_36) (KAR id:66630)

Preview

Dominic, Orchard, Mistral, Contrastin, Matthew, Danish, Andrew, Rice (2017) Verifying Spatial Properties of Array Computations. Journal of Proceedings of the ACM on Programming Languages, 1 (OOPSLA). ISSN 2475-1421. E-ISSN 2475-1421. (doi:10.1145/3133899) (KAR id:62274)

Preview

Drienyovszky, Dániel and Horpacsi, Dániel and Thompson, Simon (2010) Quickchecking Refactoring Tools. In: Fritchie, Scott Lystig and Sagonas, Konstantinos, eds. Proceedings of the 9th ACM SIGPLAN workshop on Erlang. ACM, New York, USA, pp. 182-196. ISBN 978-1-4503-0253-1. (doi:10.1145/1863509.1863521) (KAR id:30636)

Preview

Duan, Jianjun, Hurd, Joe, Li, Guodong, Owens, Scott, Slind, Konrad, Zhang, Junxing (2005) Functional Correctness Proofs of Encryption Algorithms. In: Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005. (doi:10.1007/11591191_36) (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) (KAR id:31917)

Duregard, Jonas and Jansson, Patrik and Wang, Meng (2012) Feat: Functional Enumeration of Algebraic Types. In: Proceedings of the 2012 Haskell Symposium. ICFP International Conference on Functional Programming . ACM, New York, USA, pp. 61-72. ISBN 978-1-4503-1574-6. (doi:10.1145/2364506.2364515) (KAR id:47486)

Preview

da Silva, Carlos Eduardo and de Lemos, Rogério (2009) Using dynamic workflows for coordinating self-adaptation of software systems. In: Magee, Jeff and Müller, Hausi A., eds. 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems. IEEE, pp. 182-196. ISBN 978-1-4244-3724-5. (doi:10.1109/SEAMS.2009.5069077) (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) (KAR id:30604)

de Lemos, Rogerio and Garlan, David and Ghezzi, Carlo and Giese, Holger and Andersson, Jesper and Litoiu, Marin and Schmerl, Bradley and Weyns, Danny and Baresi, Luciano and Bencomo, Nelly and Brun, Yuriy and Camara, Javier and Calinescu, Radu and Cohen, Myra B. and Gorla, Alessandra and Grassi, Vincenzo and Grunske, Lars and Inverardi, Paola and Jezequel, Jean-Marc and Malek, Sam and Mirandola, Raffaela and Mori, Marco and Müller, Hausi A. and Rouvoy, Romain and Rubira, Cecília M. F. and Rutten, Eric and Shaw, Mary and Tamburrelli, Giordano and Tamura, Gabriel and Villegas, Norha M. and Vogel, Thomas and Zambonelli, Franco (2018) Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances. In: de Lemos, Rogerio and Garlan, D. and Giese, H., eds. Software Engineering for Self-Adaptive Systems III. Assurances. Lecture Notes on Computer Science . Springer. ISBN 978-3-319-74182-6. (doi:10.1007/978-3-319-74183-3_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) (KAR id:65859)

F

Faddegon, Maarten and Chitil, Olaf (2015) Algorithmic Debugging of Real-World Haskell Programs: Deriving Dependencies from the Cost Centre Stack. In: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI Programming Language Design and Implementation . ACM, New York, USA, pp. 33-42. ISBN 978-1-4503-3468-6. (doi:10.1145/2737924.2737985) (KAR id:49003)

Preview

Faddegon, Maarten and Chitil, Olaf (2016) Lightweight Computation Tree Tracing for Lazy Functional Languages. In: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI Programming Language Design and Implementation . ACM, New York, USA, pp. 114-128. ISBN 978-1-4503-4261-2. (doi:10.1145/2908080.2908104) (KAR id:55352)

Preview

Faddegon, Maarten, Chitil, Olaf (2017) A Type Generic Definition for Debugging Lazy Functional Programs by Value Observation. Computer Languages, Systems & Structures, 52 . pp. 92-110. ISSN 1477-8424. (doi:10.1016/j.cl.2017.05.001) (KAR id:62530)

Preview

Faddegon, Maarten, Chitil, Olaf (2014) Type Generic Observing. In: Hage, Jurriaan and McCarthy, Jay, eds. Type Generic Observing. 15th International Symposium on Trends in Functional Programming, TFP 2014. LNCS 8843 . pp. 84-103. Springer ISBN 978-3-319-14674-4. E-ISBN 978-3-319-14675-1. (doi:10.1007/978-3-319-14675-1_6) (KAR id:49013)

Preview

Fiadeiro, José Luiz, Lopes, Antónia, Bocchi, Laura (2006) A Formal Approach to Service Component Architecture. In: Web Services and Formal Methods. Third International Workshop, WS-FM 2006 Proceedings. Lecture Notes in Computer Science , 4184. pp. 193-213. Springer ISBN 978-3-540-38862-3. E-ISBN 978-3-540-38865-4. (doi:10.1007/11841197_13) (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) (KAR id:59183)

Fiadeiro, José Luiz, Lopes, Antónia, Bocchi, Laura (2011) An abstract model of service discovery and binding. Formal Aspects of Computing, 23 (4). pp. 433-463. ISSN 0934-5043. (doi:10.1007/s00165-010-0166-z) (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) (KAR id:59160)

Flur, Shaked and Sarkar, Susmit and Pulte, Christopher and Nienhuis, Kyndylan and Maranget, Luc and Gray, Kathryn E. and Sezgin, Ali and Batty, Mark and Sewell, Peter (2017) Mixed-Size Concurrency: ARM, POWER, C/C++11, and SC. In: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. POPL Principles of Programming Languages . ACM, New York, USA, pp. 429-442. ISBN 978-1-4503-4660-3. (doi:10.1145/3009837.3009839) (KAR id:64723)

Preview

Férée, Hugo (2017) Game semantics approach to higher-order complexity. Journal of Computer and System Sciences, 87 . pp. 1-15. ISSN 0022-0000. (doi:10.1016/j.jcss.2017.02.003) (KAR id:64630)

Preview

Férée, Hugo, Gomaa, Walid, Hoyrup, Mathieu (2014) Analytical properties of resource-bounded real functionals. Journal of Complexity, 30 (5). pp. 647-671. ISSN 0885-064X. E-ISSN 1090-2708. (doi:10.1016/j.jco.2014.02.008) (KAR id:64714)

Preview

Férée, Hugo, Hainry, Emmanuel, Hoyrup, Mathieu, Péchoux, Romain (2015) Characterizing polynomial time complexity of stream programs using interpretations. Theoretical Computer Science, 585 . pp. 41-54. ISSN 0304-3975. (doi:10.1016/j.tcs.2015.03.008) (KAR id:64982)

Preview

Férée, Hugo, Hoyrup, Mathieu, Gomaa, Walid (2013) On the query complexity of real functionals. In: 28th ACM/IEEE Symposium on Logic in Computer Science. Logic in Computer Science (LICS), 2013 28th Annual IEEE/ACM Symposium on. . pp. 103-112. IEEE ISBN 978-1-4799-0413-6. (doi:10.1109/LICS.2013.15) (KAR id:64996)

Preview

Férée, Hugo and Hym, Samuel and Mayero, Micaela and Moyen, Jean-Yves and Nowak, David (2018) Formal Proof of Polynomial-Time Complexity with Quasi-Interpretations. In: Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs. POPL Principles of Programming Languages . ACM, New York, USA. ISBN 978-1-4503-5586-5. (doi:10.1145/3167097) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:66330)

Férée, Hugo and Pohjola, Johannes Aman and Kumar, Ramana and Owens, Scott and Myreen, Magnus O. and Ho, Son (2018) Program Verification in the Presence of I/O. In: Verified Software. Theories, Tools, and Experiments. Lecture Notes in Computer Science . Springer. ISBN 978-3-030-03591-4. (doi:10.1007/978-3-030-03592-1_6) (KAR id:71298)

Preview

G

Gaboardi, Marco, Katsumata, Shin-ya, Orchard, Dominic A., Breuvart, Flavien, Uustalu, Tarmo (2016) Combining Effects and Coeffects via Grading. ACM SIGPLAN Notices, 51 (9). pp. 476-489. ISSN 0362-1340. E-ISSN 1558-1160. (doi:10.1145/2951913.2951939) (KAR id:57480)

Preview

Genaim, Samir and King, Andy (2003) Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling: 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings. In: Degano, Pierpaolo, ed. European Symposium on Programming. Lecture Notes in Computer Science . Springer, pp. 84-98. ISBN 978-3-540-00886-6. (doi:10.1007/3-540-36575-3_7) (KAR id:37612)

Preview

Genaim, Samir, King, Andy (2008) Inferring non-suspension conditions for logic programs with dynamic scheduling. ACM Transactions on Computational Logic, 9 (3). pp. 182-196. ISSN 1529-3785. (doi:10.1145/1352582.1352585) (KAR id:15105)

Preview

Gerdes, Alex and Hughes, John and Smallbone, Nick and Wang, Meng (2015) Linking Unit Tests and Properties. In: Proceedings of the 14th ACM SIGPLAN Workshop on Erlang. ICFP International Conference on Functional Programming . ACM, New York, USA, pp. 19-26. ISBN 978-1-4503-3805-9. (doi:10.1145/2804295.2804298) (KAR id:50096)

Preview

Gordon, Mike, Iyoda, Juliano, Owens, Scott, Slind, Konrad (2006) Automatic Formal Synthesis of Hardware from Higher Order Logic. Electronic Notes in Theoretical Computer Science, 145 . pp. 27-43. ISSN 1571-0661. (doi:10.1016/j.entcs.2005.10.003) (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) (KAR id:31916)

Gordon, Mike, Iyoda, Juliano, Owens, Scott, Slind, Konrad (2005) A Proof-Producing Hardware Compiler for a Subset of Higher Order Logic. In: Theorem Proving in Higher Order Logics: Emerging Trends Proceedings. (KAR id:31919)

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. ACM, pp. 51-61. ISBN 978-1-4503-0859-5. (doi:10.1145/2034654.2034664) (KAR id:58949)

Preview

Grigore, Radu (2017) Java Generics are Turing Complete. In: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. POPL Principles of Programming Languages . ACM, New York, USA, pp. 73-85. ISBN 978-1-4503-4660-3. (doi:10.1145/3009837.3009871) (KAR id:58183)

Preview

Grigore, Radu, Kiefer, Stefan (2018) Selective Monitoring. In: Leibniz International Proceedings in Informatics. 20. LIPICS, Germany (doi:10.4230/LIPIcs.CONCUR.2018.20) (KAR id:67553)

Preview

Grigore, Radu and Kiefer, Stefan (2015) Tree Buffers. In: Computer Aided Verification 27th International Conference. Lecture Notes in Computer Science . Springer, Cham, Switzerland, pp. 290-306. ISBN 978-3-319-21689-8. E-ISBN 978-3-319-21690-4. (doi:10.1007/978-3-319-21690-4_17) (KAR id:54173)

Preview

Grigore, Radu, Tzevelekos, Nikos (2016) History-Register Automata. Logical Methods in Computer Science, 12 (1). pp. 1-32. ISSN 1860-5974. (KAR id:54558)

Preview

Grigore, Radu and Yang, Hongseok (2016) Abstraction Refinement Guided by a Learnt Probabilistic Model. In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL Principles of Programming Languages . ACM, New York, USA, pp. 485-498. ISBN 978-1-4503-3549-2. (doi:10.1145/2837614.2837663) (KAR id:54057)

Preview

H

Haupt, Michael, Hirschfeld, Robert, Pape, Tobias, Gabrysiak, Gregor, Marr, Stefan, Bergmann, Arne, Heise, Arvid, Kleine, Matthias, Krahn, Robert (2010) The SOM Family: Virtual Machines for Teaching and Research. In: Proceedings of the 15th Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE). (KAR id:63848)

Preview

Haupt, Michael, Marr, Stefan, Hirschfeld, Robert (2011) CSOM/PL: A Virtual Machine Product Line. Journal of Object Technology, 10 (12). pp. 1-30. ISSN 1660-1769. (doi:10.5381/jot.2011.10.1.a12) (KAR id:63842)

Preview

Heaton, Andrew, Abo-Zaed, Mohammad, King, Andy, Micheal, Codish (2000) A Simple Polynomial Groundness Analysis for Logic Programs. Journal of Logic Programming, 45 (1-3). pp. 143-156. ISSN 0743-1066. (doi:10.1016/S0743-1066(00)00006-6) (KAR id:37583)

Preview

Heaton, Andrew and Hill, Pat and King, Andy (2000) Abstract Domains for Universal and Existential Properties:9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings. In: Smolka, Gert, ed. Programming Languages and Systems. Lecture Notes in Computer Science, 1782 . Springer, pp. 150-164. ISBN 978-3-540-67262-3. (doi:10.1007/3-540-46425-5_10) (KAR id:37619)

Preview

Hellyer, Laurence and Jones, Richard E. and Hosking, Antony L. (2010) The Locality of Concurrent Write Barriers (extended version). Technical report. , University of Kent, Canterbury, Kent CT2 7NF, UK 3-10. (doi:3-10) (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) (KAR id:30658)

Hellyer, Laurence and Jones, Richard E. and Hosking, Antony L. (2010) The Locality of Concurrent Write Barriers. In: Vitek, Jan and Lea, Doug, eds. UNSPECIFIED ACM, Toronto, Canada, pp. 182-196. ISBN 978-1-4503-0054-4. (doi:10.1145/1806651.1806666) (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) (KAR id:30662)

Hill, Pat, King, Andy (1997) Determinacy and Determinacy Analysis. Journal of Programming Languages, 5 (1). pp. 135-171. ISSN 0963-9306. (KAR id:37586)

Preview

Hoverd, Tim, Sampson, Adam T. (2010) A Transactional Architecture for Simulation. In: ICECCS 2010: Fifteenth IEEE International Conference on Engineering of Complex Computer Systems. . pp. 286-290. IEEE Press (KAR id:24147)

Preview

Howe, Jacob M., King, Andy (2003) Efficient Groundness Analysis in Prolog. Theory and Practice of Logic Programming, 3 (1). pp. 95-124. ISSN 1471-0684. (doi:10.1017/S1471068402001485) (KAR id:37536)

Preview

Howe, Jacob M. and King, Andy (2000) Implementing Groundness Analysis with Definite Boolean Functions: 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings. In: Smolka, Gert, ed. European Symposium on Programming. Lecture Notes in Computer Science, 1782 . Springer, pp. 200-214. ISBN 978-3-540-67262-3. (doi:10.1007/3-540-46425-5_13) (KAR id:37620)

Preview

Howe, Jacob M. and King, Andy (2009) Logahedra: a New Weakly Relational Domain: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings. In: Zhiming, Lu and Anders, Ravn, eds. Automated Technology for Verification and Analysis. Lecture Notes in Computer Science, 5799 . Springer, pp. 306-320. ISBN 978-3-642-04760-2. (doi:10.1007/978-3-642-04761-9_23) (KAR id:37591)

Preview

Howe, Jacob M., King, Andy (2011) A Pearl on SAT Solving in Prolog (Logic Programming Newsletter). Logic Programming Newsletter, 2011 (3). pp. 182-196. (KAR id:30769)

Preview

Howe, Jacob M. and King, Andy (2010) A Pearl on SAT Solving in Prolog. In: Blume, Matthias and Vidal, German, eds. Functional and Logic Programming. Lecture Notes in Computer Science . Springer-Verlag, pp. 182-196. ISBN 978-3-642-12250-7. (KAR id:30674)

Preview

Howe, Jacob M., King, Andy (2012) A Pearl on SAT and SMT Solving in Prolog. Theoretical Computer Science, 435 . pp. 43-55. ISSN 0304-3975. (doi:j.tcs.2012.02.024) (KAR id:30812)

Preview

Howe, Jacob M. and King, Andy (2012) Polyhedral Analysis using Parametric Objectives. In: Min'e, Antoine and Schmidt, David A., eds. Static Analysis Symposium. Lecture Notes in Computer Science, 7460 . Springer, pp. 41-57. ISBN 978-3-642-33124-4. (KAR id:30793)

Preview

Howe, Jacob M., King, Andy (2003) Three Optimisations for Sharing. Theory and Practice of Logic Programming, 3 (2). pp. 243-257. ISSN 1471-0684. (doi:10.1017/S1471068402001497) (KAR id:37579)

Preview

Howe, Jacob M., King, Andy, Lawrence-Jones, Charles (2010) Quadtrees as an Abstract Domain. Electronic Notes in Theoretical Computer Science, 267 (1). pp. 182-196. (doi:10.1016/j.entcs.2010.09.008) (KAR id:30620)

Preview

Howe, Jacob M. and King, Andy and Lu, Lunjin (2004) Analysing Logic Programs by Reasoning Backwards: A Decade of Research Advances in Logic-Based Program Development. In: Bruynooghe, Maurice and Lau, Kung-Kiu, eds. Program Development in Computational Logic. Lecture Notes in Computer Science, 3049 . Springer, pp. 152-188. ISBN 978-3-540-22152-4. (doi:10.1007/978-3-540-25951-0_6) (KAR id:37608)

Preview

Howe, Jacob M., King, Andy, Simon, Axel (2019) Incremental Closure for Systems of Two Variables Per Inequality. Theoretical Computer Science, 768 . pp. 1-64. ISSN 0304-3975. (doi:10.1016/j.tcs.2018.12.001) (KAR id:70546)

Preview

Preview

Howe, Jacob M. and Robbins, Ed and King, Andy (2017) Theory Learning with Symmetry Breaking. In: Pientka, Brigitte, ed. International Symposium on Principles and Practice of Declarative Programming. ACM, Namur, Belgium, pp. 85-96. ISBN 978-1-4503-5291-8. (doi:10.1145/3131851.3131861) (KAR id:62377)

Preview

Hu, Zhenjiang, Hughes, John, Wang, Meng (2015) How functional programming mattered. National Science Review, 2 (3). pp. 349-370. ISSN 2095-5138. E-ISSN 2053-714X. (doi:10.1093/nsr/nwv042) (KAR id:50323)

Preview

I

Ivašković, Andrej and Mycroft, Alan and Orchard, Dominic (2020) Data-flow analyses as effects and graded monads. In: Ariola, Zena M., ed. 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020). Leibniz International Proceedings in Informatics, 167 . Dagstuhl, Wadern, Germany. ISBN 978-3-95977-155-9. (doi:10.4230/LIPIcs.FSCD.2020.15) (KAR id:81880)

Preview

J

Jonathan, Martin, King, Andy (2006) Control Generation by Program Transformation. Fundamenta informaticae, 69 (1-2). pp. 179-218. ISSN 0169-2968. E-ISSN 1875-8681. (KAR id:37531)

Preview

Jones, Richard E., Hosking, Antony L., Moss, Eliot (2012) The Garbage Collection Handbook: The Art of Automatic Memory Management. Chapman and Hall ISBN 978-1-4200-8279-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) (KAR id:30827)

Jones, Richard E. and King, Andy C. (2004) Collecting the garbage without blocking the traffic. Technical report. University of Kent (KAR id:49543)

Preview

Jones, William, Chawdhary, Aziem, King, Andy (2016) Optimising the Volgenant-Jonker Algorithm for Approximating Graph Edit Distance. Pattern Recognition Letters, . pp. 1-9. ISSN 0167-8655. (doi:10.1016/j.patrec.2016.07.024) (KAR id:56765)

Preview

Jones, William and Chawdhary, Aziem and King, Andy (2015) Revisiting Volgenant-Jonker for Approximating Graph Edit Distance. In: Liu, Cheng-Lin and Luo, B. and Kropatsch, W.G. and Cheng, J., eds. Graph-based Representations in Pattern Recognition. Lecture Notes in Computer Science, 9069 . Springer, pp. 98-107. ISBN 978-3-319-18223-0. E-ISBN 978-3-319-18224-7. (doi:10.1007/978-3-319-18224-7) (KAR id:47818)

Preview

K

Kahrs, Stefan (2010) Infinitary Rewriting: Foundations Revisited. In: Lynch, Christopher, ed. Proceedings of the 21st International Conference on Rewriting Techniques and Applications. LIPIcs . Schloss Dagstuhl, Dagstuhl, Germany, pp. 182-196. ISBN 978-3-939897-18-7. (doi:10.4230/LIPIcs.RTA.2010.161) (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) (KAR id:30652)

Kahrs, Stefan (2013) Infinitary rewriting: closure operators, equivalences and models. Acta Informatica, 50 (2). pp. 123-156. ISSN 0001-5903. (doi:10.1007/s00236-012-0174-y) (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) (KAR id:33337)

Kahrs, Stefan (2010) Modularity of Convergence and Strong Convergence in Infinitary Rewriting. Logical Methods in Computer Science, 6 (3). pp. 182-196. (doi:10.2168/LMCS-6(3:18)2010) (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) (KAR id:30698)

Kalibera, Tomas (2011) Replicating Real-time Garbage Collector. Concurrency and Computation: Practice and Experience, 23 (14). pp. 182-196. (doi:10.1002/cpe.1669) (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) (KAR id:30730)

Kalibera, Tomas, Hagelberg, Jeff, Maj, Petr, Pizlo, Filip, Titzer, Ben, Vitek, Jan (2011) A family of real-time Java benchmarks. Concurrency and Computation: Practice and Experience, 23 (14). pp. 182-196. (doi:10.1002/cpe.1677) (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) (KAR id:30729)

Kalibera, Tomas and Jones, Richard (2011) Handles revisited: optimising performance and memory costs in a real-time collector. In: ISMM '10 Proceedings of the 2010 international symposium on Memory management. ACM, New York, USA, pp. 182-196. ISBN 978-1-4503-0263-0. (doi:10.1145/1993478.1993492) (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) (KAR id:30755)

Kalibera, Tomas and Jones, Richard E. (2012) Quantifying Performance Changes with Effect Size Confidence Intervals. Technical report. University of Kent, Kent 4--12. (doi:4--12) (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) (KAR id:30809)

Kalibera, Tomas, Jones, Richard E. (2013) Rigorous Benchmarking in Reasonable Time. In: ACM SIGPLAN International Symposium on Memory Management (ISMM 2013). . pp. 63-74. ACM, New York (doi:10.1145/2464157.2464160) (KAR id:33611)

Preview

Kalibera, Tomas, Mole, Matthew, Jones, Richard E., Vitek, Jan (2012) A Black-box Approach to Understanding Concurrency in DaCapo. In: Dwyer, Matthew and Leavens, Gary T., eds. Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA). . ACM, Tucson, AZ, USA (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) (KAR id:30784)

Kalibera, Tomas, Pizlo, Filip, Hosking, Antony L., Vitek, Jan (2011) Scheduling real-time garbage collection on uniprocessors. ACM Transactions on Computer Systems, 29 (3). pp. 182-196. (doi:10.1145/2003690.2003692) (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) (KAR id:30737)

Kettle, Neil, King, Andy (2008) An Anytime Algorithm for Generalized Symmetry Detection in ROBDDs. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 27 (4). pp. 764-777. ISSN 0278-0070. (doi:10.1109/TCAD.2008.917592) (KAR id:37528)

Preview

Kettle, Neil and King, Andy (2006) An Anytime Symmetry Detection Algorithm for ROBDDs. In: Onodera, H., ed. ASP-DAC '06 Proceedings of the 2006 Asia and South Pacific Design Automation Conference. IEEE, pp. 243-248. ISBN 0-7803-9451-8. (doi:10.1145/1118299.1118364) (KAR id:37604)

Preview

Kettle, Neil and King, Andy and Strzemecki, Tadeusz (2006) Widening ROBDDs with Prime Implicants: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings. In: Hermanns, Holger and Palsberg, Jens, eds. Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science, 3920 . Springer, pp. 105-119. ISBN 978-3-540-33056-1. (doi:10.1007/11691372_7) (KAR id:37603)

Preview

Kilov, Haim, Linington, Peter F., Romero, José Raúl, Tanaka, Akira, Vallecillo, Antonio (2013) The Reference Model of Open Distributed Processing: Foundations, experience and applications. Computer Standards and Interfaces, 35 (3). pp. 247-256. ISSN 0920-5489. (doi:10.1016/j.csi.2012.05.003) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:33369)

King, Andy (1994) High Precision Sharing Analysis. Journal of Programming Languages, 2 (1). pp. 149-191. ISSN 0963-9306. (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) (KAR id:37587)

Kiselyov, Oleg and King, Andy, eds. (2016) International Symposium on Functional and Logic Programming. Lecture Notes in Computer Science, 9613 . Springer International Publishing, Switzerland, 265 pp. ISBN 978-3-319-29603-6. E-ISBN 978-3-319-29604-3. (doi:10.1007/978-3-319-29604-3) (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) (KAR id:53718)

King, Andy (2000) Pair-sharing over rational trees. Journal of Logic Programming, 46 (1-2). pp. 139-155. ISSN 0743-1066. (doi:10.1016/S0743-1066(00)00009-1) (KAR id:37582)

Preview

King, Andy, Lu, Lunjin (2002) A Backward Analysis for Constraint Logic Programs. Theory and Practice of Logic Programming, 2 (4-5). pp. 517-547. ISSN 1471-0684. (doi:10.1017/S1471068402001436) (KAR id:37580)

Preview

King, Andy and Lu, Lunjin (2003) Forward versus Backward Verification of Logic Programs: 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003. Proceedings. In: Palamidessi, Catuscia, ed. Logic Programming. Lecture Notes in Computer Science, 2916 . Springer, pp. 315-330. ISBN 978-3-540-20642-2. (doi:10.1007/978-3-540-24599-5_22) (KAR id:37611)

Preview

King, Andy and Lu, Lunjin and Genaim, Samir (2006) Detecting Determinacy in Prolog Programs: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings. In: Etalle, Sandro and Truszczynski, Mirek, eds. Logic Programming. Lecture Notes in Computer Science, 4079 . Springer, pp. 132-147. ISBN 978-3-540-36635-5. (doi:10.1007/11799573_12) (KAR id:37598)

Preview

King, Andy and Smaus, Jan-Georg and Hill, Pat (1999) Quotienting Share for Dependency Analysis: 8th European Symposium on Programming, ESOP’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands, March 22–28, 1999 Proceedings. In: Swierstra, Doaitse, ed. Programming Languages and Systems. Lecture Notes in Computer Science, 1576 . Springer, pp. 59-73. ISBN 978-3-540-65699-9. (doi:10.1007/3-540-49099-X_5) (KAR id:37618)

Preview

King, Andy and Sondergaard, Harald (2010) Automatic Abstraction for Congruences. In: Barthe, Gilles and Hermenegildo, Manuel V., eds. Verification, Model Checking, and Abstract Interpretation. Lecture Notes in Computer Science (5944). Springer-Verlag, pp. 182-196. ISBN 978-3-642-11318-5. (KAR id:30704)

Preview

King, Andy and Sondergaard, Harald (2008) Inferring Congruence Equations using SAT: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings. In: Gupta, Aarti and Malik, Sharad, eds. Computer-Aided Verification. Lecture Notes in Computer Science, 5123 . Springer, pp. 281-293. ISBN 978-3-540-70543-7. (doi:10.1007/978-3-540-70545-1_26) (KAR id:37593)

Preview

King, Andy and Soper, Paul (1992) Ordering Optimizations for Concurrent Logic Programs. In: Nerode, Anil and Taitslin, Michael, eds. Logical Foundations of Computer Science. Lecture Notes in Computer Science, 620 . Springer, pp. 221-228. ISBN 978-3-540-55707-4. E-ISBN 978-3-540-47276-6. (doi:10.1007/BFb0023876) (KAR id:37629)

Preview

Kotiadis, K., Tako, A.A., Vasilakis, C. (2014) A participative and facilitative conceptual modelling framework for discrete event simulation studies in healthcare. Journal of the Operation Research Society, 65 (2). pp. 197-213. ISSN 0160-5682. E-ISSN 1476-9360. (doi:10.1057/jors.2012.176) (KAR id:51028)

Preview

Kotiadis, Kathy (2016) Towards Self-Adaptive Discrete Event Simulation (SADES). In: Proceedings of the Operational Research Society Simulation Workshop 2016 (SW16). . pp. 1-11. UK OR Society (KAR id:53982)

Preview

Kotiadis, Kathy, Tako, Antuela (2016) A Facilitation Workshop for the Implementation Stage: A Case Study in health care. In: Proceedings of the Operational Research Society Simulation Workshop 2016 (SW16). 8th Simulation Workshop (SW16). . pp. 165-174. (KAR id:53997)

Preview

Kriener, Jael, King, Andy (2011) Determinacy Inference for Prolog (appendix for conference submission). University of Kent, School of Computing, Canterbury, CT1 7NF, UK (KAR id:30760)

Preview

Kriener, Jael, King, Andy (2012) Mutual Exclusion by Interpolation. In: Schrijvers, Tom and Thiemann, Peter, eds. Eleventh International Symposium on Functional and Logic Programming. Lecture Notes in Computer Science , 7294. pp. 182-196. Springer, Kobe, Japan (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) (KAR id:30816)

Kriener, Jael and King, Andy (2012) 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 978-3-642-29821-9. (doi:10.1007/978-3-642-29822-6_16) (KAR id:37588)

Preview

Kriener, Jael, King, Andy (2011) RedAlert: Determinacy Inference for Prolog. Theory and Practice of Logic Programming, 11 (4-5). pp. 182-196. (KAR id:30748)

Preview

Kriener, Jael, King, Andy (2011) RedAlert: Determinacy Inference for Prolog. In: 27th International Conference on Logic Programming, July 6-10, 2011, LEXINGTON, KENTUCKY, USA. (KAR id:37621)

Preview

Kriener, Jael and King, Andy (2014) Semantics for Prolog with Cut – Revisited. In: Sumii, Eijiro and Codish, Michael, eds. Functional and Logic Programming. Lecture Notes in Computer Science, 8475 . Springer Verlag, pp. 270-284. ISBN 978-3-319-07151-0. (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:38188)

Kriener, Jael and King, Andy and Blazy, Sandrine (2013) Proofs You Can Believe In: Proving Equivalences Between Prolog Semantics in Coq. In: Schrijvers, Tom, ed. Principles and Practice of Declarative Programming. ACM Press, New York, pp. 37-48. ISBN 978-1-4503-2154-9. (doi:10.1145/2505879.2505886) (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) (KAR id:37524)

Kumar, Ramana, Arthan, Rob, Myreen, Magnus O., Owens, Scott (2014) HOL with Definitions: Semantics, Soundness, and a Verified Implementation. In: Interactive Theorem Proving: Fifth International Conference, ITP 2014. Lecture Notes in Computer Science , 8558. pp. 308-324. Springer (doi:10.1007/978-3-319-08970-6_20) (KAR id:38886)

Preview

Kumar, Ramana, Arthan, Rob, Myreen, Magnus O., Owens, Scott (2016) Self-Formalisation of Higher-Order Logic: Semantics, Soundness, and a Verified Implementation. Journal of Automated Reasoning, 56 (3). pp. 221-259. ISSN 0168-7433. E-ISSN 1573-0670. (doi:10.1007/s10817-015-9357-x) (KAR id:45155)

Preview

Kumar, Ramana and Myreen, Magnus O. and Norrish, Michael and Owens, Scott (2014) CakeML: A Verified Implementation of ML. In: Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL Principles of Programming Languages . ACM, New York, USA, pp. 179-191. ISBN 978-1-4503-2544-8. (doi:10.1145/2535838.2535841) (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) (KAR id:36711)

L

Lamela Seijas, Pablo and Li, Huiqing and Thompson, Simon (2013) Towards Property-Based Testing of RESTful Web Services. Technical report. School of Computing, University of Kent (Unpublished) (KAR id:34865)

Preview

Lamela Seijas, Pablo and Li, Huiqing and Thompson, Simon (2013) Towards property-based testing of RESTful web services. In: Proceedings of the twelfth ACM SIGPLAN workshop on Erlang. ICFP International Conference on Functional Programming . ACM, New York, USA, pp. 77-78. ISBN 978-1-4503-2385-7. (doi:10.1145/2505305.2505317) (KAR id:42310)

Preview

Lamela Seijas, Pablo and Thompson, Simon and Taylor, Ramsay and Bogdanov, Kirill and Derrick, John (2014) Synapse: automatic behaviour inference and implementation comparison for Erlang. Technical report. University of Kent (Unpublished) (KAR id:42784)

Preview

Lange, Julien and Ng, Nicholas and Toninho, Bernardo and Yoshida, Nobuko (2017) Fencing off go: liveness and safety for channel-based programming. In: Castagna, Giuseppe and Gordon, Andrew D., eds. Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. POPL Principles of Programming Languages . ACM, New York, USA, pp. 748-761. ISBN 978-1-4503-4660-3. (doi:10.1145/3009837.3009847) (KAR id:62218)

Preview

Li, Guodong, Owens, Scott, Slind, Konrad (2007) Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic. In: Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007. (doi:10.1007/978-3-540-71316-6_15) (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) (KAR id:31914)

Li, Huiqing and Lindberg, Adam and Schumacher, Andreas and Thompson, Simon (2009) Improving your test code with Wrangler. Technical report. (KAR id:30576)

Preview

Li, Huiqing, Thompson, Simon (2012) Automated API migration in a user-extensible refactoring tool for Erlang programs. In: the 27th IEEE/ACM International Conference on Automated Software Engineering, September 2012, Essen, Germany. (KAR id:30924)

Preview

Li, Huiqing and Thompson, Simon (2011) A Domain-Specific Language for Scripting Refactorings in Erlang. Technical report. (KAR id:30722)

Preview

Li, Huiqing, Thompson, Simon (2012) A Domain-Specific Language for Scripting Refactorings in Erlang. In: de Lara, Juan and Zisman, Andrea, eds. 15th Fundamental Approaches to Software Engineering(FASE2012). . 15pp. Lecture Notes in Computer Science. Springer, Tallinn, Estonia (KAR id:30822)

Preview

Li, Huiqing and Thompson, Simon (2010) Improved Testing Through Refactoring: Experience from the ProTest project. In: Bottaci, Leonardo and Fraser, Gordon, eds. Testing – Practice and Research Techniques 5th International Academic and Industrial Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 182-196. ISBN 978-3-642-15584-0. E-ISBN 978-3-642-15585-7. (doi:10.1007/978-3-642-15585-7_21) (KAR id:30628)

Preview

Li, Huiqing, Thompson, Simon (2014) Improved semantics and implementation through property-based testing with QuickCheck. In: Proceedings of the 9th International Workshop on Automation of Software Test. . pp. 50-56. (doi:10.1145/2593501.2593509) (KAR id:42307)

Preview

Li, Huiqing, Thompson, Simon (2011) Incremental Code Clone Detection and Elimination for Erlang Programs. In: Giannakopoulou, Dimitra and Orejas, Fernando, eds. Proceedings of the Conference on Fundamental Approaches to Software Engineering (FASE'11). Lecture Notes in Computer Science . pp. 182-196. Springer (KAR id:30770)

Preview

Li, Huiqing and Thompson, Simon (2012) Let's Make Refactoring Tools User-extensible! In: Sommerlad, Peter, ed. Proceedings of the Fifth Workshop on Refactoring Tools. SPLASH Systems, Programming, and Applications . ACM, New York, USA, pp. 32-39. ISBN 978-1-4503-1500-5. (doi:10.1145/2328876.2328881) (KAR id:30807)

Preview

Li, Huiqing, Thompson, Simon (2013) Multicore Profiling for Erlang Programs Using Percept2. In: Erlang Workshop 2013, 28 September 2013, Boston, USA. (doi:2505305.2505311) (KAR id:34875)

Preview

Li, Huiqing and Thompson, Simon (2010) Refactoring Support for Modularity Maintenance in Erlang. In: Vunju, Jurgen and Marinescu, Cristina, eds. 2010 10th IEEE Working Conference on Source Code Analysis and Manipulation. IEEE, pp. 182-196. ISBN 978-1-4244-8655-7. (doi:10.1109/SCAM.2010.17) (KAR id:30627)

Preview

Li, Huiqing and Thompson, Simon (2015) Safe Concurrency Introduction through Slicing. In: Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation. PEPM Partial Evaluation and Program Manipulation . ACM, New York, USA, pp. 103-113. ISBN 978-1-4503-3297-2. (doi:10.1145/2678015.2682533) (KAR id:46579)

Preview

Li, Huiqing and Thompson, Simon (2010) Similar Code Detection and Elimination for Erlang Programs. In: Carro, Manuel and Pena, Ricardo, eds. Practical Aspects of Declarative Languages 12th International Symposium. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 182-196. ISBN 978-3-642-11502-8. E-ISBN 978-3-642-11503-5. (doi:10.1007/978-3-642-11503-5_10) (KAR id:30703)

Preview

Li, Huiqing, Thompson, Simon (2009) Testing-framework-aware Refactoring. In: The Third ACM Workshop on Refactoring Tools. . pp. 182-196. , Orlando, Florida (KAR id:30587)

Preview

Li, Huiqing and Thompson, Simon (2011) A User-extensible Refactoring Tool for Erlang Programs. Technical report. (KAR id:30720)

Preview

Li, Huiqing, Thompson, Simon, Arts, Thomas (2011) Extracting Properties from Test Cases by Refactoring. In: Counsell, Steve, ed. Proceedings of the Refactoring and Testing Workshop (RefTest 2011). . pp. 182-196. IEEE digital library (KAR id:30767)

Preview

Li, Huiqing, Thompson, Simon, Lamela Seijas, Pablo, Francisco, Miguel Angel (2014) Automating property-based testing of evolving web services. In: Proceedings of ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM'13). . pp. 169-180. (doi:10.1145/2543728.2543741) (KAR id:42309)

Preview

Li, Xuan and King, Andy and Lu, Lunjin (2006) Collapsing Closures: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings. In: Etalle, Sandro and Truszczynski, Mirek, eds. Logic Programming. Lecture Notes in Computer Science, 4079 . Springer, pp. 148-162. ISBN 978-3-540-36635-5. (doi:10.1007/11799573_13) (KAR id:37601)

Preview

Li, Xuan and King, Andy and Lu, Lunjin (2006) Lazy Set-Sharing Analysis: 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings. In: Wadler, Philip and Hagiya, Masimi, eds. Functional and Logic Programming. Lecture Notes in Computer Science, 3945 . Springer, pp. 177-191. ISBN 978-3-540-33438-5. (doi:10.1007/11737414_13) (KAR id:37602)

Preview

Linington, Peter F. (2010) The Stereochemistry of Enterprise Objects. In: 2010 14th IEEE International Enterprise Distributed Object Computing Conference Workshops. IEEE, pp. 182-196. ISBN 978-1-4244-7965-8. (doi:10.1109/EDOCW.2010.25) (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) (KAR id:30625)

Linington, Peter F., Milosevic, Zoran, Tanaka, Akira, Vallecillo, Antonio (2011) Building Enterprise Systems with ODP - An Introduction to Open Distributed Processing. Innovation in Software Engineering and Software Development . Chapman and Hall/CRC Press ISBN 978-1-4398-6625-2. (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) (KAR id:30724)

Linington, Peter F. and Miyazaki, Hiroshi and Vallecillo, Antonio (2012) Obligations and Delegation in the ODP Enterprise Language. In: 2012 IEEE 16th International Enterprise Distributed Object Computing Conference Workshops. IEEE, pp. 146-155. ISBN 978-1-4673-5005-1. (doi:10.1109/EDOCW.2012.28) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:33368)

Little, Christopher, Gray, Kathryn E., Owens, Scott (2015) JSTyper: Type inference fo JavaScript. In: Implementation and application of functional programming languages, 14-16 September, 2015, Koblenz, Germany. (Unpublished) (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) (KAR id:52548)

Lu, Lunjin and King, Andy (2004) Backward Pair Sharing Analysis: 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004. Proceedings. In: Kameyama, Yukiyoshi and Stuckey, Peter, eds. Functional and Logic Programming. Lecture Notes in Computer Science . Springer, pp. 132-146. ISBN 978-3-540-21402-1. (doi:10.1007/978-3-540-24754-8_11) (KAR id:37610)

Preview

Lu, Lunjin and King, Andy (2005) Determinacy Inference for Logic Programs: 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings. In: Sagiv, Shmuel, ed. European Symposium on Programming. Lecture Notes in Computer Science, 3444 . Springer, pp. 108-123. ISBN 978-3-540-25435-5. (doi:10.1007/978-3-540-31987-0_9) (KAR id:37607)

Preview

M

Mador-Haim, Sela and Maranget, Luc and Sarkar, Susmit and Memarian, Kayvan and Alglave, Jade and Owens, Scott and Alur, Rajeev and Martin, Milo M.K. and Sewell, Peter and Williams, Derek (2012) An Axiomatic Memory Model for POWER Multiprocessors. In: Computer Aided Verification 24th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 495-512. ISBN 978-3-642-31423-0. E-ISBN 978-3-642-31424-7. (doi:10.1007/978-3-642-31424-7_36) (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) (KAR id:31891)

Marco, Paviotti, Jesper, Bengtson (2018) Formally verifying Exceptions for Low-level code with Separation Logic. Journal of Logical and Algebraic Methods in Programming, 94 . pp. 1-14. ISSN 2352-2208. (doi:10.1016/j.jlamp.2017.09.004) (KAR id:67658)

Preview

Marr, Stefan (2010) Encapsulation And Locality: A Foundation for Concurrency Support in Multi-Language Virtual Machines? In: SPLASH '10: Proceedings of the ACM International Conference Companion on Object Oriented Programming Systems Languages and Applications Companion. (doi:10.1145/1869542.1869583) (KAR id:63845)

Preview

Chiba, Shigeru and Gonzalez Boix, Elisa and Marr, Stefan, eds. (2017) Proceedings of the 2nd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection. ACM ISBN 978-1-4503-5523-0. (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:65575)

Marr, Stefan (2013) Supporting Concurrency Abstractions in High-level Language Virtual Machines. Doctor of Philosophy (PhD) thesis, Software Languages Lab, Vrije Universiteit Brussel. (KAR id:63836)

Preview

Marr, Stefan, D'Hondt, Theo (2010) Many-Core Virtual Machines: Decoupling Abstract from Concrete Concurrency. In: SPLASH '10: Proceedings of the ACM International Conference Companion on Object Oriented Programming Systems Languages and Applications Companion. (doi:10.1145/1869542.1869593) (KAR id:63846)

Preview

Marr, Stefan, De Wael, Mattias, Haupt, Michael, D'Hondt, Theo (2011) Which Problems Does a Multi-Language Virtual Machine Need to Solve in the Multicore/Manycore Era? In: Proceedings of the 5th Workshop on Virtual Machines and Intermediate Languages. (doi:10.1145/2095050.2095104) (KAR id:63843)

Preview

Marr, Stefan, Gonzalez Boix, Elisa, Mössenböck, Hanspeter (2016) Towards Meta-Level Engineering and Tooling for Complex Concurrent Systems. In: Proceedings of the 9th Arbeitstagung Programmiersprachen. (KAR id:63820)

Preview

Marr, Stefan, Haupt, Michael, D'Hondt, Theo (2009) Intermediate Language Design of High-level Language Virtual Machines: Towards Comprehensive Concurrency Support. In: Proceedings of the 3rd Workshop on Virtual Machines and Intermediate Languages. (doi:10.1145/1711506.1711509) (KAR id:63850)

Preview

Marr, Stefan, Haupt, Michael, Timbermont, Stijn, Adams, Bram, D'Hondt, Theo, Costanza, Pascal, De Meuter, Wolfgang (2010) Virtual Machine Support for Many-Core Architectures: Decoupling Abstract From Concrete Concurrency Models. In: Second International Workshop on Programming Languages Approaches to Concurrency and Communication-cEntric Software. (doi:10.4204/EPTCS.17.6) (KAR id:63849)

Preview

Martin, Jonthan C. and King, Andy (2004) On the Inference of Natural Level Mappings: A Decade of Research Advances in Logic-Based Program Development. In: Bruynooghe, Maurice and Lau, Kung-Kiu, eds. Program Development in Computational Logic,. Lecture Notes in Computer Science, 3049 . Springer, pp. 432-452. ISBN 978-3-540-22152-4. (doi:10.1007/978-3-540-25951-0_13) (KAR id:37609)

Preview

Matsuda, Kazutaka, Wang, Meng (2015) Applicative Bidirectional Programming with Lenses. In: ACM SIGPLAN International Conference on Functional Programming, 31 August – 2 September, 2015, Vancouver, British Columbia, Canada. (KAR id:49084)

Preview

Matsuda, Kazutaka and Wang, Meng (2013) Bidirectionalization for Free with Runtime Recording: Or, a Light-Weight Approach to the View-Update Problem. In: Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming. PPDP Principles and Practice of Declarative Programming . ACM, New York, USA, pp. 297-308. ISBN 978-1-4503-2154-9. (doi:10.1145/2505879.2505888) (KAR id:47480)

Preview

Matsuda, Kazutaka, Wang, Meng (2014) “Bidirectionalization for Free” for Monomorphic Transformations. Science of Computer Programming, 111 (Part 1). pp. 79-109. ISSN 0167-6423. (doi:10.1016/j.scico.2014.07.008) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:47485)

Matsuda, Kazutaka, Wang, Meng (2013) FliPpr: A Prettier Invertible Printing System. In: 22nd European Symposium on Programming. . pp. 101-120. ISBN 978-3-642-37035-9. E-ISBN 978-3-642-37036-6. (doi:10.1007/978-3-642-37036-6_6) (KAR id:47479)

Preview

Mercier, Daniel (2017) dynStruct: An automatic reverse engineering tool for structure recovery and memory use analysis. Master of Science (MSc) thesis, University of Kent. (KAR id:58461)

Preview

Mercier, Daniel and Chawdhary, Aziem and Jones, Richard (2017) dynStruct: An automatic reverse engineering tool for structure recovery and memory use analysis. In: 2017 IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER). IEEE, pp. 497-501. ISBN 978-1-5090-5502-9. E-ISBN 978-1-5090-5501-2. (doi:10.1109/SANER.2017.7884661) (KAR id:63700)

Preview

Miculan, Marino, Paviotti, Marco (2012) Synthesis of distributed mobile programs using monadic types in Coq. In: Proceedings of 3rd International Conference on Interactive Theorem Proving. . pp. 183-200. Springer (doi:10.1007/978-3-642-32347-8_13) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:65009)

Monks, Thomas, Robinson, Stewart, Kotiadis, Kathy (2015) Can involving clients in simulation studies help them solve their future problems? A transfer of learning experiment. Euorpean Journal of Operational Research, 249 (3). pp. 919-930. ISSN 0377-2217. (doi:10.1016/j.ejor.2015.08.037) (KAR id:51026)

Preview

Monks, Thomas, Robinson, Stewart, Kotiadis, Kathy (2014) Learning from discrete-event simulation: Exploring the high involvement hypothesis. European Journal of Operational Research, 235 (1). pp. 195-205. ISSN 0377-2217. (doi:10.1016/j.ejor.2013.10.003) (KAR id:51025)

Preview

Mulligan, Dominic P., Owens, Scott, Gray, Kathryn E., Ridge, Tom, Sewell, Peter (2014) Lem: reusable engineering of real-world semantics. In: ICFP’14 Proceedings of the 2014 ACM SIGPLAN International Conference on Functional Programming. Proceedings of the 2014 ACM SIGPLAN. 49 (9). pp. 175-188. ACM Press ISBN 978-1-4503-2873-9. (doi:10.1145/2628136.2628143) (KAR id:36713)

Preview

Murgia, Maurizio (2018) On Urgency in Asynchronous Timed Session Types. In: Electronic Proceedings in Theoretical Computer Science. Proceedings 11th Interaction and Concurrency Experience. 279. pp. 85-94. Open Publishing Association (doi:10.4204/EPTCS.279.9) (KAR id:69683)

Preview

Myreen, Magnus O. and Owens, Scott (2012) Proof-Producing Synthesis of ML from Higher-Order Logic. In: Proceedings of the 17th ACM SIGPLAN international conference on Functional programming. ACM, New York, USA, pp. 115-126. ISBN 978-1-4503-1054-3. (doi:10.1145/2364527.2364545) (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) (KAR id:31890)

Myreen, Magnus O., Owens, Scott (2014) Proof-producing translation of higher-order logic into pure and stateful ML. Journal of Functional Programming, 24 (2-3). pp. 284-315. ISSN 0956-7968. (doi:10.1017/S0956796813000282) (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) (KAR id:36712)

Myreen, Magnus O. and Owens, Scott and Kumar, Ramana (2013) Steps Towards Verified Implementations of HOL Light (Rough Diamond). In: Interactive Theorem Proving 4th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 490-495. ISBN 978-3-642-39633-5. E-ISBN 978-3-642-39634-2. (doi:10.1007/978-3-642-39634-2_38) (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) (KAR id:36709)

Møgelberg, Rasmus, Paviotti, Marco (2018) Denotational semantics of recursive types in synthetic guarded domain theory. Mathematical Structures in Computer Science, . ISSN 0960-1295. (doi:10.1017/S0960129518000087) (KAR id:69685)

Preview

N

Neykova, Rumyana, Bocchi, Laura, Yoshida, Nobuko (2014) Timed Runtime Monitoring for Multiparty Conversations. In: Proceedings Third Workshop on Behavioural Types. Electronic Proceedings in Theoretical Computer Science . pp. 19-26. (doi:10.4204/EPTCS.162.3) (KAR id:43736)

Preview

O

Okudono, Takamasa and King, Andy (2020) Mind the Gap: Bit-vector Interpolation recast over Linear Integer Arithmetic. In: Biere, Armin and Parker, David, eds. International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer, pp. 79-96. ISBN 978-3-030-45189-9. (doi:10.1007/978-3-030-45190-5_5) (KAR id:80188)

Preview

Oliveira, Bruno, Wang, Meng, Gibbons, Jeremy (2008) The VISITOR Pattern as a Reusable, Generic, Type-Safe Component. In: Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications. . (KAR id:47470)

Preview

Orchard, Dominic A. (2014) Computational Semantics with Functional Programming, by Jan van Eijck and Christina Unger. Review of: Computational Semantics with Functional Programming by van Eijck, Jan and Unger, Christina. Journal of Functional Programming, 24 (4). pp. 524-527. ISSN 0956-7968. E-ISSN 1469-7653. (doi:10.1017/S0956796814000057) (KAR id:57485)

Preview

Orchard, Dominic A. (2011) The four Rs of programming language design. In: Onward! 2011 Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software. SPLASH Systems, Programming, and Applications . ACM, New York, USA, pp. 157-162. ISBN 978-1-4503-0941-7. (doi:10.1145/2089131.2089138) (KAR id:57496)

Preview

Orchard, Dominic A. and Bolingbroke, Max and Mycroft, Alan (2010) Ypnos: declarative, parallel structured grid programming. In: DAMP '10 Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming. POPL Principles of Programming Languages . ACM, New York, USA, pp. 15-24. ISBN 978-1-60558-859-9. (doi:10.1145/1708046.1708053) (KAR id:57499)

Preview

Orchard, Dominic A., Liepelt, Vilem, Eades, Harley (2019) Quantitative program reasoning with graded modal types. Proceedings of the ACM on Programming Languages, 3 . E-ISSN 2475-1421. (doi:10.1145/3341714) (KAR id:74450)

Preview

Orchard, Dominic A., Matthews, Steve (2008) Integrating Lucid's Declarative Dataflow Paradigm into Object-Orientation. Mathematics in Computer Science, 2 (1). pp. 103-122. ISSN 1661-8270. E-ISSN 1661-8289. (doi:10.1007/s11786-008-0046-6) (KAR id:57500)

Preview

Orchard, Dominic A., Mycroft, Alan (2011) Efficient and Correct Stencil Computation via Pattern Matching and Static Typing. In: In Proceedings DSL 2011. . pp. 68-92. (doi:10.4204/EPTCS.66.4) (KAR id:57497)

Preview

Orchard, Dominic A., Mycroft, Alan (2012) A Notation for Comonads. In: Lecture Notes in Computer Science. Symposium on Implementation and Application of Functional Languages. . pp. 1-17. Springer (doi:10.1007/978-3-642-41582-1_1) (KAR id:57495)

Preview

Orchard, Dominic A., Petricek, Tomas, Mycroft, Alan (2014) The semantic marriage of monads and effects. CoRR, abs/14 . (Unpublished) (KAR id:57492)

Preview

Orchard, Dominic A., Rice, Andrew C., Oshmyan, Oleg (2015) Evolving Fortran types with inferred units-of-measure. Journal of Computational Science, 9 . pp. 156-162. ISSN 1877-7503. (doi:10.1016/j.jocs.2015.04.018) (KAR id:57483)

Preview

Orchard, Dominic A., Schrijvers, Tom (2010) Haskell Type Constraints Unleashed. In: Lecture Notes in Computer Science. Functional and Logic Programming. . pp. 56-71. Springer (doi:10.1007/978-3-642-12251-4_6) (KAR id:57498)

Preview

Orchard, Dominic A. and Yoshida, Nobuko (2016) Effects as Sessions, Sessions as Effects. In: POPL '16: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM, New York USA, New York, USA, pp. 568-581. ISBN 978-1-4503-3549-2. (doi:10.1145/2837614.2837634) (KAR id:57481)

Preview

Orchard, Dominic and Petricek, Tomas (2014) Embedding effect systems in Haskell. In: Proceedings of the 2014 ACM SIGPLAN symposium on Haskell. ICFP International Conference on Functional Programming . ACM, New York, USA, pp. 13-24. ISBN 978-1-4503-3041-1. (doi:10.1145/2633357.2633368) (KAR id:57487)

Preview

Orchard, Dominic, Rice, Andrew (2014) A Computational Science Agenda for Programming Language Research. Procedia Computer Science, 29 . pp. 713-727. ISSN 1877-0509. (doi:10.1016/j.procs.2014.05.064) (KAR id:57488)

Preview

Owens, Scott (2007) Compile-time Information in Software Components. Doctor of Philosophy (PhD) thesis, University of Utah. (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) (KAR id:31913)

Owens, Scott (2010) Reasoning about the Implementation of Concurrency Abstractions on x86-TSO. In: d'Hondt, Theo, ed. ECOOP 2010 – Object-Oriented Programming 24th European Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 478-503. ISBN 978-3-642-14106-5. E-ISBN 978-3-642-14107-2. (doi:10.1007/978-3-642-14107-2_23) (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) (KAR id:31901)

Owens, Scott (2008) A Sound Semantics for OCaml\(_{light}\). In: Drossopoulou, Sophia, ed. Programming Languages and Systems 17th European Symposium on Programming. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 1-15. ISBN 978-3-540-78738-9. E-ISBN 978-3-540-78739-6. (doi:10.1007/978-3-540-78739-6_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) (KAR id:31909)

Owens, Scott, Boehm, Peter, Zappa Nardelli, Francesco, Sewell, Peter (2011) Lem: A Lightweight Tool for Heavyweight Semantics (Rough Diamond). In: Interactive Theorem Proving: Second International Conference, ITP 2011. (doi:10.1007/978-3-642-22863-6_27) (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) (KAR id:31894)

Owens, Scott, Flatt, Matthew (2006) From Structures and Functors to Modules and Units. In: ICFP '06: Proceedings of the Eleventh ACM SIGPLAN International Conference on Functional Programming. (doi:10.1145/1159803.1159815) (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) (KAR id:31915)

Owens, Scott, Flatt, Matthew, Shivers, Olin, McMullan, Benjamin (2004) Lexer and Parser Generators in Scheme. In: Scheme 2004: Proceedings of the Fifth Workshop on Scheme and Functional Programming. (KAR id:31920)

Preview

Owens, Scott, Myreen, Magnus O., Kumar, Ramana, Tan, Yong Kiam (2016) Functional Big-step Semantics. In: Lecture Notes in Computer Science. Lecture Notes in Computer Science. 9632. Springer (doi:10.1007/978-3-662-49498-1_23) (KAR id:53533)

Preview

Owens, Scott, Norrish, Michael, Kumar, Ramana, Myreen, Magnus O., Tan, Yong Kiam (2017) Verifying Efficient Function Calls in CakeML. Proceedings of the ACM Programming Languages, 1 (ICFP). ISSN 2475-1421. E-ISSN 2475-1421. (doi:10.1145/3110262) (KAR id:62156)

Preview

Owens, Scott, Peskine, Gilles (2007) Verifying Type Soundness for OCaml: The Core Language. In: 2nd Informal ACM SIGPLAN Workshop on Mechanizing Metatheory. (Unpublished) (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) (KAR id:31911)

Owens, Scott, Reppy, John, Turon, Aaron (2009) Regular-expression Derivatives Re-examined. Journal of Functional Programming, 19 (2). pp. 173-190. ISSN 0956-7968. (doi:10.1017/S0956796808007090) (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) (KAR id:31906)

Owens, Scott and Sarkar, Susmit and Sewell, Peter (2009) A Better x86 Memory Model: x86-TSO (Extended Version). Technical report. University of Cambridge, Computer Laboratory UCAM-CL-TR-745. (doi:UCAM-CL-TR-745) (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) (KAR id:31905)

Owens, Scott and Sarkar, Susmit and Sewell, Peter (2009) A Better x86 Memory Model: x86-TSO. In: Berghofer, Stefan and Nipkow, Tobias and Urban, Christian and Wenzel, Makarius, eds. Theorem Proving in Higher Order Logics 22nd International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 391-407. ISBN 978-3-642-03358-2. E-ISBN 978-3-642-03359-9. (doi:10.1007/978-3-642-03359-9_27) (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) (KAR id:31903)

Owens, Scott, Slind, Konrad (2008) Adapting Functional Programs to Higher-Order Logic. Higher-Order and Symbolic Computation, 21 (4). pp. 377-409. ISSN 1388-3690. (doi:10.1007/s10990-008-9038-0) (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) (KAR id:31908)

Owens, Scott, Slind, Konrad (2003) Proving as Programming with DrHOL: A Preliminary Design. In: Technical report 189. . pp. 123-132. Institut für Informatik, Albert-Ludwigs-Universität Freiburg (KAR id:31921)

Preview

P

Paviotti, Marco and Møgelberg, Rasmus (2016) Denotational semantics of recursive types in synthetic guarded domain theory. In: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science. LICS Logic in Computer Science . ACM, New York, USA, pp. 317-326. ISBN 978-1-4503-4391-6. (doi:10.1145/2933575.2934516) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:65016)

Paviotti, Marco, Møgelberg, Rasmus, Birkedal, Lars (2015) A Model of PCF in Guarded Type Theory. Electronic Notes in Theoretical Computer Science, 319 . pp. 333-349. ISSN 1571-0661. (doi:10.1016/j.entcs.2015.12.020) (KAR id:65015)

Preview

Petersen, Leaf and Orchard, Dominic and Glew, Neal (2013) Automatic SIMD vectorization for Haskell. In: Proceedings of the 18th ACM SIGPLAN international conference on Functional programming. ICFP International Conference on Functional Programming . ACM, New York, USA, pp. 25-36. ISBN 978-1-4503-2326-0. (doi:10.1145/2500365.2500605) (KAR id:57494)

Preview

Petricek, Tomas (2015) Against a Universal Definition of 'Type'. In: Onward! 2015 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software. SPLASH Systems, Programming, and Applications . ACM, New York, USA, pp. 254-266. ISBN 978-1-4503-3688-8. (doi:10.1145/2814228.2814249) (KAR id:67144)

Preview

Petricek, Tomas (2017) Data exploration through dot-driven development. In: ECOOP 2017. ECOOP’17. . 21:1-21:27. Schloss Dagstuhl – Leibniz-Zentrum ISBN 978-3-95977-035-4. (doi:10.4230/LIPIcs.ECOOP.2017.0) (KAR id:67139)

Preview

Petricek, Tomas (2017) Miscomputation in software: Learning to live with errors. The Art, Science, and Engineering of Programming, 1 (2). Article 14. ISSN 2473-7321. E-ISSN 2473-7321. (doi:10.22152/programming-journal.org/2017/1/14) (KAR id:67145)

Preview

Petricek, Tomas (2018) What we talk about when we talk about monads. The Art, Science, and Engineering of Programming, 2 (3). p. 12. ISSN 2473-7321. (doi:10.22152/programming-journal.org/2018/2/12) (KAR id:67137)

Preview

Petricek, Tomas and Guerra, Gustavo and Syme, Don (2016) Types from Data: Making Structured Data First-class Citizens in F#. In: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI Programming Language Design and Implementation . ACM, New York, USA, pp. 477-490. ISBN 978-1-4503-4261-2. (doi:10.1145/2908080.2908115) (KAR id:67140)

Preview

Petricek, Tomas and Orchard, Dominic A. and Mycroft, Alan (2014) Coeffects: A calculus of context-dependent computation. In: ICFP '14: Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, Gothenburg, Sweden, September, 2014. ACM, New York USA, New York, pp. 123-135. ISBN 978-1-4503-2873-9. (doi:10.1145/2692915.2628160) (KAR id:57493)

Preview

Petricek, Tomas, Orchard, Dominic A., Mycroft, Alan (2013) Coeffects: Unified static analysis of context-dependence. In: Lecture Notes in Computer Science. Automata, Languages, and Programming: 40th International Colloquium, ICALP 2013, Proceedings, Part II. 7966. pp. 385-397. Springer-Verlag ISBN 978-3-642-39211-5. (doi:10.1007/978-3-642-39212-2_35) (KAR id:57543)

Preview

Petricek, Tomas and Syme, Don (2014) The F# Computation Expression Zoo. In: Flatt, Matthew and Guo, Hai-Feng, eds. Practical Aspects of Declarative Languages. Lecture Notes in Computer Science . Springer, New York, NY, USA, pp. 33-48. ISBN 978-3-319-04131-5. (doi:10.1007/978-3-319-04132-2_3) (KAR id:69692)

Preview

Polack, Fiona A.C. and Andrews, Paul S. and Ghetiu, Teodor and Read, Mark and Stepney, Susan and Timmis, Jon and Sampson, Adam T. (2010) Reflections on the Simulation of Complex Systems for Science. In: 2010 15th IEEE International Conference on Engineering of Complex Computer Systems. IEEE, pp. 276-285. ISBN 978-1-4244-6638-2. E-ISBN 978-1-4244-6639-9. (doi:10.1109/ICECCS.2010.48) (KAR id:24146)

Preview

R

Renaux, Thierry, Hoste, Lode, Marr, Stefan, De Meuter, Wolfgang (2012) Parallel Gesture Recognition with Soft Real-Time Guarantees. In: Proceedings of the 2nd edition on Programming Systems, Languages and Applications based on Actors, Agents, and Decentralized Control Abstractions. (doi:10.1145/2414639.2414646) (KAR id:63837)

Preview

Ritson, Carl G. and Barnes, Frederick R.M. (2013) An Evaluation of Intel's Restricted Transactional Memory for CPAs. In: Welch, Peter H. and Barnes, Frederick R.M. and Broenink, Jan F. and Chalmers, Kevin and Pedersen, Jan B. and Sampson, Adam T., eds. Communicating Process Architectures 2013 Proceedings of the 35th WoTUG Technical Meeting. Open Channel Publishing, pp. 271-291. ISBN 978-0-9565409-7-3. (KAR id:36939)

Preview

Ritson, Carl G. and Owens, Scott (2016) Benchmarking weak memory models. In: Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. PPoPP Principles and Practice of Parallel Programming . ACM, New York, USA. ISBN 978-1-4503-4092-2. (doi:10.1145/2851141.2851150) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:51638)

Ritson, Carl G., Sampson, Adam T., Barnes, Frederick R.M. (2012) Multicore scheduling for lightweight communicating processes. Science of Computer Programming, 77 (6). pp. 727-740. ISSN 0167-6423. (doi:10.1016/j.scico.2011.04.006) (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) (KAR id:30808)

Ritson, Carl G. and Ugawa, Tomoharu and Jones, Richard E. (2014) Exploring Garbage Collection with Haswell Hardware Transactional Memory. In: ISMM '14: Proceedings of the 2014 international symposium on Memory management. ACM, New York, USA, pp. 105-115. ISBN 978-1-4503-2921-7. (doi:10.1145/2602988.2602992) (KAR id:40819)

Preview

Ritson, Carl G., Welch, Peter H. (2010) A Process-Oriented Architecture for Complex System Modelling. Concurrency and Computation: Practice and Experience, 22 . pp. 182-196. (doi:10.1002/cpe.1433) (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) (KAR id:30677)

Robbins, Ed and Howe, Jacob M. and King, Andy (2013) Theory Propagation and Rational-Trees. In: Schrijvers, Tom, ed. Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming. PPDP Principles and Practice of Declarative Programming . ACM, New York, USA, pp. 193-204. ISBN 978-1-4503-2154-9. (doi:10.1145/2505879.2505901) (KAR id:37525)

Preview

Robbins, Ed, Howe, Jacob M., King, Andy (2015) Theory Propagation and Reification. Science of Computer Programming, 111 (1). pp. 3-22. ISSN 0167-6423. (doi:10.1016/j.scico.2014.05.013) (KAR id:37600)

Preview

Robbins, Ed, King, Andy, Schrijvers, Tom (2015) Benchmarks, assembly files, and witnesses. On-line. Located at: On-line. (KAR id:51448)

Robbins, Ed, King, Andy, Schrijvers, Tom (2015) Proof appendix to accompany the paper, "From MinX to MinC: Semantics-Driven Decompilation of Recursive Datatypes". University of Kent (KAR id:51459)

Preview

Robbins, Edward 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:10.1145/2837614.2837633) (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) (KAR id:51097)

Rodgers, Peter, Baker, Robert, Thompson, Simon, Li, Huiqing (2013) Multi-level Visualization of Concurrent and Distributed Computation in Erlang. In: Proceedings of 19th International Conference on Distributed Multimedia Systems 2013. . Knowledge Systems Institute (KAR id:34968)

Preview

Rowe, Reuben N.S. and Brotherston, James (2017) Automatic cyclic termination proofs for recursive procedures in separation logic. In: Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs. POPL Principles of Programming Languages . ACM, New York, USA, pp. 53-65. ISBN 978-1-4503-4705-1. (doi:10.1145/3018610.3018623) (KAR id:64716)

Preview

Rowe, Reuben N.S., van Bakel, S.J. (2014) Semantic Types and Approximation for Featherweight Java. Theoretical Computer Science, 517 . pp. 34-74. ISSN 0304-3975. (doi:10.1016/j.tcs.2013.08.017) (KAR id:65743)

Preview

Rowe, Reuben, Brotherston, James (2017) Realizability in Cyclic Proof: Extracting Ordering Information for Infinite Descent. In: Lecture Notes in Computer Science. Automated Reasoning with Analytic Tableaux and Related Methods: 26th International Conference, TABLEAUX 2017. Lecture Notes in Computer Science , 10501. pp. 295-310. Springer ISBN 978-3-319-66901-4. E-ISBN 978-3-319-66902-1. (doi:10.1007/978-3-319-66902-1_18) (KAR id:62287)

Preview

Rowe, Reuben, Férée, Hugo, Thompson, Simon, Owens, Scott (2019) Characterising Renaming within OCaml’s Module System: Theory and Implementation. In: PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI '19: ACM SIGPLAN Conference on Programming Language Design and Implementation Proceedings. . pp. 950-965. ACM, ACM New York, NY, USA ©2019 ISBN 978-1-4503-6712-7. (doi:10.1145/3314221.3314600) (KAR id:73526)

Preview

Rowe, Reuben, Férée, Hugo, Thompson, Simon, Owens, Scott (2019) ROTOR : A Tool for Renaming Values in OCaml's Module System. In: 2019 IEEE/ACM 3rd International Workshop on Refactoring (IWoR). . pp. 27-30. IEEE Press ISBN 978-1-72812-271-7. E-ISBN 978-1-72812-270-0. (doi:10.1109/IWoR.2019.00013) (KAR id:80338)

Preview

Rowe, Reuben, Van Bakel, Steffen (2011) Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming. In: Lecture Notes in Computer Science. Typed Lambda Calculi and Applications. 6690. pp. 229-244. Springer ISBN 978-3-642-21690-9. (doi:10.1007/978-3-642-21691-6_19) (KAR id:65744)

Preview

Runnalls, Andrew R. (2010) Aspects of CXXR Internals. Computational Statistics, 26 (3). pp. 182-196. ISSN 0943-4062. (doi:10.1007/s00180-010-0218-0) (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) (KAR id:30630)

Runnalls, Andrew R. (2010) CXXR and Add-On Packages. UNSPECIFIED. (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) (KAR id:30648)

S

Sarkar, Susmit and Memarian, Kayvan and Owens, Scott and Batty, Mark and Sewell, Peter and Maranget, Luc and Alglave, Jade and Williams, Derek (2012) Synchronising C/C++ and POWER. In: Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM, New York, USA, pp. 311-322. ISBN 978-1-4503-1205-9. (doi:10.1145/2254064.2254102) (KAR id:50269)

Preview

Sarkar, Susmit and Sewell, Peter and Zappa Nardelli, Francesco and Owens, Scott and Ridge, Tom and Braibant, Thomas and Myreen, Magnus O. and Alglave, Jade (2009) The Semantics of x86-CC Multiprocessor Machine Code. In: POPL '09 Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. POPL Principles of Programming Languages . ACM, New York, USA, pp. 379-391. ISBN 978-1-60558-379-2. (doi:10.1145/1480881.1480929) (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) (KAR id:31907)

Seed, Thomas and King, Andy and Evans, Neil (2020) Reducing Bit-Vector Polynomials to SAT using Gröbner Bases. In: Pulina, Lusa and Martina, Seidl, eds. The 23rd International Conference on Theory and Applications of Satisfiability Testing. Lecture Notes in Computer Science . Springer. (In press) (KAR id:81001)

Preview

Seijas, Pablo Lamela and Thompson, Simon and Francisco, Miguel Ángel (2016) Model extraction and test generation from JUnit test suites. In: Proceedings of the 11th International Workshop on Automation of Software Test. ICSE International Conference on Software Engineering . ACM, New York, USA, pp. 8-14. ISBN 978-1-4503-4151-6. (doi:10.1145/2896921.2896927) (KAR id:55751)

Preview

Seijas, Pablo Lamela, Thompson, Simon, Francisco, Miguel Ángel (2018) Model extraction and test generation from JUnit test suites. Software Quality Journal, . ISSN 0963-9314. E-ISSN 1573-1367. (doi:10.1007/s11219-017-9399-x) (KAR id:66343)

Preview

Sewell, Peter, Sarkar, Susmit, Owens, Scott, Zappa Nardelli, Francesco, Myreen, Magnus O. (2010) x86-TSO: A Rigorous and Usable Programmer's Model for x86 Multiprocessors. Communications of the ACM, 53 (7). pp. 89-97. ISSN 0001-0782. (doi:10.1145/1785414.1785443) (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) (KAR id:31899)

Sewell, Peter, Zappa Nardelli, Francesco, Owens, Scott, Peskine, Gilles, Ridge, Thomas, Sarkar, Susmit, Strniša, Rok (2010) Ott: Effective Tool Support for the Working Semanticist. Journal of Functional Programming, 20 (1). pp. 71-122. ISSN 0956-7968. (doi:10.1017/S0956796809990293) (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) (KAR id:31902)

Sewell, Peter, Zappa Nardelli, Francesco, Owens, Scott, Peskine, Gilles, Ridge, Thomas, Sarkar, Susmit, Strniša, Rok (2007) Ott: Effective Tool Support for the Working Semanticist. In: ICFP '07: Proceedings of the 2007 ACM SIGPLAN International Conference on Functional Programming. (doi:10.1145/1291151.1291155) (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) (KAR id:31910)

Sharrad, Joanna and Chitil, Olaf (2020) Scaling Up Delta Debugging of Type Errors. In: Trends in Functional Programming: 21st International Symposium, TFP 2020, Krakow, Poland,. Lecture Notes in Computer Science: Theoretical Computer Science and General Issues . Springer, Cham, Switzerland. (In press) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:81977)

Shen, Kish, Santos Costa, Vitor, King, Andy (1999) Distance: a New Metric for Controlling Granularity for Parallel Execution. Journal of Functional and Logic Programming, 1999 . pp. 1-23. ISSN 1080-5230. (KAR id:37585)

Preview

Simon, Axel, King, Andy (2004) Convex Hull for Planar H-Polyhedra. International Journal of Computer Mathematics, 81 (3). pp. 259-271. ISSN 0020-7160. (doi:10.1080/00207160310001650034) (KAR id:37534)

Preview

Simon, Axel and King, Andy (2005) Exploiting Sparsity in Polyhedral Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings. In: Hankin, Chris and Siveroni, Igor, eds. Static Analysis Symposium. Lecture Notes in Computer Science, 3672 . Springer, pp. 336-351. ISBN 978-3-540-28584-7. (doi:10.1007/11547662_23) (KAR id:37606)

Preview

Simon, Axel and King, Andy (2007) Taming the Wrapping of Integer Arithmetic. In: File, Gilberto and Nielson, Hanne Riis, eds. Static Analysis Symposium 14th International Symposium. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 182-196. ISBN 978-3-540-74060-5. E-ISBN 978-3-540-74061-2. (doi:10.1007/978-3-540-74061-2_8) (KAR id:37594)

Preview

Simon, Axel and King, Andy (2007) Widening Polyhedra with Landmarks: 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings. In: Kobayashi, Naoki, ed. Asian Symposium on Programming Languages and Systems. Lecture Notes in Computer Science, 4279 . Springer, pp. 166-182. ISBN 978-3-540-48937-5. (doi:10.1007/11924661_11) (KAR id:37597)

Preview

Simon, Axel, King, Andy, Howe, Jacob M. (2010) The Two Variable Per Inequality Abstract Domain. Higher-Order and Symbolic Computation, 31 (1). pp. 182-196. (KAR id:30678)

Preview

Simpson, Jonathan and Ritson, Carl G. (2009) Toward Process Architectures for Behavioural Robotics. In: Welch, Peter H. and Roebbers, Herman W. and Broenink, Jan F. and Barnes, Frederick R.M. and Ritson, Carl G. and Sampson, Adam T. and Stiles, Gardiner S. and Vinter, Brian, eds. Communicating Process Architectures 2009. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 182-196. ISBN 978-1-60750-065-0. E-ISBN 978-1-60750-513-6. (doi:10.3233/978-1-60750-065-0-375) (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) (KAR id:30581)

Singer, Jeremy, Jones, Richard E. (2011) Economic Utility Theory for Memory Management Optimization. In: Rogers, Ian, ed. Proceedings of the workshop on Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems. . pp. 182-196. ACM (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) (KAR id:30740)

Singer, Jeremy and Jones, Richard E. and Brown, Gavin and Luján, Mikel (2010) The Economics of Garbage Collection. In: Vitek, Jan and Lea, Doug, eds. ISMM '10 Proceedings of the 2010 international symposium on Memory management. ACM, New York, USA, pp. 182-196. ISBN 978-1-4503-0054-4. (doi:10.1145/1806651.1806669) (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) (KAR id:30660)

Singh, Ranjeet and King, Andy (2015) Partial Evaluation for Java Malware Detection. In: Proietti, Maurizio and Seki, Hirohisa, eds. Twenty fourth International Symposium on Logic-Based Program Synthesis and Transformation. Lecture Notes in Computer Science, 8991 . Springer, pp. 133-147. ISBN 978-3-319-17821-9. E-ISBN 978-3-319-17822-6. (doi:10.1007/978-3-319-17822-6_8) (KAR id:42104)

Preview

Slind, Konrad and Li, Guodong and Owens, Scott (2010) Compiling Higher Order Logic by Proof. In: Design and Verification of Microprocessor Systems for High-Assurance Applications. Springer, pp. 193-220. ISBN 978-1-4419-1539-9. (doi:10.1007/978-1-4419-1539-9_7) (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) (KAR id:31900)

Slind, Konrad, Owens, Scott, Iyoda, Juliano, Gordon, Mike (2007) Proof Producing Synthesis of Arithmetic and Cryptographic Hardware. Formal Aspects of Computing, 19 (3). pp. 343-362. ISSN 0934-5043. (doi:10.1007/s00165-007-0028-5) (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) (KAR id:31912)

Smaus, Jan-Georg, Hill, Pat, King, Andy (2001) Verifying termination and error-freedom of logic programs with block declarations. Theory and Practice of Logic Programming, 1 (4). pp. 447-486. ISSN 1471-0684. (doi:10.1017/S1471068401001107) (KAR id:37581)

Preview

Smith, Connor Lane, Kahrs, Stefan (2016) Non-omega-overlapping TRSs are UN. In: 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016). 2016 Formal Structures for Computation and Deduction. Leibniz International Proceedings in Informatics , 52. 22:1-22:17. Schloss Dagstuhl: Leibniz-Zentrum für Informatik, Porto, Portugal ISBN 978-3-95977-010-1. (doi:10.4230/LIPIcs.FSCD.2016.22) (KAR id:55349)

Preview

Sorensen, Tyler and Donaldson, Alastair F. and Batty, Mark and Gopalakrishnan, Ganesh and Rakamarić, Zvonimir (2016) Portable Inter-workgroup Barrier Synchronisation for GPUs. In: Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. SPLASH Systems, Programming, and Applications . ACM, New York, USA, pp. 39-58. ISBN 978-1-4503-4444-9. (doi:10.1145/2983990.2984032) (KAR id:57941)

Preview

Stapleton, Gem and Howse, John and Thompson, Simon and Taylor, John and Chapman, Peter (2013) On the Completeness of Spider Diagrams Augmented with Constants. In: Moktefi, Amirouche and Shin, Sun-Joo, eds. Visual Reasoning with Diagrams. Studies in Universal Logic . Birkhauser, pp. 101-133. ISBN 978-3-0348-0599-5. E-ISBN 978-3-0348-0600-8. (doi:10.1007/978-3-0348-0600-8_7) (KAR id:42317)

Preview

Sulzmann, Martin and Wang, Meng (2007) Aspect-Oriented Programming with Type Classes. In: FOAL '07 Proceedings of the 6th workshop on Foundations of aspect-oriented languages. ICPS: ACM International Conference Proceeding Series . ACM, pp. 65-74. ISBN 978-1-59593-671-4. (doi:10.1145/1233833.1233842) (KAR id:47468)

Preview

Sulzmann, Martin and Wang, Meng (2006) Modular Generic Programming with Extensible Superclasses. In: Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming. ACM, New York, USA, pp. 55-65. ISBN 1-59593-492-8. (doi:10.1145/1159861.1159869) (KAR id:47466)

Preview

Sulzmann, Martin and Wang, Meng (2004) A Systematic Translation of Guarded Recursive Data Types to Existential Types. Technical report. National University of Singapore (Unpublished) (KAR id:47487)

Preview

Sulzmann, Martin and Wang, Meng (2005) Translating Generalized Algebraic Data Types to System F. Technical report. National University of Singapore (Unpublished) (KAR id:47488)

Preview

Swalens, Janwillem, Marr, Stefan, De Koster, Joeri, Van Cutsem, Tom (2014) Towards Composable Concurrency Abstractions. In: EPTCS. PLACES '14 , 155. pp. 54-60. (doi:10.4204/EPTCS.155.8) (KAR id:63832)

Preview

Swalens, Janwillem, Renaux, Thierry, Hoste, Lode, Marr, Stefan, De Meuter, Wolfgang (2013) Cloud PARTE: Elastic Complex Event Processing based on Mobile Actors. In: Proceedings of AGERE! 2013, 3rd International Workshop on Programming based on Actors, Agents, and Decentralized Control. (KAR id:63835)

Preview

T

Tako, Antuela A., Kotiadis, Kathy (2015) PartiSim: A multi-methodology framework to support facilitated simulation modelling in healthcare. European Journal of Operational Research, 244 (2). pp. 555-564. ISSN 0377-2217. (doi:10.1016/j.ejor.2015.01.046) (KAR id:51024)

Preview

Tako, Antuela, Kotiadis, Kathy, Vasilakis, Christos, Miras, Alexander, Le Roux, Carel W (2014) Improving patient waiting times: a simulation study of an obesity care service. Improving patient waiting times: a simulation study of an obesity care service, 23 (5). pp. 373-381. ISSN 2044-5415. (doi:10.1136/bmjqs-2013-002107) (KAR id:51027)

Preview

Tan, Yong Kiam, Myreen, Magnus O., Kumar, Ramana, Fooks, Anthony R., Owens, Scott, Norrish, Michael (2016) A New Verified Compiler Backend for CakeML. In: ICFP'16: ACM SIGPLAN International Conference on Functional Programming. . pp. 60-73. Association for Computing Machinery, New York United States ISBN 978-1-4503-4219-3. (doi:10.1145/2951913.2951924) (KAR id:55687)

Preview

Tan, Yong Kiam, Myreen, Magnus O., Kumar, Ramana, Fox, Anthony, Owens, Scott, Norrish, Michael (2019) The Verified CakeML Compiler Backend. Journal of Functional Programming, 29 . ISSN 0956-7968. (doi:10.1017/S0956796818000229) (KAR id:71304)

Preview

Tan, Yong Kiam, Owens, Scott, Kumar, Ramana (2015) A Verified Type System for CakeML. In: Implementation and application of functional programming languages, 14-16 September, 2015, Koblenz, Germany. (doi:10.1145/2897336.2897344) (KAR id:53891)

Preview

Thompson, Simon (2017) A General Method for Defining Objects by Recursion over Syntax. Journal of Universal Computer Science, 23 (1). pp. 89-111. ISSN 0948-695X. E-ISSN 0948-6968. (KAR id:60845)

Preview

Thompson, Simon (2011) Haskell: the craft of functional programming. Addison-Wesley ISBN 978-0-201-88295-7. (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) (KAR id:30749)

Thompson, Simon, ed. (2018) Proceedings of the Sixth Workshop on Trends in Functional Programming in Education. EPTCS, 60 pp. (doi:10.4204/EPTCS.270) (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) (KAR id:67028)

Thompson, Simon, Delaney, Aidan, Stapleton, Gem, Taylor, John (2014) A Normal Form for Spider Diagrams of Order. Journal of Visual Languages & Computing, . (KAR id:42350)

Preview

Thompson, Simon, Horpacsi, Daniel, Koszegi, Judit (2016) Towards Trustworthy Refactoring in Erlang. In: Hamilton, Geoff and Lisitsa, Alexei and Nemytykh, Andrei P., eds. Electronic Proceedings in Theoretical Computer Science. Proceedings of the Fourth International Workshop on Verification and Program Transformation (VPT 2016). 216. pp. 83-103. (doi:10.4204/EPTCS.216.5) (KAR id:56750)

Preview

Thompson, Simon, King, Peter, Cameron, Helen (2005) Modelling Reactive Multimedia: Design and Authoring. Multimedia Tools and Applications, 27 (1). pp. 23-52. ISSN 1380-7501. (doi:10.1007/s11042-005-2713-9) (KAR id:42672)

Preview

Thompson, Simon, Laemmel, Ralf, Kaiser, Markus (2013) Programming errors in traversal programs over structured data. Science of Computer Programming, . ISSN 0167-6423. (doi:10.1016/j.scico.2011.11.006) (KAR id:31505)

Preview

Thompson, Simon and Lamela Seijas, Pablo (2018) Marlowe: Financial Contracts on Blockchain. In: Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice. Lecture Notes in Computer Science . Springer-Verlag Berlin, Switzerland. ISBN 978-3-030-03427-6. (doi:10.1007/978-3-030-03427-6_27) (KAR id:69846)

Preview

Thompson, Simon and Lamela Seijas, Pablo and Adams, Darryl (2016) Scripting smart contracts for distributed ledger technology. Technical report. Cryptology ePrint Archive (Unpublished) (KAR id:61162)

Preview

Thompson, Simon, Li, Huiqing, Baker, Robert, Adams, Stephen, Trinder, Phil, Chechina, Natalia, Papaspyrou, Nikolaos, Sagonas, Konstantinos, Aronis, Stavros, Bihari, Eva, and others. (2017) Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform. ACM Transactions on Programming Languages and Systems, 39 (4). ISSN 0164-0925. E-ISSN 1558-4593. (doi:10.1145/3107937) (KAR id:63197)

Preview

Thompson, Simon, Li, Huiqing, Schumacher, Andreas (2017) The pragmatics of clone detection and elimination. The Art, Science, and Engineering of Programming, 1 (2). ISSN 2473-7321. (doi:10.22152/programming-journal.org/2017/1/8) (KAR id:61167)

Preview

Thompson, Simon, Runciman, Colin (2015) Demur: checking functional-program properties using bounded recursion. In: Sixth Workshop on Tools for Automatic Program Analysis, 08 Sep 2015, Saint-Malo, France. (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:50496)

Tripp, Gerald (2010) Regular expression matching using associative memory. Technical report. , Canterbury, Kent. CT2 7NF. UK. (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) (KAR id:30619)

Tsushima, Kanae, Chitil, Olaf (2018) A Common Framework Using Expected Types for Several Type Debugging Approaches. In: Lecture Notes in Computer Science. FLOPS 2018: Fourteenth International Symposium on Functional and Logic Programming. Lecture Notes in Computer Science , 10818. pp. 230-246. Springer ISBN 978-3-319-90685-0. E-ISBN 978-3-319-90686-7. (doi:10.1007/978-3-319-90686-7_15) (KAR id:66352)

Preview

Tsushima, Kanae, Chitil, Olaf (2014) Enumerating Counter-Factual Type Error Messages with an Existing Type Checker. In: 16th Workshop on Programming and Programming Languages, PPL2014, 5-7 March 2014, Aso, Japan. (KAR id:49007)

Preview

Tsushima, Kanae, Chitil, Olaf (2014) Enumerating Counter-Factual Type Error Messages with an Existing Type Checker (poster+demo). In: 12th Asian Symposium on Programming Languages and Systems, APLAS 2014, 17-19 November 2014, Singapore. (KAR id:49006)

Preview

Tsushima, Kanae and Chitil, Olaf and Sharrad, Joanna (2020) Type Debugging with Counter-Factual Type Error Messages Using an Existing Type Checker. In: IFL 2019: Proceedings of the 31st Symposium on Implementation and Application of Functional Languages. ACM, New York, USA. (In press) (KAR id:81976)

Preview

U

Ugawa, Tomoharu and Jones, Richard (2018) Model Checking Transactional Sapphire. Technical report. School of Computing, University of Kent, Kent, UK (Unpublished) (KAR id:67197)

Preview

Ugawa, Tomoharu, Jones, Richard E., Ritson, Carl G. (2014) An On-The-Fly Copying Garbage Collection Framework for Jikes RVM. In: 12th Asian Symposium on Programming Languages and Systems, 17-19 November 2014, Singapore. (KAR id:45210)

Preview

Ugawa, Tomoharu and Jones, Richard E. and Ritson, Carl G. (2014) Reference Object Processing in On-The-Fly Garbage Collection. In: Proceedings of the 2014 international symposium on Memory management. ISMM International Symposium on Memory Management . ACM, New York, USA, pp. 59-69. ISBN 978-1-4503-2921-7. (doi:10.1145/2602988.2602991) (KAR id:40820)

Preview

Ugawa, Tomoharu, Ritson, Carl G., Jones, Richard E. (2018) Transactional Sapphire: Lessons in High Performance, On-the-fly Garbage Collection. ACM Transactions on Programming Languages and Systems, 40 (4). ISSN 0164-0925. E-ISSN 1558-4593. (doi:10.1145/3226225) (KAR id:67207)

Preview

V

Vitek, Jan and Kalibera, Tomas (2011) Repeatability, Reproducibility and Rigor in Systems Research. In: Proceedings of the ninth ACM international conference on Embedded software. ACM, New York, USA, pp. 182-196. ISBN 978-1-4503-0714-7. (doi:10.1145/2038642.2038650) (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) (KAR id:30721)

Voigtlander, Janis, Hu, Zhenjiang, Matsuda, Kazutaka, Wang, Meng (2013) Enhancing Semantic Bidirectionalization via Shape Bidirectionalizer Plug-ins. Journal of Functional Programming, 23 (05). pp. 515-551. ISSN 0956-7968. (doi:10.1017/S0956796813000130) (KAR id:47481)

Preview

Voigtländer, Janis and Hu, Zhenjiang and Matsuda, Kazutaka and Wang, Meng (2010) Combining Syntactic and Semantic Bidirectionalization. In: ICFP '10 Proceedings of the 15th ACM SIGPLAN international conference on Functional programming. ICFP International Conference on Functional Programming . ACM, New York, USA, pp. 181-192. ISBN 978-1-60558-794-3. (doi:10.1145/1863543.1863571) (KAR id:47473)

Preview

W

Wang, Meng (2011) Bidirectional Programming and its Applications. Doctor of Philosophy (PhD) thesis, University of Oxford. (KAR id:55795)

Preview

Wang, Meng, Chen, Kung, Khoo, Siau-Cheng (2006) On the Pursuit of Static and Coherent Weaving. In: Foundations of Aspect-Oriented Languages Workshop. . (KAR id:47461)

Preview

Wang, Meng and Chen, Kung and Khoo, Siau-Cheng (2006) Type-Directed Weaving of Aspects for Higher-order Functional Languages. In: Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation. ACM, pp. 78-87. ISBN 1-59593-196-1. (doi:10.1145/1111542.1111555) (KAR id:47467)

Preview

Wang, Meng and Gibbons, Jeremy and Matsuda, Kazutaka and Hu, Zhenjiang (2010) Gradual Refinement: Blending Pattern Matching with Data Abstraction. In: Mathematics of Program Construction 10th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 397-425. ISBN 978-3-642-13320-6. E-ISBN 978-3-642-13321-3. (doi:10.1007/978-3-642-13321-3_22) (KAR id:47472)

Preview

Wang, Meng, Gibbons, Jeremy, Matsuda, Kazutaka, Hu, Zhenjiang (2013) Refactoring pattern matching. Science of Computer Programming, 78 (11). pp. 2216-2242. ISSN 0167-6423. (doi:10.1016/j.scico.2012.07.014) (KAR id:47478)

Preview

Wang, Meng and Gibbons, Jeremy and Wu, Nicolas (2011) Incremental Updates for Efficient Bidirectional Transformations. In: Proceedings of the 16th ACM SIGPLAN international conference on Functional programming. ACM, New York, USA, pp. 392-403. ISBN 978-1-4503-0865-6. (doi:10.1145/2034773.2034825) (KAR id:47477)

Preview

Wang, Meng and Najd, Shayan (2014) Semantic Bidirectionalization Revisited. In: Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation. PEPM Partial Evaluation and Program Manipulation . ACM, New York, USA. ISBN 978-1-4503-2619-3. (doi:10.1145/2543728.2543729) (KAR id:47482)

Preview

Wang, Meng and Oliveira, Bruno (2009) What Does Aspect-Oriented Programming Mean for Functional Programmers? In: WGP '09 Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming. ICFP International Conference on Functional Programming . ACM, New York, USA, pp. 37-48. ISBN 978-1-60558-510-9. (doi:10.1145/1596614.1596621) (KAR id:47471)

Preview

Weirich, Stephanie, Owens, Scott, Sewell, Peter, Zappa Nardelli, Francesco (2010) Ott or Nott. In: 5th ACM SIGPLAN Workshop on Mechanizing Metatheory. (Unpublished) (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) (KAR id:31898)

Welch, Peter H. (2013) Life of occam-Pi. In: Communicating Process Architectures 2013 Proceedings of the 35th WoTUG Technical Meeting. Open Channel Publishing, pp. 293-318. ISBN 978-0-9565409-7-3. (KAR id:44827)

Preview

Welch, Peter H., Brown, Neil C.C., Moores, James, Chalmers, Kevin, Sputh, Bernhard H. C. (2010) Alting Barriers: Synchronisation with Choice in Java using JCSP. Concurrency and Computation: Practice and Experience, 22 . pp. 182-196. (doi:10.1002/cpe.1471) (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) (KAR id:30683)

Welch, Peter H., Pedersen, Jan B. (2010) Santa Claus: Formal analysis of a process-oriented solution. ACM Transactions on Programming Languages and Systems (TOPLAS), 32 (4). pp. 182-196. ISSN 0164-0925. (doi:10.1145/1734206.1734211) (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) (KAR id:30673)

Welch, Peter H., Wallnau, Kurt, Sampson, Adam T., Klein, Mark (2012) To boldly go: an occam-pi mission to engineer emergence. Natural Computing, 11 (3). pp. 1-27. ISSN 1567-7818. (doi:10.1007/s11047-012-9304-2) (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) (KAR id:30819)

White, David R. and Singer, Jeremy and Aitken, Jonathan M. and Jones, Richard E. (2013) Control theory for principled heap sizing. In: Proceedings of the 2013 international symposium on memory management. ISMM International Symposium on Memory Management . ACM, New York, USA, pp. 27-38. ISBN 978-1-4503-2100-6. (doi:10.1145/2555670.2466481) (KAR id:37199)

Preview

Wickerson, John and Batty, Mark and Beckmann, Bradford M. and Donaldson, Alastair F. (2015) Remote-scope Promotion: Clarified, Rectified, and Verified. In: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. SPLASH Systems, Programming, and Applications . ACM, New York, USA, pp. 731-747. ISBN 978-1-4503-3689-5. (doi:10.1145/2814270.2814283) (KAR id:51384)

Preview

Wickerson, John and Batty, Mark and Sorensen, Tyler and Constantinides, George A. (2017) Automatically Comparing Memory Consistency Models. In: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. POPL Principles of Programming Languages . ACM, New York, USA, pp. 190-204. ISBN 978-1-4503-4660-3. (doi:10.1145/3093333.3009838) (KAR id:63503)

Preview

X

Xia, Li-Yao, Orchard, Dominic A., Wang, Meng (2019) Composing bidirectional programs monadically. In: Lecture Notes in Computer Science. Programming Languages and Systems. ESOP 2019. 11423. pp. 147-175. Springer ISBN 978-3-030-17183-4. E-ISBN 978-3-030-17184-1. (doi:10.1007/978-3-030-17184-1_6) (KAR id:72625)

Preview

Z

Zappa Nardelli, Francesco, Sewell, Peter, Sevcik, Jaroslav, Sarkar, Susmit, Owens, Scott, Maranget, Luc, Batty, Mark, Alglave, Jade (2009) Relaxed Memory Models Must Be Rigorous. In: Exploiting Concurrency Efficiently and Correctly, CAV 2009 Workshop. (Unpublished) (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) (KAR id:31904)

Zhang, Xin, Grigore, Radu, Si, Xujie, Naik, Mayur (2017) Effective Interactive Resolution of Static Analysis Alarms. Proceedings of the ACM on Programming Languages, 1 (OOPSLA). ISSN 2475-1421. E-ISSN 2475-1421. (doi:10.1145/3133881) (KAR id:62658)

Preview

Zhang, Xin and Mangal, Ravi and Grigore, Radu and Naik, Mayur and Yang, Hongseok (2014) On abstraction refinement for program analyses in Datalog. In: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI Programming Language Design and Implementation . ACM, New York, USA, pp. 239-248. ISBN 978-1-4503-2784-8. (doi:10.1145/2594291.2594327) (KAR id:54177)

Preview

This list was generated on Sat Jul 11 22:04:22 2020 BST.