2943 search results - page 351 / 589 » Software Implementation of Synchronous Programs |
113
click to vote
HASKELL
2007
ACM
15 years 7 months ago
2007
ACM
Quasiquoting allows programmers to use domain specific syntax to construct program fragments. By providing concrete syntax for complex data types, programs become easier to read, ...
168
click to vote
DOCENG
2008
ACM
15 years 4 months ago
2008
ACM
Semantic web researchers tend to assume that XML Schema and OWL-S are the correct means for representing the types, structure, and semantics of XML data used for documents and int...
115
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Automated software verification is a very active field of research which has made enormous progress both in theoretical and practical aspects. Recently, an important amou...
106
click to vote
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
In this paper we provide an experience report where language oriented programming approaches are applied to complex game design. Ficticious is a G-expression based pidgin of sever...
ICFP
2008
ACM
16 years 3 months ago
2008
ACM
We have implemented a two-stage language, Paradise, for building reusable components which are used to price financial products. Paradise is embedded in Haskell and makes heavy us...