Search Sciweavers | Sciweavers

27

ICLP
1998
Springer

100views Automated Reasoning» more ICLP 1998»

Program Specialisation and Abstract Interpretation Reconciled

14 years 2 months ago

Interpretation Reconciled Michael Leuschel1 Department of Computer Science, K.U. Leuven, Belgium DIKU, University of Copenhagen, Denmark fy the relationship between abstract inter...

Michael Leuschel

claim paper

Read More »

47

click to vote

FSTTCS
2010
Springer

193views Software Engineering» more FSTTCS 2010»

Computationally Sound Abstraction and Verification of Secure Multi-Party Computations

13 years 7 months ago

Download www.infsec.cs.uni-saarland.de

ionally Sound Abstraction and Verification of Secure Multi-Party Computations Michael Backes Saarland University MPI-SWS Matteo Maffei Saarland University Esfandiar Mohammadi Saarl...

Michael Backes, Matteo Maffei, Esfandiar Mohammadi

claim paper

Read More »

38

click to vote

IJFCS
2007

98views more IJFCS 2007»

Modular Ranking Abstraction

13 years 9 months ago

Download cs.nyu.edu

Ranking Abstraction Ittai Balaban Computer Science Department, New York University, 251 Mercer St., New York, New York 10012, United States and Amir Pnueli Computer Science Departm...

Ittai Balaban, Amir Pnueli, Lenore D. Zuck

claim paper

Read More »

29

click to vote

DAC
2004
ACM

150views Computer Architecture» more DAC 2004»

Abstraction refinement by controllability and cooperativeness analysis

14 years 10 months ago

Download research.synopsys.com

ion Refinement by Controllability and Cooperativeness Analysis Freddy Y.C. Mang and Pei-Hsin Ho Advanced Technology Group, Synopsys, Inc. {fmang, pho}@synopsys.com nt a new abstrac...

Freddy Y. C. Mang, Pei-Hsin Ho

claim paper

Read More »

81

click to vote

PLDI
2009
ACM

113views Programming Languages» more PLDI 2009»

Program verification using templates over predicate abstraction

14 years 10 months ago