3827 search results - page 375 / 766 » The Epsilon Generation Language |
162
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
160
click to vote
ACMSE
2004
ACM
16 years 5 days ago
2004
ACM
This paper presents a specification-driven approach to test automation for GUI-based JAVA programs as an alternative to the use of capture/replay. The NetBeans Jemmy library provi...
193
click to vote
IWMM
1998
Springer
15 years 11 months ago
1998
Springer
Many high-level language compilers generate C code and then invoke a C compiler for code generation. To date, most of these compilers link the resulting code against a conservativ...
180
click to vote
APLAS
2007
ACM
15 years 10 months ago
2007
ACM
Abstract. Given the combinatorial nature of cellular signalling pathways, where biological agents can bind and modify each other in a large number of ways, concurrent or agent-base...
148
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Cryptographic protocols are useful for trust engineering in Web transactions. The Cryptographic Protocol Programming Language (CPPL) provides a model wherein trust management anno...