713 search results - page 92 / 143 » Syntax and Semantics of Babel-17 |
114
click to vote
JFP
2006
15 years 21 days ago
2006
This paper introduces reFLect, a functional programming language with reflection features intended for applications in hardware design and verification. The reFLect language is st...
133
click to vote
MSCS
2006
15 years 21 days ago
2006
We present a dynamic logic for reasoning about information flow in quantum programs. In particular, we give a finitary syntax and a relational semantics for a Logic of Quantum Pro...
120
Voted
ACTA
2005
15 years 20 days ago
2005
Extending the pi calculus with the session types proposed by Honda et al. allows high-level specifications of structured patterns of communication, such as client-server protocols,...
116
click to vote
APIN
2000
15 years 18 days ago
2000
The use of genetic programming for probabilistic pattern matching is investigated. A stochastic regular expression language is used. The language features a statistically sound sem...
119
Voted
COLING
2000
15 years 17 days ago
2000
Speech repairs occur often in spontaneous spoken dialogues. The ability to detect and correct those repairs is necessary for any spoken language system. We present a framework to ...