Loading...
Images of Svetlana Jaksic
(0 from 0 )News
Abstract (Svetlana Jaksic)
imada.sdu.dk
COMPUTER SCIENCE COLLOQUIUM. Types for access and memory control. Svetlana Jaksic. University of Novi Sad. Monday, 19 December, at 10:15. U27. ABSTRACT. Type systems are widely used techniques for programming languages analysis. They are used to avoid undesired behaviors (run-time type errors), ...
CALCO'09 Programme
calco09.dimi.uniud.it
CALCO'09: 3rd Conference on Algebra and Coalgebra in Computer Science
Formal Theorem Proving and Applications 2008
argo.matf.bg.ac.rs
Petar Maksimovic, Mathematical institute, Belgrade; Predrag Janicic, University of Belgrade; Samra Mujacic, University of Tuzla; Sana Stojanovic, University of Belgrade; Silvia Ghilezan, University of Novi Sad; Srdjan Vukmirovic, University of Belgrade; Svetlana Jaksic, University of Novi Sad; Vesna Pavlovic, University of ...
Programme — Concur 2010
concur2010.saclay.inria.fr
16: :30 coffee. 16: :00 Chair Roberto Amadio. Yuxi Fu. Theory by Process; Pietro Di Gianantonio, Svetlana Jaksic and Marina Lenisa. Efficient Bisimilarities from Second-order Reaction Semantics for pi-calculus; Romain Demangeon, Daniel Hirschkoff and Davide Sangiorgi. Termination in impure concurrent ...
sorted by relevance / date