54 search results - page 3 / 11 » Testing Scheme programming assignments automatically |
TSD
2005
Springer
13 years 11 months ago
2005
Springer
Since sentences are the basic propositional units of text, knowing their themes should help various tasks requiring the knowledge about the semantic content of text. In this paper,...
WLP
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. We present an overview on the AT(x) approach which is capable of automatically analyzing programs with respect to given tests and a reference solution. In the context of ...
SAC
2004
ACM
13 years 11 months ago
2004
ACM
We consider the generalized assignment problem in which the objective is to find a minimum cost assignment of a set of jobs to a set of agents subject to resource constraints. Th...
ACL
1994
13 years 7 months ago
1994
This paper addresses the alignment issue in the framework of exploitation of large bimultilingual corpora for translation purposes. A generic alignment scheme is proposed that can...
POPL
2009
ACM
14 years 6 months ago
2009
ACM
c Modular Abstractions for Linear Constraints David Monniaux VERIMAG June 27, 2008 se a method for automatically generating abstract transformers for static by abstract interpreta...