Search Sciweavers | Sciweavers

6201 search results - page 37 / 1241

» Implementation of Axiomatic Language

click to vote

ICLP
1994
Springer

93views Automated Reasoning» more ICLP 1994»

Implementation of Andorra-based Languages

14 years 1 months ago

Download www.sics.se

Sverker Janson

claim paper

Read More »

click to vote

PPOPP
1993
ACM

161views Distributed and Parallel Com...» more PPOPP 1993»

Implementation of a Portable Nested Data-Parallel Language

14 years 1 months ago

Download www.cs.cmu.edu

Guy E. Blelloch, Siddhartha Chatterjee, Jonathan C...

claim paper

Read More »

click to vote

ICLP
1992
Springer

96views Automated Reasoning» more ICLP 1992»

Implementing a Lazy Functional Logic Language with Disequality Constraints

14 years 1 months ago

Download gpd.sip.ucm.es

Herbert Kuchen, Francisco Javier López-Frag...

claim paper

Read More »

click to vote

VLDB
1993
ACM

84views Database» more VLDB 1993»

On Implementing a Language for Specifying Active Database Execution Models

14 years 1 months ago

Download www.vldb.org

Shahram Ghandeharizadeh, Richard Hull, Dean Jacobs...

claim paper

Read More »

click to vote

CCGRID
2008
IEEE

149views Distributed And Parallel Com...» more CCGRID 2008»

Implementation of Turing Machines with the Scufl Data-Flow Language

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers