4266 search results - page 324 / 854 » Search for More Declarativity |
193
click to vote
ICSE
2003
IEEE-ACM
16 years 1 days ago
2003
IEEE-ACM
ct Feature Oriented Programming (FOP) is a design methodology and tools for program synthesis. The goal is to specify a target program in terms of the features that it offers, and ...
314
click to vote
AGP
2010
IEEE
15 years 12 months ago
2010
IEEE
Constraint Logic Programming (CLP) is one of the most successful branches of Logic Programming; it attracts the interest of theoreticians and practitioners, and it is currently use...
179
click to vote
ICRE
2000
IEEE
15 years 11 months ago
2000
IEEE
Unless you have a complete and precise description of your product’s requirements, it is very unlikely that you will satisfy those requirements. A requirements document that is ...
186
click to vote
VLDB
1999
ACM
15 years 11 months ago
1999
ACM
Electronic commerce is emerging as a major Websupported application. In this paper we argue that database technology can, and should, provide the backbone for a wide range of such...
237
click to vote
ECBS
1996
IEEE
15 years 11 months ago
1996
IEEE
In this paper, it is shown that, through the use of Model-Integrated Program Synthesis MIPS, parallel real-time implementations of image processing data ows can be synthesized fro...