3736 search results - page 248 / 748 » Hand-Writing Program Generator Generators |
187
click to vote
FLOPS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We present a lightweight, automated tool for specificationbased testing of declarative programs written in the functional logic programming language Curry and emphasize t...
200
click to vote
PADL
2012
Springer
14 years 2 months ago
2012
Springer
Declarative networking is a programming methodology that enables developers to concisely specify network protocols and services, and directly compile these specifications into a d...
140
click to vote
COMBINATORICS
2002
15 years 6 months ago
2002
We consider permutations that avoid the pattern 1324. By studying the generating tree for such permutations, we obtain a recurrence formula for their number. A computer program pr...
136
click to vote
ENTCS
2002
15 years 6 months ago
2002
We describe a linear channel inference system for the TyCO programming language, where channel usage is tracked through method invocations as well as procedure calls. We then appl...
139
click to vote
TACAS
2007
Springer
16 years 21 days ago
2007
Springer
We present JPF–SE, an extension to the Java PathFinder Model Checking framework (JPF) that enables the symbolic execution of Java programs. JPF–SE uses JPF to generate and expl...