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
13 years 11 months 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...