16844 search results - page 255 / 3369 » How to Design Programs |
157
click to vote
EATIS
2007
ACM
15 years 10 months ago
2007
ACM
MDIRS is methodology to define the actors and the steps to build efficiently information retrieval (IR) System. MDRIS main mission is to analyze, develop and evaluate mechanisms s...
136
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
To formalize a software process, its important aspects must be extracted as a model. Many processes are used repeatedly, and the ability to automate a process is also desired. One...
200
click to vote
FAC
2010
15 years 5 months ago
2010
Here we describe an algebraic approach to constructing a provably correct compiler for an object-oriented language called ROOL. We tackle the problem of compiler correctness by red...
195
click to vote
TPHOL
2009
IEEE
16 years 1 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 ...
139
click to vote
SLP
1990
15 years 7 months ago
1990
We discuss the impact of Partial Evaluation within the framework of structured logic programming. We define a general scheme for Partial Evaluation to be applied to a wide class o...