Sciweavers

3824 search results - page 10 / 765

» Geometry Constructions Language

126

POPL
1993
ACM

141views Programming Languages» more POPL 1993»

Constructing Call Multigraphs Using Dependence Graphs

15 years 10 months ago

Constructing Call Multigraphs Using Dependence Graphs

Download www.cacs.louisiana.edu

Arun Lakhotia

claim paper

Read More »

120

PPDP
2000
Springer

71views Programming Languages» more PPDP 2000»

Proof construction and non-commutativity: a cluster calculus

15 years 9 months ago

Proof construction and non-commutativity: a cluster calculus

Download www.pps.jussieu.fr

Claudia Faggian

claim paper

Read More »

130

HASKELL
2008
ACM

128views Programming Languages» more HASKELL 2008»

Haskell, do you read me?: constructing and composing efficient top-down parsers at runtime

15 years 7 months ago

Haskell, do you read me?: constructing and composing efficient top-down parsers at runtime

Download www.haskell.org

Marcos Viera, S. Doaitse Swierstra, Eelco Lempsink

claim paper

Read More »

115

Voted

LLC
2010

113views Programming Languages» more LLC 2010»

Construction Morphology

15 years 28 days ago

Construction Morphology

Download www.lingref.com

Geert Booij

claim paper

Read More »

165

ENTCS
2010

113views more ENTCS 2010»

Geometry of Synthesis II: From Games to Delay-Insensitive Circuits

15 years 6 months ago

Geometry of Synthesis II: From Games to Delay-Insensitive Circuits

Download www.cs.bham.ac.uk

This paper extends previous work on the compilation of higher-order imperative languages into digital circuits [4]. We introduce concurrency, an essential feature in the context o...

Dan R. Ghica, Alex Smith

claim paper

Read More »

« Prev « First page 10 / 765 Last » Next »