Search Sciweavers | Sciweavers

10585 search results - page 229 / 2117

» The Orc Programming Language

click to vote

ICALP
2009
Springer

100views Programming Languages» more ICALP 2009»

A Decidable Characterization of Locally Testable Tree Languages

14 years 9 months ago

Download www.lsv.ens-cachan.fr

Thomas Place, Luc Segoufin

claim paper

Read More »

click to vote

HIPS
1997
IEEE

122views Programming Languages» more HIPS 1997»

Complexity and Performance in Parallel Programming Languages

14 years 1 months ago

Download www.highproductivity.org

Several parallel programming languages, libraries and environments have been developed to ease the task of writing programs for multiprocessors. Proponents of each approach often ...

Steven P. Vanderwiel, Daphna Nathanson, David J. L...

claim paper

Read More »

click to vote

ENTCS
2008

175views more ENTCS 2008»

AGAPIA v0.1: A Programming Language for Interactive Systems and Its Typing System

13 years 9 months ago

Download fsl.cs.uiuc.edu

A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, programming a...

Cezara Dragoi, Gheorghe Stefanescu

claim paper

Read More »

click to vote

PADL
2009
Springer

98views Programming Languages» more PADL 2009»

On Preferring and Inspecting Abductive Models

14 years 9 months ago

Download www.software.imdea.org

Gonçalo Lopes, Luís Moniz Pereira, P...

claim paper

Read More »