99 search results - page 9 / 20 » Building Compilers by Combining Algebras |
FSE
2004
Springer
14 years 26 days ago
2004
Springer
This paper presents algebraic attacks on SOBER-t32 and SOBER-t16 without stuttering. For unstuttered SOBER-t32, two different attacks are implemented. In the first attack, we obt...
IPPS
2009
IEEE
14 years 2 months ago
2009
IEEE
—High-end machines at modern HPC centers are constantly undergoing hardware and system software upgrades – necessitating frequent rebuilds of application codes. The number of p...
PEPM
2012
ACM
12 years 3 months ago
2012
ACM
This paper describes Scala-Virtualized, which extends the Scala language and compiler with a small number of features that enable combining the benefits of shallow and deep embed...
IADIS
2004
13 years 8 months ago
2004
The ALPS project (Active Learning in Problem Solving) is building and evaluating an educational technology that combines cognitive tutors with a novel interactive questioning envi...
POPL
1994
ACM
13 years 11 months ago
1994
ACM
ions of abstract domains for logic programming: open product and generic pattern construction Agostino Cortesia; , Baudouin Le Charlierb , Pascal Van Hentenryckc aDipartimento di I...