Search Sciweavers | Sciweavers

3516 search results - page 2 / 704

» Programming Languages: Application and Interpretation

click to vote

ICFP
2004
ACM

195views Programming Languages» more ICFP 2004»

Implementing functional logic languages using multiple threads and stores

14 years 4 months ago

Download web.cecs.pdx.edu

Recent functional logic languages such as Curry and Toy combine lazy functional programming with logic programming features including logic variables, non-determinism, unification...

Andrew P. Tolmach, Sergio Antoy, Marius Nita

claim paper

Read More »

click to vote

FPCA
1995

132views Programming Languages» more FPCA 1995»

Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation

13 years 8 months ago

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

claim paper

Read More »

click to vote

PPDP
2009
Springer

144views Programming Languages» more PPDP 2009»

A framework for abstract interpretation of timed concurrent constraint programs

13 years 11 months ago

Download www.lix.polytechnique.fr

Moreno Falaschi, Carlos Olarte, Catuscia Palamides...

claim paper

Read More »

click to vote

ESOP
2001
Springer

145views Programming Languages» more ESOP 2001»

Backwards Abstract Interpretation of Probabilistic Programs

13 years 9 months ago

Download www-verimag.imag.fr

David Monniaux

claim paper

Read More »

click to vote

ESOP
2010
Springer

169views Programming Languages» more ESOP 2010»

Propositional Interpolation and Abstract Interpretation

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers