16844 search results - page 224 / 3369 » How to Design Programs |
136
click to vote
APLAS
2003
ACM
15 years 12 months ago
2003
ACM
We present a method for automatic program inversion in a first-order functional programming language. We formalize the transformation and illustrate it with several examples inclu...
153
click to vote
LOPSTR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper aims at offering an insightful synthesis of different compositional semantics for logic program composition which have been developed in the literature. In p...
172
click to vote
PADL
2012
Springer
14 years 2 months ago
2012
Springer
In the past, the creators of numerical programs had to choose between simple expression of mathematical formulas and static type checking. While the Lisp family and its dynamically...
151
click to vote
SIGCSE
2008
ACM
15 years 6 months ago
2008
ACM
This paper describes Scratch, a visual, block-based programming language designed to facilitate media manipulation for novice programmers. We report on the Scratch programming exp...
162
click to vote
ER
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Vulnerabilities are weaknesses in the requirements, design, and implementation, which attackers exploit to compromise the system. This paper proposes a vulnerability-cent...