Program specialization or partial evaluation is a proven program optimization technique dating back to the early seventies. It is based on aggressive constant propagation and function unfolding, and is usually employed as an extra tool in the program compilation process. Partial evaluation works remarkably well when the program input can be factored in static, less variable, and dynamic, often ...

Soundness Jasmin Christian Blanchette, Andrei Popescu, and Dmitriy Traytel

The abstraction of cryptographic operations by term algebras, called Dolev-Yao models or symbolic cryptography, is essential in almost all tool-supported methods for proving security protocols. Recently significant progress was made – using two conceptually different approaches – in proving that Dolev-Yao models can be sound with respect to actual cryptographic realizations and security definit...

The soundness of the edge round hole made in aluminum fl at plate is confi rmed by using second harmonic Lamb wave. To efficiently generate waves S0 mode and detect waves, from velocity dispersion curve we created a probe wedge that has an appropriate critical angle. As result experiment, increases because peripheral part plastically deformed making hole. On other hand, case scratched, scattere...

This paper shows a new approach to check the soundness of workflow graphs. The algorithm is complete and allows a very good localization of the structural conflicts, i.e. local deadlocks and lack of synchronizations. The evaluation shows a linear processing time in the average and an up to quadratic in the worst case.