1 citations · 1 across the 2 of their papers we have counts for
3 papers
cs.PL2020★ 1 cited
Ties between Parametrically Polymorphic Type Systems and Finite Control Automata
Joseph Gil, Ori Roth
We present a correspondence and bisimulation between variants of parametrically polymorphic type systems and variants of finite control automata, such as FSA, PDA, tree automata an…
cs.SE2012
Empirical Confirmation (and Refutation) of Presumptions on Software
Joseph Gil, Maayan Goldstein, Dany Moshkovich
Code metrics are easy to define, but not so easy to justify. It is hard to prove that a metric is valid, i.e., that measured numerical values imply anything on the vaguely defined,…
cs.DS2012
A Bijective String Sorting Transform
Joseph Yossi Gil, David Allen Scott
Given a string of characters, the Burrows-Wheeler Transform rearranges the characters in it so as to produce another string of the same length which is more amenable to compression…