Home Project details Staff Publications


Articles

  • Z. Istenes, T. Kozsik: Commanding a robot in a safe way Proceedings of the 10th Symposium on Programming Languages and Software Tools
    ISBN 978 963 463 925 1, p. 167-177, 2007.
  • P. Diviánszky: Efficient implementation of linearly used finite maps Proceedings of the 10th Symposium on Programming Languages and Software Tools
    ISBN 978 963 463 925 1, p. 199-213, 2007.
  • V. Zsók, Zs. Hernyák, Z. Horváth: Improving the distributed elementwise processing implementation in D-Clean
    Proceedings of the 10th Symposium on Programming Languages and Software Tools
    ISBN 978 963 463 925 1, p. 256-264, 2007.
  • L. Lövei, Z. Horváth, T. Kozsik, R. Király: Introducing records by refactoring in erlang programs
    Proceedings of the 10th Symposium on Programming Languages and Software Tools
    ISBN 978 963 463 925 1, p. 292-309, 2007.
  • M. Tejfel, Z. Horváth, T. Kozsik: Semantic model for proving properties of clean object I/O programs
    Proceedings of the 10th Symposium on Programming Languages and Software Tools
    ISBN 978 963 463 925 1, p. 346-359, 2007.
  • G. Dévai, N. Pataki: Towards verified usage of the C++ Standard Template Library
    Proceedings of the 10th Symposium on Programming Languages and Software Tools
    ISBN 978 963 463 925 1, p. 360-371, 2007.
  • G. Dévai: Programming Language Elements for Correctness Proofs
    Acta Cybernetica (to appeare), 2007.

More articels will be uploaded soon.


Presentations

Presentations related to this project will be uploaded soon.