4854 search results - page 65 / 971 » It's the Programming, Stupid |
154
click to vote
SAS
2009
Springer
16 years 6 months ago
2009
Springer
We show how, given a program and its separation logic proof, one can parallelize and optimize this program and transform its proof simultaneously to obtain a proven parallelized an...
197
click to vote
VL
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper outlines DIAPLAN, a visual rule-based programming language and environment that is based on the computational model of graph transformation. Thanks to its genericity, D...
175
click to vote
FMCO
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The first part of the paper gives a brief overview of metaprogramming, in particular program generation, and its use in software development. The second part introduces ...
157
click to vote
OWLED
2007
15 years 7 months ago
2007
Abstract. We describe a system in which Contextual Logic Programming is used as a mediator for knowledge modeled by ontologies. Our system provides the components required to behav...
165
click to vote
JAIR
1998
15 years 5 months ago
1998
It is common to view programs as a combination of logic and control: the logic part de nes what the program must do, the control part how to do it. The Logic Programming paradigm ...