Browse by Journal

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

Jump to: C | O | S

Number of items: 3.

C

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)

O

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)

S

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. (doi:10.1007/s10990-010-9062-8) (KAR id:30678)

This list was generated on Fri Apr 19 23:10:09 2024 BST.