154 search results - page 16 / 31 » PAC-Learnability of Determinate Logic Programs |
AUIC
2000
IEEE
14 years 2 months ago
2000
IEEE
Electronic Blocks are a new programming interface, designed for children aged between three and eight years. The Electronic Blocks programming environment includes sensor blocks, ...
AGP
1995
IEEE
14 years 1 months ago
1995
IEEE
Pattern analysis consists in determining the shape of the set of solutions of the constraint store at some program points. Our basic claim is that pattern analyses can all be desc...
EMSOFT
2006
Springer
14 years 1 months ago
2006
Springer
Concurrent programming languages should be a good fit for embedded systems because they match the intrinsic parallelism of their architectures and environments. Unfortunately, typ...
ICSE
2010
IEEE-ACM
14 years 2 months ago
2010
IEEE-ACM
Program differencing tools such as GNU diff identify individual differences but do not determine how those differences are related to each other. For example, an extract super...
IWMM
2009
Springer
14 years 4 months ago
2009
Springer
This paper presents an analysis that derives a formula describing the worst-case live heap space usage of programs in a functional language with automated memory management (garba...