Browsing by Author "Jay, Barry"

UTSePress Research/Manakin Repository

Search UTSePress Research

Browse

My Account

Browsing by Author "Jay, Barry"

Sort by: Order: Results:

  • Huang, Freeman; Jay, Barry; Skillicorn, David (ACM Press, 2006)
    Research on security techniques for Java bytecode has paid little attention to the security of the implementations of the techniques themselves, assuming that ordinary tools for programming, verification and testing are ...
  • Jay, Barry; Given-Wilson, Thomas (Assn Symbolic Logic Inc, 2011)
    Traditional combinatory logic uses combinators S and K to represent all Turing-computable functions on natural numbers, but there are Turing-computable functions on the combinators themselves that cannot be so represented, ...
  • Given-Wilson, Thomas; Gorla, Daniele; Jay, Barry (Springer, 2010)
    Concurrent pattern calculus drives interaction between processes by unifying patterns, just as sequential pattern calculus drives computation by matching a pattern against a data structure. By generalising from pattern ...
  • Jay, Barry; Kesner, D (Cambridge Univ Press, 2009)
    Pure pattern calculus supports pattern-matching functions in which patterns are first-class citizens that can be passed as parameters, evaluated and returned as results. This new expressive power supports two new forms of ...
  • Jay, Barry; Vergara Medina, Jose (IEEE, 2013)
    Pattern calculus treats all computation as pattern matching, which is, in turn, central to the implementation of programming languages. Hence, its realisation in the general purpose language bondi provides a natural host ...
  • Grahame, Emma; Grafton, Daniel; Allatson, Paul; Chelliah, Janet; Jay, Barry; Lally, Elaine; Chelliah, John; Linacre, Simon (2011-12-09)
    Note: Due to technical difficulties, session 3 is missing the first five minutes of the introduction by Janet Chelliah. We apologise for any inconvenience.
  • Jay, Barry (ACM Press, 2004)
    There is a significant class of operations such as mapping that are common to all data structures. The goal of generic programming is to support these operations on arbitrary data types without having to recode for each ...
  • Jay, Barry (Springer, 2009)
    The pattern calculus is a new foundation for computation, in which the expressive power of functions and of data structures are fruitfully combined within pattern-matching functions. The best of existing foundations ...
  • Jay, Barry; Nguyen, Quy Tuan; Lu, Hai Yan (Helen) (Elsevier, 2004)
    The constructor calculus supports generic operations defined over arbitrary data types including abstract data types. This paper extends the basic constructor calculus to handle constructed locations. The resulting ...
  • Huang, Freeman; Jay, Barry; Skillicorn, David (Australian Computer Society Inc, 2006)
    Manipulating semistructured data such as XML does not fit well within conventional programming languages A typical manipulation requires finding all occurrences of a structure matching a structured search pattern whose ...
  • Jay, Barry; Kesner, D (Springer-Verlag Berlin, 2006)
    The pure pattern calculus generalises the pure lambda-calculus by basing computation on pattern-matching instead of beta-reduction. The simplicity and power of the calculus derive from allowing any term to be a pattern. ...
  • Murdaca, Clara; Jay, Barry (Australian Computer Science Society Inc, 2006)
  • Jay, Barry; Jones, Simon (Springer, 2008)
    We intoduce System IF, for implicit System F, in which many type applications can be made implicit. It supports decidable type checking and strong normalisation. System IF constitutes a first foray into a new area in the ...
  • Jay, Barry; Palsberg, Jens (ACMPress, 2011)
    Self-interpreters can be roughly divided into two sorts: self-recognisers that recover the input program from a canonical representation, and self-enactors that execute the input program. Major progress for statistically-typed ...