Search Sciweavers | Sciweavers

3516 search results - page 12 / 704

» Programming Languages: Application and Interpretation

166

click to vote

ICFP
2007
ACM

110views Programming Languages» more ICFP 2007»

McErlang: a model checker for a distributed functional programming language

16 years 6 months ago

Download www.cs.chalmers.se

We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...

Hans Svensson, Lars-Åke Fredlund

claim paper

Read More »

118

click to vote

FPCA
1987

66views Programming Languages» more FPCA 1987»

Matrix algebra and applicative programming

15 years 10 months ago

Download www.cs.indiana.edu

David S. Wise

claim paper

Read More »

179

click to vote

ATAL
2008
Springer

118views Intelligent Agents» more ATAL 2008»

A flexible framework for verifying agent programs

15 years 8 months ago

Download www.inf.ufrgs.br

There is an increasing number of agent-oriented programming languages that have working interpreters and platforms, with significant progress in the quality of such platforms over...

Louise A. Dennis, Berndt Farwer, Rafael H. Bordini...

claim paper

Read More »

142

click to vote

PADL
2010
Springer

158views Programming Languages» more PADL 2010»

An Introduction to Maude and Some of Its Applications

16 years 3 months ago

Download maude.cs.uiuc.edu

Narciso Martí-Oliet

claim paper