Sciweavers

8132 search results - page 22 / 1627

» Dependability, Abstraction, and Programming

75

ESOP
2004
Springer

120views Programming Languages» more ESOP 2004»

Modal Proofs as Distributed Programs (Extended Abstract)

15 years 3 months ago

Modal Proofs as Distributed Programs (Extended Abstract)

Download www.cs.princeton.edu

Limin Jia, David Walker

claim paper

Read More »

92

ESOP
2001
Springer

145views Programming Languages» more ESOP 2001»

Backwards Abstract Interpretation of Probabilistic Programs

15 years 2 months ago

Backwards Abstract Interpretation of Probabilistic Programs

Download www-verimag.imag.fr

David Monniaux

claim paper

Read More »

77

FPCA
1995

132views Programming Languages» more FPCA 1995»

Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation

15 years 1 months ago

Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

claim paper

Read More »

117

POPL
2008
ACM

92views Programming Languages» more POPL 2008»

Focusing and higher-order abstract syntax

15 years 10 months ago

Focusing and higher-order abstract syntax

Download www.cs.cmu.edu

Noam Zeilberger

claim paper

Read More »

140

POPL
2001
ACM

120views Programming Languages» more POPL 2001»

Modules, abstract types, and distributed versioning

15 years 10 months ago

Modules, abstract types, and distributed versioning

Download www.cl.cam.ac.uk

Peter Sewell

claim paper

Read More »

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