Sciweavers

5863 search results - page 32 / 1173

» Calculating Functional Programs

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 »

23

ECOOP
2004
Springer

86views Programming Languages» more ECOOP 2004»

Functional Objects

14 years 2 months ago

Functional Objects

Download www.ccs.neu.edu

Matthias Felleisen

claim paper

Read More »

25

ICFP
2000
ACM

102views Programming Languages» more ICFP 2000»

The functional guts of the Kleisli query system

14 years 1 months ago

The functional guts of the Kleisli query system

Download www.comp.nus.edu.sg

Limsoon Wong

claim paper

Read More »

24

ESOP
2006
Springer

113views Programming Languages» more ESOP 2006»

Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions

14 years 13 days ago

Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions

Download research.microsoft.com

Sumit Gulwani, Ashish Tiwari

claim paper

Read More »

24

ICALP
2000
Springer

68views Programming Languages» more ICALP 2000»

Dispersing Hash Functions

14 years 11 days ago

Dispersing Hash Functions

Download www.it-c.dk

Rasmus Pagh

claim paper

Read More »

« Prev « First page 32 / 1173 Last » Next »