- 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.
|
