Sciweavers

10575 search results - page 25 / 2115

» T2Script Programming Language

132

Voted

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 »

139

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 »

148

Voted

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

Voted

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

Voted

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 25 / 2115 Last » Next »