Search Sciweavers | Sciweavers

13734 search results - page 28 / 2747

» Abstractions of data types

click to vote

LOPSTR
2005
Springer

131views Automated Reasoning» more LOPSTR 2005»

Converting One Type-Based Abstract Domain to Another

14 years 2 months ago

Download clip.dia.fi.upm.es

John P. Gallagher, Germán Puebla, Elvira Al...

claim paper

Read More »

click to vote

ASIAN
2004
Springer

112views Algorithms» more ASIAN 2004»

Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction

14 years 2 months ago

Download www.clip.dia.fi.upm.es

Daniel Cabeza, Manuel V. Hermenegildo, James Lipto...

claim paper

Read More »

click to vote

VMCAI
2004
Springer

95views Software Engineering» more VMCAI 2004»

Security Types Preserving Compilation: (Extended Abstract)

14 years 2 months ago

Download www-sop.inria.fr

Gilles Barthe, Amitabh Basu, Tamara Rezk

claim paper

Read More »

click to vote

FLOPS
2001
Springer

79views Automated Reasoning» more FLOPS 2001»

A Simple Take on Typed Abstract Syntax in Haskell-like Languages

14 years 1 months ago

Download www.brics.dk

Olivier Danvy, Morten Rhiger

claim paper

Read More »

click to vote

LOPSTR
2001
Springer

116views Automated Reasoning» more LOPSTR 2001»

Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers