1288 search results - page 200 / 258 » Visual Generalization in Programming by Example |
158
click to vote
ICFP
2010
ACM
15 years 2 months ago
2010
ACM
We describe the design, implementation, and use of a machinecertified framework for correct compilation and execution of programs in garbage-collected languages. Our framework ext...
137
click to vote
PLDI
2011
ACM
14 years 5 months ago
2011
ACM
Information flow is an important security property that must be incorporated from the ground up, including at hardware design time, to provide a formal basis for a system’s roo...
101
click to vote
ITICSE
2010
ACM
15 years 6 months ago
2010
ACM
Previous reports of a media computation approach to teaching programming have either focused on pre-CS1 courses or courses for non-majors. We report the adoption of a media comput...
150
click to vote
SIAMJO
2002
15 years 2 months ago
2002
Abstract. Sequential quadratic programming (SQP) methods have proved highly effective for solving constrained optimization problems with smooth nonlinear functions in the objective...
201
click to vote
SIGMOD
2008
ACM
16 years 2 months ago
2008
ACM
A variety of web sites and web based services produce textual lists at varying time granularities ranked according to several criteria. For example, Google Trends produces lists o...