3323 search results - page 89 / 665 » Computational Semantics with Functional Programming |
125
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. We present Comfusy, a tool that extends the compiler for the gener...
176
click to vote
ISADS
2003
IEEE
15 years 10 months ago
2003
IEEE
An advanced high-level approach for programming of real-time distributed computing applications, the TMO (Time-triggered Message-triggered Object) programming and specification sc...
153
click to vote
ENTCS
2008
15 years 4 months ago
2008
In this paper we present a game semantics for a quantum programming language based on a new definition of quantum strategies. The language studied is MCdata, a typed version of th...
140
click to vote
CVPR
2008
IEEE
16 years 6 months ago
2008
IEEE
We present a practical algorithm that provably achieves the global optimum for a class of bilinear programs commonly arising in computer vision applications. Our approach relies o...
159
click to vote
GRID
2004
Springer
15 years 10 months ago
2004
Springer
This paper reports on the design, implementation and performance evaluation of a suite of GridRPC programming middleware called Ninf-G Version 2 (Ninf-G2). NinfG2 is a reference i...