1264 search results - page 189 / 253 » Abstract machines for programming language implementation |
HASKELL
2006
ACM
14 years 2 months ago
2006
ACM
Many numerical algorithms are specified in terms of operations on vectors and matrices. Matrix operations can be executed extremely efficiently using specialized linear algebra k...
ICFP
2005
ACM
14 years 8 months ago
2005
ACM
module is a programming abstraction that simultaneously generalizes -abstractions, records, and mutually recursive definitions. Although various mixin module type systems have bee...
SAC
2005
ACM
14 years 1 months ago
2005
ACM
During language evolution, compiler construction is usually d along two dimensions: defining new abstract syntax tree (AST) classes, or adding new operations. In order to facilita...
UM
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Recent sensor technologies have enabled the capture of users’ behavior data. Given the large amount of data currently available from sensor-equipped environments, it is...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a reali...