10871 search results - page 432 / 2175 » A stable programming language |
193
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...
189
click to vote
XIMEP
2006
ACM
16 years 23 days ago
2006
ACM
XQuery is a declarative language for querying and updating XML data sources. Interfacing XQuery to a host programming language is difficult because of the type system mismatch, an...
129
click to vote
MICS
2008
15 years 6 months ago
2008
The intensional transformation is a technique that can be used in order to eliminate higher-order functions from a functional program by introducing appropriate context manipulatio...
194
click to vote
FM
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. UnifyingTheoriesofProgramming(UTP)canprovideaformalsemantic foundation not only for programming languages but also for more expressive specification languages. We believ...
210
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
Recognition of signs in sentences requires a training
set constructed out of signs found in continuous sentences.
Currently, this is done manually, which is a tedious process.
I...