Search Sciweavers | Sciweavers

1821 search results - page 28 / 365

» Security-Aware Program Transformations

click to vote

LOPSTR
2001
Springer

152views Automated Reasoning» more LOPSTR 2001»

Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols

14 years 1 months ago

Download www.win.tue.nl

In this paper we deﬁne a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of prin...

Giorgio Delzanno, Sandro Etalle

claim paper

Read More »

click to vote

RTA
2001
Springer

91views Theoretical Computer Science» more RTA 2001»

Stratego: A Language for Program Transformation Based on Rewriting Strategies

14 years 1 months ago

Download www.cs.uu.nl

Eelco Visser

claim paper

Read More »

click to vote

AAECC
1999
Springer

109views Algorithms» more AAECC 1999»

A Fast Program Generator of Fast Fourier Transforms

14 years 1 months ago

Download www.mpi-inf.mpg.de

Michael Clausen, Meinard Müller

claim paper

Read More »

click to vote

FASE
1999
Springer

91views Software Engineering» more FASE 1999»

TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving

14 years 1 months ago

Download www.informatik.uni-bremen.de

Christoph Lüth, Haykal Tej, Kolyang, Bernd Kr...

claim paper

Read More »

click to vote

SAC
1996
ACM

120views Applied Computing» more SAC 1996»

Bootstrapping higher-order program transformers from interpreters

14 years 29 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers