297 search results - page 35 / 60 » ATS: A Language That Combines Programming with Theorem Provi... |
130
click to vote
ECOOP
2010
Springer
15 years 3 months ago
2010
Springer
Developers using statically typed languages such as C and Java are increasingly having to interoperate with APIs and object models defined in dynamic languages. This impedance mis...
111
click to vote
ICFP
2002
ACM
16 years 1 months ago
2002
ACM
Multi-stage programming languages provide a convenient notation for explicitly staging programs. Staging a definitional interpreter for a domain specific language is one way of de...
126
click to vote
MPC
2010
Springer
15 years 6 months ago
2010
Springer
Parser combinators are a popular tool for designing parsers in functional programming languages. If such combinators generate an abstract representation of the grammar as an interm...
145
click to vote
ESOP
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. The Bayesian approach to machine learning amounts to inferring posterior distributions of random variables from a probabilistic model of how the variables are related (th...
100
click to vote
ICALP
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We provide a framework for the design and analysis of dynamic programming algorithms for surface-embedded graphs on n vertices and branchwidth at most k. Our technique ap...