Sciweavers

10935 search results - page 31 / 2187

» Neural Programming Language

132

PADL
2010
Springer

158views Programming Languages» more PADL 2010»

An Introduction to Maude and Some of Its Applications

16 years 3 months ago

An Introduction to Maude and Some of Its Applications

Download maude.cs.uiuc.edu

Narciso Martí-Oliet

claim paper

Read More »

140

Voted

POPL
2010
ACM

192views Programming Languages» more POPL 2010»

Type inference for datalog with complex type hierarchies

16 years 1 months ago

Type inference for datalog with complex type hierarchies

Download www.datalog20.com

Max Schäfer, Oege de Moor

claim paper

Read More »

149

ESOP
2010
Springer

169views Programming Languages» more ESOP 2010»

Propositional Interpolation and Abstract Interpretation

16 years 1 months ago

Propositional Interpolation and Abstract Interpretation

Download www.comlab.ox.ac.uk

Vijay D'Silva

claim paper

Read More »

147

ICFP
2009
ACM

140views Programming Languages» more ICFP 2009»

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

16 years 1 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 »

133

PLDI
2009
ACM

117views Programming Languages» more PLDI 2009»

Encoding information flow in Aura

16 years 1 months ago

Encoding information flow in Aura

Download www.andrew.cmu.edu

Limin Jia, Steve Zdancewic

claim paper

Read More »

« Prev « First page 31 / 2187 Last » Next »