16190 search results - page 356 / 3238 » Applicative programming with effects |
130
click to vote
PEPM
2009
ACM
16 years 1 months ago
2009
ACM
ract interpretation of programs relates the exact semantics of a programming language to an approximate semantics that can be effectively computed. We show that, by specifying ope...
107
click to vote
ISCA
1987
IEEE
15 years 8 months ago
1987
IEEE
This paper presents a new multiprocessor architecture for the parallel execution of logic programs, developed as part of the Aquarius Project. This architecture is designed to sup...
119
click to vote
CHARME
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. We survey the work done so far in the FLaSH project (Functional Languages for Synthesising Hardware) in which the core ideas are (i) using a functional language SAFL to d...
140
Voted
IJAIT
2006
15 years 4 months ago
2006
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...
161
click to vote
NAR
2007
15 years 4 months ago
2007
We present taveRNA, a web server package that hosts three RNA web services: alteRNA, inteRNA and pRuNA. alteRNA is a new alternative for RNA secondary structure prediction. It is ...