The impact of types on the algebraic theory of the π-calculus is studied. The type system has capability types. They allow one to distinguish between the ability to read from a c...
We consider the problem of uniform sampling of points on an algebraic variety. Specifically, we develop a randomized algorithm that, given a small set of multivariate polynomials ...
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...
Aws Albarghouthi, Arie Gurfinkel, Ou Wei, Marsha C...
ed abstract data types: Building blocks for collaborative applications Hyun-Gul Roha,∗ , Myeongjae Jeonb , Jin-Soo Kimc , Joonwon Leec a Department of Computer Science, KAIST, Da...
Hyun-Gul Roh, Myeongjae Jeon, Jinsoo Kim, Joonwon ...
In formal language theory, James Rogers published a series of innovative papers generalising strings and trees to higher dimensions.Motivated by applications in linguistics, his go...