2362 search results - page 81 / 473 » Programming in Standard ML |
154
Voted
TPHOL
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. This pearl examines how to verify functional programs written using the state monad. It uses Coq’s Program framework to provide strong specifications for the standard ...
133
Voted
FUIN
1998
15 years 3 months ago
1998
Genetic programming (Koza 1992) is a method of inducing behaviors represented as executable programs. The generality of the approach has spawned a proliferation of work in the evo...
138
click to vote
APLAS
2008
ACM
15 years 5 months ago
2008
ACM
We define a small-step operational semantics for the ECMAScript standard language corresponding to JavaScript, as a basis for analyzing security properties of web applications and ...
107
Voted
SIGADA
1993
Springer
15 years 7 months ago
1993
Springer
The Navy’s Next Generation Computer Resources (NGCR) program set up a Project Support Environment Standards Working Group (PSESWG) to help in the task of establishing interface ...
126
Voted
ICANNGA
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. A new Genetic Programming variant called Liquid State Genetic Programming (LSGP) is proposed in this paper. LSGP is a hybrid method combining a dynamic memory for storing...