Mathematical structures in computer science (MSCS)

• 

  Año 2011, Vol. 21, Número 6. Dedicado a: Programming language interference and dependence

  • Foreword: programming language interference and dependence

    David Clark, Roberto Giacobazzi, Chunyan Mu

    págs. 1109-1110

    

  • Non-disclosure for distributed mobile code

    Ana Almeida Matos, Jan Cederquist

    págs. 1111-1181

    

  • Non-termination and secure information flow

    Geoffrey Smith, Rafael Alpízar

    págs. 1183-1205

    

  • Secure information flow by self-composition

    Gilles Barthe, Pedro R. D'Argenio, Tamara Rezk

    págs. 1207-1252

    

  • Modelling declassification policies using abstract domain completeness

    Isabella Mastroeni, Anindya Banerjee

    págs. 1253-1299

    

  • Provenance as dependency analysis

    James Cheney, Amal Ahmed, Umut A. Acar

    págs. 1301-1337

    

  • On the computational complexity of dynamic slicing problems for program schemas

    Sebastian Danicic, Robert M. Hierons, Michael R. Laurence

    págs. 1339-1362