Sciweavers

31387 search results - page 207 / 6278

» Abstracting abstract machines

113

CSL
2004
Springer

95views Automated Reasoning» more CSL 2004»

Proving Abstract Non-interference

15 years 12 months ago

Proving Abstract Non-interference

Download profs.sci.univr.it

Roberto Giacobazzi, Isabella Mastroeni

claim paper

Read More »

100

ECAI
2004
Springer

97views Artificial Intelligence» more ECAI 2004»

Contextualized Abstraction for Assertion-Level Theorem Proving

15 years 12 months ago

Contextualized Abstraction for Assertion-Level Theorem Proving

Download www.ict.swin.edu.au

Quoc Bao Vo

claim paper

Read More »

150

ESOP
2004
Springer

97views Programming Languages» more ESOP 2004»

Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors

15 years 12 months ago

Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors

Download www.di.ens.fr

Antoine Miné

claim paper

Read More »

147

ESOP
2004
Springer

120views Programming Languages» more ESOP 2004»

Modal Proofs as Distributed Programs (Extended Abstract)

15 years 12 months ago

Modal Proofs as Distributed Programs (Extended Abstract)

Download www.cs.princeton.edu

Limin Jia, David Walker

claim paper

Read More »

176

ESOP
2004
Springer

152views Programming Languages» more ESOP 2004»

Resources, Concurrency, and Local Reasoning (Abstract)

15 years 12 months ago

Resources, Concurrency, and Local Reasoning (Abstract)

Download www.eecs.qmul.ac.uk

t) Peter W. O’Hearn Queen Mary, University of London In the 1960s Dijkstra suggested that, in order to limit the complexity of potential process interactions, concurrent programs...

Peter W. O'Hearn

claim paper

Read More »

« Prev « First page 207 / 6278 Last » Next »