1559 search results - page 168 / 312 » The Semantics of Future and Its Use in Program Optimizations |
ICFP
2008
ACM
15 years 10 months ago
2008
ACM
MLF is a type system that seamlessly merges ML-style type inference with System-F polymorphism. We propose a system of graphic (type) constraints that can be used to perform type ...
JOT
2010
14 years 8 months ago
2010
Abstract The integration of database and programming languages is difficult due to the different data models and type systems prevalent in each field. We present a solution wher...
COMPSAC
2010
IEEE
14 years 5 months ago
2010
IEEE
With the rapid development of model-driven engineering (MDE), domain-specific modeling has become a widely used software development technique. In MDE, metamodels represent a schem...
88
Voted
CF
2010
ACM
15 years 3 months ago
2010
ACM
Competitive parallel execution (CPE) is a simple yet attractive technique to improve the performance of sequential programs on multi-core and multi-processor systems. A sequential...
POPL
2010
ACM
15 years 7 months ago
2010
ACM
We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in th...