3827 search results - page 105 / 766 » The Epsilon Generation Language |
162
click to vote
PPDP
2009
Springer
15 years 11 months ago
2009
Springer
We introduce a logic programming framework for data type transformations based on isomorphisms between elementary data types (natural numbers, finite functions, sets and permutat...
119
click to vote
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
We propose a new approach to accelerate transaction level verification by raising the productivity of the verification suites including test patterns, protocol checker, and simula...
183
click to vote
DAC
1997
ACM
15 years 8 months ago
1997
ACM
Abstract—We present the Instruction Set Description Language, ISDL, a machine description language used to describe target architectures to a retargetable compiler. The features ...
130
click to vote
ALT
1997
Springer
15 years 8 months ago
1997
Springer
An index for an r.e. class of languages (by definition) generates a sequence of grammars defining the class. An index for an indexed family of languages (by definition) generat...
113
click to vote
POPL
1994
ACM
15 years 8 months ago
1994
ACM
This paper discusses call forwarding, a simple interprocedural optimization technique for dynamically typed languages. The basic idea behind the optimization is straightforward: n...