Skip to main content
Kent Academic Repository

Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping
Jump to: B | C | D | J | M | R | T | W
Number of items: 19.

B

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)
Format: PDF

Borba, Paulo H.M., Sampaio, Augusto C.A., Cavalcanti, Ana L. C., Cornélioa, Márcio (2004) Algebraic Reasoning for Object-Oriented Programming. Science of Computer Programming, 52 (1-3). pp. 53-100. ISSN 0167-6423. (doi:10.1016/j.scico.2004.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:14221)

Bartoletti, M., Lange, Julien, Scalas, A., Zunino, R. (2014) Choreographies in the wild. Science of Computer Programming, 109 . pp. 36-60. ISSN 0167-6423. (doi:10.1016/j.scico.2014.11.015) (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:62256)

Boiten, Eerke Albert, Derrick, John, Bowman, Howard, Steen, Maarten (1999) Constructive consistency checking for partial specification in Z. Science of Computer Programming, 35 (1). pp. 29-75. ISSN 0167-6423. (doi:10.1016/S0167-6423(99)00006-4) (KAR id:17100)
Format: PDF Format: Postscript

Boiten, Eerke Albert (1992) Improving recursive functions by inverting the order of evaluation. Science of Computer Programming, 18 . pp. 139-179. (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:21081)

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)
Format: PDF

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, Möller, Bernhard (2004) Special Issue on MPC 2002: Foreword. Science of Computer Programming, 51 (1-2). pp. 1-2. ISSN 0167-6423. (doi:10.1016/j.scico.2004.01.009) (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:14172)

Bowman, Howard, Boiten, Eerke Albert, Derrick, John, Steen, Maarten (1999) Strategies for consistency checking based on unification. Science of Computer Programming, 33 (3). pp. 261-298. ISSN 0167-6423. (doi:10.1016/S0167-6423(98)00017-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:17119)

C

Cavalcanti, Ana L. C., Sampaio, Augusto C.A., Woodcock, Jim (1999) An Inconsistency in Procedures, Parameters and Substitution in the Refinement Calculus. Science of Computer Programming, 33 (1). pp. 87-96. ISSN 0167-6423. (doi:10.1016/S0167-6423(97)00015-4) (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:21708)

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)
Format: PDF

D

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)
Format: PDF

J

Jones, Richard E. (2006) Editorial: Five Perspectives on Modern Memory Management: Systems, Hardware and Theory. Science of Computer Programming, 62 (2). pp. 95-97. ISSN 0167-6423. (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:14406)

M

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)
Format: PDF

Marr, Stefan, Renaux, Thierry, Hoste, Lode, De Meuter, Wolfgang (2014) Parallel Gesture Recognition with Soft Real-Time Guarantees. Science of Computer Programming, 98 (2). pp. 159-183. ISSN 0167-6423. E-ISSN 1872-7964. (doi:10.1016/j.scico.2014.02.012) (KAR id:63833)
Format: PDF

R

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)

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)
Format: PDF

T

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)
Format: PDF

W

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)
Format: PDF

This list was generated on Thu Mar 28 22:59:58 2024 GMT.