Sound and Soundness Practical Total Functional Data-Flow Programming Baltasar Trancón y Widemann12 1

Source URL: functional-art.org

• Software engineering
• Computing
• Theoretical computer science
• Programming paradigms
• Logic in computer science
• Formal methods
• Notation
• Programming language
• Semantics
• Declarative programming
• Functional programming
• Widemann

On Completeness and Soundness in Interactive Proof Systems Martin Furer, Computer Science Dept., Pennsylvania state Univ., University Park, PAOded Goldreich, Computer Science Dept., Technion, Haifa, Israel. Yisha

Source URL: www.wisdom.weizmann.ac.il

Big Types in Little Runtime Open-World Soundness and Collaborative Blame for Gradual Type Systems Jeremy G. Siek Ar tifact

Source URL: homes.soic.indiana.edu

Type Soundness Proofs with Definitional Interpreters Ar Ev

Source URL: lampwww.epfl.ch

Delegating RAM Computations with Adaptive Soundness and Privacy∗ Prabhanjan Ananth† Yu-Chi Chen‡

Source URL: eprint.iacr.org

GRADING U.S. STAMPS In late 2001, Professional Stamp Experts presented to the philatelic community a grading system for United States Postage Stamps. For the first time, all attributes of a stamp – centering, soundness

Source URL: www.gradingmatters.com

Soundness Preserving Approximation for TBox Reasoning in R Ren Yuan, Jeff Z. Pan and Yuting Zhao Dept. of Computing Science, University of Aberdeen King’s College, Aberdeen AB24 3FX, UK

Source URL: ceur-ws.org

Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, Towards Soundness Preserving Approximation for ABox Reasoning of OWL2 Yuan Ren, Jeff Z. Pan and Yuting Zhao Department of Com

Source URL: ceur-ws.org

A Mechanical Soundness Proof for Subtyping Over Recursive Types Timothy Jones David J. Pearce School of Engineering and Computer Science Victoria University of Wellington, New Zealand {tim,djp}@ecs.vuw.ac.nz

Source URL: homepages.ecs.vuw.ac.nz

Computational Soundness of Symbolic XOR in the Presence of Active Adversaries (Abstract) Hideki Sakurada1 , Yusuke Kawamoto∗,2 , and Masami Hagiya2 sakurada at theory.brl.ntt.co.jp, {y kwmt, hagiya} at is.s.u-tokyo.ac.

Source URL: www.cs.bham.ac.uk