6740 search results - page 159 / 1348 » Using Classification as a Programming Language |
184
click to vote
PADL
2011
Springer
14 years 4 months ago
2011
Springer
Modern challenges led to a design of a wide range of programming models for reactive, parallel and concurrent programming, but these are often t to encode in general purpose langua...
117
click to vote
CHI
2009
ACM
15 years 8 months ago
2009
ACM
Young people interact with games, animations, and simulations all of the time. But few of them are able to create interactive media. The obstacle: traditional programming language...
120
Voted
ICFEM
2004
Springer
15 years 7 months ago
2004
Springer
Iterative abstraction refinement has emerged in the last few years as the leading approach to software model checking. In this context Boolean programs are commonly employed as si...
ICFP
1998
ACM
15 years 6 months ago
1998
ACM
In this paper we explain how recursion operators can be used to structure and reason about program semantics within a functional language. In particular, we show how the recursion...
121
click to vote
POPL
2010
ACM
15 years 11 months ago
2010
ACM
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...