Sciweavers

8132 search results - page 24 / 1627

» Dependability, Abstraction, and Programming

169

CEFP
2007
Springer

155views Programming Languages» more CEFP 2007»

Abstract lambda-Calculus Machines

16 years 1 months ago

Abstract lambda-Calculus Machines

Download www.informatik.uni-kiel.de

Werner E. Kluge

claim paper

Read More »

147

ECOOP
2007
Springer

87views Programming Languages» more ECOOP 2007»

A Higher Abstraction Level Using First-Class Inheritance Relations

16 years 1 months ago

A Higher Abstraction Level Using First-Class Inheritance Relations

Download people.cs.kuleuven.be

Marko van Dooren, Eric Steegmans

claim paper

Read More »

178

ESOP
2007
Springer

122views Programming Languages» more ESOP 2007»

A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract)

16 years 1 months ago

A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract)

Download www.doc.ic.ac.uk

Adrian Francalanza, Matthew Hennessy

claim paper

Read More »

167

PADL
2007
Springer

156views Programming Languages» more PADL 2007»

ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement

16 years 1 months ago

ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement

Download www7.in.tum.de

Andreas Podelski, Andrey Rybalchenko

claim paper

Read More »

144

Voted

PLDI
2006
ACM

90views Programming Languages» more PLDI 2006»

Combining abstract interpreters

16 years 1 months ago

Combining abstract interpreters

Download research.microsoft.com

Sumit Gulwani, Ashish Tiwari

claim paper

Read More »

« Prev « First page 24 / 1627 Last » Next »