In computer science, a programming language with a static type system is considered to have type soundness if a well-typed program cannot cause type errors. [Adrew K. Wright and Matthias Felleisen (June 18, 1992), "A Syntactic Approach to Type Soundness", Rice Technical Report TR91-160, Department of Computer Science, Rice University.]
ee also
* Type system
References
Wikimedia Foundation. 2010.
Type safety — In computer science, type safety is a property of some programming languages that is defined differently by different communities, but most definitions involve the use of a type system to prevent certain erroneous or undesirable program behavior… … Wikipedia
Intuitionistic type theory — Intuitionistic type theory, or constructive type theory, or Martin Löf type theory or just Type Theory is a logical system and a set theory based on the principles of mathematical constructivism. Intuitionistic type theory was introduced by Per… … Wikipedia
Logic — For other uses, see Logic (disambiguation). Philosophy … Wikipedia
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
Argument — This article is about the subject as it is studied in logic and philosophy. For other uses, see Argument (disambiguation). In philosophy and logic, an argument is an attempt to persuade someone of something, by giving reasons or evidence for… … Wikipedia
Natural deduction — In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the natural way of reasoning. This contrasts with the axiomatic systems which instead use… … Wikipedia
Competitive trail riding — (CTR) is an equestrian sport where riders cover a marked trail for a distance that is usually between 15 and 40 miles per day. Some rides are only one day long, others may run as long as three days. The goal of the competition is to demonstrate… … Wikipedia
List of philosophy topics (R-Z) — RRaRabad Rabbinic law Rabbinic theology Francois Rabelais François Rabelais race racetrack paradox racism Gustav Radbruch Janet Radcliffe Richards Sarvepalli Radhakrishnan radical Aristotelianism radical behaviourism radical feminism radical… … Wikipedia
Welsh Pony — Infobox Horse name= Welsh Pony status = DOM image caption= A Welsh Pony in a natural setting altname= Welsh Mountain Pony country= Wales features = Hardy, surefooted, intelligent. Refined with clean bone, with substance, stamina and soundness.… … Wikipedia
Equine conformation — [original research?] Parts of a horse Equine conformation evaluates the degree of correctness of a horse s bone structure, musculature, and its body proportions in relation to each other. Undesirable conformat … Wikipedia
