10585 search results - page 422 / 2117 » The Orc Programming Language |
160
click to vote
CORR
2000
Springer
15 years 6 months ago
2000
Springer
This paper illustrates how the diagram programming language DIAPLAN can be used to program visual systems. DIAPLAN is a visual rulebased language that is founded on the computation...
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 24 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...