3827 search results - page 248 / 766 » The Epsilon Generation Language |
137
click to vote
FATES
2003
Springer
15 years 11 months ago
2003
Springer
We present work on a tool environment for model-based testing with the Abstract State Machine Language (AsmL). Our environment supports semiautomatic parameter generation, call seq...
218
click to vote
PLSA
1994
15 years 10 months ago
1994
A machine_independent abstract program representation is presented that is twice as compact as machine code for a CISC processor. It forms the basis of an implementation, in which ...
160
click to vote
PADL
2000
Springer
15 years 10 months ago
2000
Springer
In this article we present the University of Evora's Integrated Information System (SIIUE), which is meant to model most of the information necessary for the management and da...
164
click to vote
POPL
1995
ACM
15 years 10 months ago
1995
ACM
We present a variant of the Standard ML module system rameterized abstract types (i.e. functors returning generative types) map provably equal arguments to compattract types, inst...
156
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
There exist very lucid explanations of the combinatorial origins of rational and algebraic functions, in particular with respect to regular and context free languages. In the searc...