1288 search results - page 77 / 258 » Visual Generalization in Programming by Example |
105
click to vote
ICFP
2005
ACM
16 years 2 months ago
2005
ACM
Applied Type System (ATS) is recently proposed as a framework for designing and formalizing (advanced) type systems in support of practical programming. In ATS, the definition of ...
138
click to vote
ITICSE
2005
ACM
15 years 8 months ago
2005
ACM
The complexity of languages like Java and C++ can make introductory programming classes in these languages extremely challenging for many students. Part of the complexity comes fr...
ICSE
2010
IEEE-ACM
15 years 7 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...
112
click to vote
PLPV
2010
ACM
15 years 11 months ago
2010
ACM
Type-based reasoning is popular in functional programming. In particular, parametric polymorphism constrains functions in such a way that statements about their behavior can be de...
166
click to vote
AGP
2003
IEEE
15 years 7 months ago
2003
IEEE
The paper discusses some innovative aspects related to the integration of a framework based on Answer Set Programming in an Information Retrieval Agent, namely, the Global Search A...