Sort by: Order: Results:

Now showing items 1-4 of 4

  • Communicating Transactions 

    DE VRIES, EDSKO; HENNESSY, MATTHEW; KOUTAVAS, VASILEIOS (Springer, 2010)
    We propose a novel language construct called communicating transactions, obtained by dropping the isolation requirement from classical transactions, which can be used to model automatic error re- covery in distributed ...
  • Formal polytypic programs and proofs 

    HUGHES, ARTHUR PAUL; DE VRIES, EDSKO (2010)
    The aim of our work is to be able to do fully formal, machine-verified proofs over Generic Haskell-style polytypic programs. In order to achieve this goal, we embed polytypic programming in the proof assistant Coq and ...
  • Liveness of Communicating Transactions (Extended Abstract) 

    DE VRIES, EDSKO; HENNESSY, MATTHEW; KOUTAVAS, VASILEIOS (2010)
    We study liveness and safety in the context of CCS extended with communicating transactions, a construct we recently proposed to model automatic error recovery in distributed systems. We show that fair-testing and ...
  • A practical solution for achieving language compatibility in scripting language compilers 

    GREGG, DAVID; DE VRIES, EDSKO; BIGGAR, PAUL (2012)
    Although scripting languages have become very popular, even mature scripting language implementations remain interpreted. Several compilers and reimplementations have been attempted, generally focusing on performance. Based ...