Search Sciweavers | Sciweavers

31387 search results - page 102 / 6278

» Abstracts

254

click to vote

POPL
2005
ACM

106views Programming Languages» more POPL 2005»

A bisimulation for type abstraction and recursion

16 years 6 months ago

Download www.kb.ecei.tohoku.ac.jp

traction and Recursion Eijiro Sumii Benjamin C. Pierce University of Pennsylvania

Eijiro Sumii, Benjamin C. Pierce

claim paper

Read More »

244

click to vote

POPL
2002
ACM

135views Programming Languages» more POPL 2002»

Systematic design of program transformation frameworks by abstract interpretation

16 years 6 months ago

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

claim paper

Read More »

231

click to vote

POPL
2001
ACM

120views Programming Languages» more POPL 2001»

Modules, abstract types, and distributed versioning

16 years 6 months ago

Download www.cl.cam.ac.uk

Peter Sewell

claim paper

Read More »

151

click to vote

RECOMB
2007
Springer

106views Computational Biology» more RECOMB 2007»

Inferring a Duplication, Speciation and Loss History from a Gene Tree (Extended Abstract)

16 years 6 months ago

Download www.cecm.sfu.ca

Cedric Chauve, Jean-Philippe Doyon, Nadia El-Mabro...

claim paper

Read More »

147

click to vote

CADE
2004
Springer

114views Logical Reasoning» more CADE 2004»

Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains: Extended Abstract

16 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers