6155 search results - page 954 / 1231 » A language for multiple models of computation |
176
click to vote
SIGCSE
2010
ACM
16 years 1 months ago
2010
ACM
Programming exercise assessment tools alleviate the task of teachers, and increase consistency of markings. Many programming exercise assessment tools are based on testing. A test...
189
click to vote
FOSSACS
2007
Springer
16 years 24 days ago
2007
Springer
Higher-order pushdown systems (PDSs) generalise pushdown systems through the use of higher-order stacks, that is, a nested “stack of stacks” structure. These systems may be us...
149
click to vote
TLCA
2005
Springer
16 years 3 days ago
2005
Springer
We use a fully abstract denotational model to show that nested function calls and recursive definitions can be eliminated from SPCF (a typed functional language with simple non-lo...
278
click to vote
CIE
2011
Springer
14 years 6 months ago
2011
Springer
Automatic classes are classes of languages for which a finite automaton can decide whether a given element is in a set given by its index. The present work studies the learnabilit...
169
click to vote
CONEXT
2006
ACM
16 years 18 days ago
2006
ACM
Network traffic matrices are important for various network planning and management operations. Previous work for estimation of traffic matrices is based on either link load record...