87 search results - page 2 / 18 » Denotation by Transformation |
SAS
2007
Springer
13 years 11 months ago
2007
Springer
Denotational static analysis of Java bytecode has a nice and clean compositional definition and an efficient implementation with binary decision diagrams. But it models only the f...
PPDP
2009
Springer
14 years 5 days ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Re...
JCT
2008
13 years 5 months ago
2008
Using classical transformations on the symmetric group and two transformations constructed in Fix-Mahonian Calculus I, we show that several multivariable statistics are equidistrib...
APPML
2010
13 years 5 months ago
2010
Let Sn denote the symmetric group on {1, . . . , n} and Sn-1 the stabilizer subgroup of n. We derive algorithms for computing Fourier transforms of left and right Sn-1-invariant s...
EJC
2008
13 years 5 months ago
2008
We construct two bijections of the symmetric group Sn onto itself that enable us to show that three new three-variable statistics are equidistributed with classical statistics invo...