771 search results - page 26 / 155 » EasyCheck - Test Data for Free |
AMAST
2006
Springer
14 years 11 days ago
2006
Springer
Programs written in point-free form express computation purely in terms of functions. Such programs are especially amenable to local transformation. In this paper, we describe a pr...
ICGI
2010
Springer
13 years 9 months ago
2010
Springer
This paper presents an efficient algorithm that identifies a rich subclass of multiple context-free languages in the limit from positive data and membership queries by observing wh...
TAP
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. In this paper we report on our first experiences using the relational analysis provided by the Alloy tool with the theorem prover KIV in the context of specifications of ...
SIGMOD
1998
ACM
14 years 26 days ago
1998
ACM
EGICE
2006
14 years 9 days ago
2006
