99 search results - page 5 / 20 » Building Compilers by Combining Algebras |
69
Voted
ECEASST
2006
14 years 11 months ago
2006
Motivated by the promotion of rewriting techniques and their use in major industrial applications, we have designed Tom: a pattern matching layer on top of conventional programming...
BIRTHDAY
2009
Springer
15 years 6 months ago
2009
Springer
We propose a naive version of action semantics that begins with a selection of “transient” and “persistent” facets, each characterized as a partial monoid. Yielders are de...
96
Voted
AAAI
1996
15 years 29 days ago
1996
In recent years, compositional modeling and selfexplanatory simulation techniques have simplified the process of building dynamic simulators of physical systems. Building steady-s...
ENTCS
2008
14 years 11 months ago
2008
This paper presents fixpoint calculations on lattice structures as example of highly modular programming in a dependently typed functional language. We propose a library of Coq mo...
118
click to vote
ASPLOS
2008
ACM
15 years 1 months ago
2008
ACM
Today's system programmers go to great lengths to extend the languages in which they program. For instance, system-specific compilers find errors in Linux and other systems, ...