3736 search results - page 335 / 748 » Hand-Writing Program Generator Generators |
169
click to vote
NLDB
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. In this paper, we describe a new way to access information by “chatting” to an information source. This involves a chatbot, a program that emulates human conversation...
185
click to vote
TYPES
2004
Springer
16 years 1 days ago
2004
Springer
We present four constructions for standard equipment which can be generated for every inductive datatype: case analysis, structural recursion, no confusion, acyclicity. Our constru...
150
click to vote
VMCAI
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. We study the type system introduced by Boyapati and Rinard in their paper “A Parameterized Type System for Race-Free Java Programs” and try to infer the type annotati...
153
click to vote
FATES
2003
Springer
15 years 12 months ago
2003
Springer
Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...
196
click to vote
GCC
2003
Springer
15 years 12 months ago
2003
Springer
The Object-Oriented Petri Nets (OOPN) based integrated solution to a grid-based application system modeling and enacting is proposed in this paper for simplifying designs and devel...