Search Sciweavers | Sciweavers

31387 search results - page 212 / 6278

» Abstracts

184

click to vote

LICS
1997
IEEE

77views Automated Reasoning» more LICS 1997»

Full Abstraction for Functional Languages with Control

15 years 10 months ago

Download www.cs.bath.ac.uk

traction for Functional Languages with Control James Laird LFCS, Department of Computer Science University of Edinburgh This paper considers the consequences of relaxing the brack...

James Laird

claim paper

Read More »

152

click to vote

LICS
1997
IEEE

101views Automated Reasoning» more LICS 1997»

A Logic for Reasoning with Higher-Order Abstract Syntax

15 years 10 months ago

Download www.lix.polytechnique.fr

Raymond McDowell, Dale Miller

claim paper

Read More »

128

click to vote

POPL
1997
ACM

104views Programming Languages» more POPL 1997»

Types as Abstract Interpretations

15 years 10 months ago

Download www.di.ens.fr

Patrick Cousot

claim paper

Read More »

123

click to vote

CAV
1997
Springer

103views Hardware» more CAV 1997»

Construction of Abstract State Graphs with PVS

15 years 10 months ago

Download www.cs.ucla.edu

Susanne Graf, Hassen Saïdi

claim paper

Read More »

123

click to vote

ICCD
1996
IEEE

116views Hardware» more ICCD 1996»

Behavioral Verification of an ATM Switch Fabric using Implicit Abstract State Enumeration

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers