3736 search results - page 322 / 748 » Hand-Writing Program Generator Generators |
167
click to vote
KBSE
1997
IEEE
15 years 11 months ago
1997
IEEE
Proofs in the Nuprl system, an implementation of a constructive type theory, yield “correct-by-construction” programs. In this paper a new methodology is presented for extract...
161
click to vote
ISER
1997
Springer
15 years 11 months ago
1997
Springer
We describe an integrated system for programming part-mating and contact tasks using simulation. A principal goal of this work is to make robotic programming easy and intuitive fo...
160
click to vote
SIGMOD
1989
ACM
15 years 10 months ago
1989
ACM
Machiavelli is a polymorphically typed programming language in the spirit of ML, but supports an extended method of type inferencing that makes its polymorphism more general and a...
177
click to vote
IWMM
2000
Springer
15 years 10 months ago
2000
Springer
We investigate reference counting in the context of a multithreaded architecture by exploiting two observations: (1) reference-counting can be performed by a transformed program s...
198
click to vote
EPS
1995
Springer
15 years 10 months ago
1995
Springer
Evolutionary programming was first offered as an alternative method for generating artificial intelligence. Experiments were offered in which finite state machines were used to...