Sciweavers

10585 search results - page 38 / 2117

» The Orc Programming Language

27

PADL
2010
Springer

138views Programming Languages» more PADL 2010»

Lazy Combinators for Executable Specifications of General Attribute Grammars

14 years 5 months ago

Lazy Combinators for Executable Specifications of General Attribute Grammars

Download cs.uwindsor.ca

Rahmatullah Hafiz, Richard A. Frost

claim paper

Read More »

26

PADL
2010
Springer

158views Programming Languages» more PADL 2010»

An Introduction to Maude and Some of Its Applications

14 years 5 months ago

An Introduction to Maude and Some of Its Applications

Download maude.cs.uiuc.edu

Narciso Martí-Oliet

claim paper

Read More »

25

POPL
2010
ACM

192views Programming Languages» more POPL 2010»

Type inference for datalog with complex type hierarchies

14 years 3 months ago

Type inference for datalog with complex type hierarchies

Download www.datalog20.com

Max Schäfer, Oege de Moor

claim paper

Read More »

24

ESOP
2010
Springer

169views Programming Languages» more ESOP 2010»

Propositional Interpolation and Abstract Interpretation

14 years 3 months ago

Propositional Interpolation and Abstract Interpretation

Download www.comlab.ox.ac.uk

Vijay D'Silva

claim paper

Read More »

23

ICFP
2009
ACM

140views Programming Languages» more ICFP 2009»

Control-flow analysis of function calls and returns by abstract interpretation

14 years 3 months ago

Control-flow analysis of function calls and returns by abstract interpretation

Download www.irisa.fr

Jan Midtgaard, Thomas P. Jensen

claim paper

Read More »

« Prev « First page 38 / 2117 Last » Next »