About: Type safety

Property	Value
dbo:description	מונח במדעי המחשב (iw) property of a type system that prevents certain erroneous or undesirable program behaviours (en) Eigenschaft von Programmiersprachen (de) misura utilizzata da alcuni linguaggi di programmazione (it) belirli hatalı veya istenmeyen program davranışlarını önleyen bir tür sisteminin özelliği (tr) garanti inom ett programspråk (sv) typový systém zamezující některým chybám (cs) властивість мови програмування, яка характеризує безпеку та надійність у застосуванні її системи типів (uk) ایمنی نوع (fa) propiedad de un sistema de tipo que evita ciertos comportamientos de programa erróneos o indeseables (es)
dbo:wikiPageExternalLink	http://c2.com/cgi/wiki%3FTypeSafe http://www.cis.upenn.edu/~bcpierce/tapl/ http://citeseer.ist.psu.edu/wright92syntactic.html
dbo:wikiPageWikiLink	dbr:Standard_ML_of_New_Jersey dbr:Object_(computer_science) dbr:C_Sharp_(programming_language) dbr:Polymorphism_(computer_science) dbr:Subtyping dbr:Divisor dbr:Standard_ML dbr:Malloc dbr:Type_punning dbr:Pointer_(computer_programming) dbr:Type_system dbr:Type_theory dbr:Matthias_Felleisen dbr:Compile_time dbr:Device_driver dbr:C_Sharp_syntax dbr:Embedded_system dbr:Java_virtual_machine dbr:Design_by_contract dbr:Operator_(computer_programming) dbr:Abstract_data_type dbr:Denotational_semantics dbr:Value_(computer_science) dbc:Programming_language_topics dbr:Primitive_data_type dbr:Programming_language dbr:Rust_(programming_language) dbr:Data_type dbr:Logic_error dbr:Dependent_type dbr:C_(programming_language) dbr:Computer_science dbr:Pascal_(programming_language) dbr:Robin_Milner dbc:Type_theory dbr:Generic_programming dbr:Memory_safety dbr:Esoteric_language dbr:Class_(computer_programming) dbr:Common_Lisp dbr:Operational_semantics dbr:Foreign_function_interface dbr:C++11 dbr:Dangling_pointer dbr:Subject_reduction dbr:Semantics dbr:String_(computer_science) dbr:Generics_in_Java dbr:Library_(computer_science) dbr:Class_(computer_science) dbr:Interface_(computer_science) dbr:Buffer_overflow dbc:Articles_with_example_Pascal_code dbr:Garbage_collection_(computer_science) dbr:Expression_(computer_science) dbr:Alias_analysis dbr:Type_enforcement dbr:Dynamic_semantics dbr:Ada_programming_language dbr:Haskell_(programming_language) dbr:New_(C++) dbr:Structural_operational_semantics dbr:Barbara_Liskov dbr:Memory_allocation dbr:MLton dbr:Run_time_(program_lifecycle_phase) dbr:Object_oriented dbr:Dynamic_cast dbr:Reflection_(computer_science) dbr:Java_programming_language dbr:Expression_(programming) dbr:System_programming dbr:Static_semantics dbr:Template_(programming) dbr:Mythryl dbr:Read-eval-print_loop dbr:Wild_pointer dbr:Api dbr:C_Sharp_Syntax dbr:SPARK_programming_language dbr:Type_error dbr:Variable_(programming)
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Cite_web dbt:Main dbt:Reflist dbt:Cite_journal dbt:Wikibooks dbt:Type_systems dbt:Mono dbt:Discuss dbt:Short_description
dct:subject	dbc:Programming_language_topics dbc:Type_theory dbc:Articles_with_example_Pascal_code
rdfs:label	Type safety (en) سلامة الأنماط (ar) Ασφάλεια τύπων (el) Typsicherheit (de) Seguridad de tipos (es) Sûreté du typage (fr) Sicurezza rispetto ai tipi (it) Типобезопасность (ru) Typsäkerhet (sv) 型別安全 (zh)
owl:sameAs	freebase:Type safety yago-res:Type safety wikidata:Type safety dbpedia-it:Type safety dbpedia-de:Type safety dbpedia-fr:Type safety dbpedia-tr:Type safety dbpedia-zh:Type safety dbpedia-es:Type safety dbpedia-fa:Type safety dbpedia-ru:Type safety dbpedia-sv:Type safety dbpedia-el:Type safety dbpedia-ar:Type safety dbpedia-global:Type safety dbr:Type safety
prov:wasDerivedFrom	wikipedia-en:Type_safety?oldid=1233378619&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Type_safety
is dbo:knownFor of	dbr:Matthias_Felleisen
is dbo:wikiPageDisambiguates of	dbr:Type dbr:Safety_(disambiguation)
is dbo:wikiPageRedirects of	dbr:Comparison_of_programming_languages_(type_safety) dbr:Compile-time_type_safety dbr:Type-checked dbr:Type-safe dbr:Type-safety dbr:Type_safe dbr:Type_saftety dbr:Type_soundness dbr:Typesafety dbr:Unsafe_programming_language
is dbo:wikiPageWikiLink of	dbr:Common_Language_Runtime dbr:List_of_Microsoft_codenames dbr:Harbour_(programming_language) dbr:First-class_message dbr:Flow-sensitive_typing dbr:Whiley_(programming_language) dbr:Comparison_of_programming_languages_by_type_system dbr:Closure_(computer_programming) dbr:Evaluation_strategy dbr:Microsoft_SQL_Server dbr:List_of_operating_systems dbr:X10_(programming_language) dbr:.NET_Framework dbr:C_Sharp_(programming_language) dbr:JSON dbr:XML dbr:Cω dbr:ELKI dbr:Mask_(computing) dbr:Strong_and_weak_typing dbr:Aggregate_pattern dbr:Tilde dbr:Haskell dbr:Prolog dbr:Pointer_(computer_programming) dbr:Boolean_data_type dbr:Type_system dbr:Composite_pattern dbr:Java_version_history dbr:Strongtalk dbr:Device_driver_synthesis_and_verification dbr:Matthias_Felleisen dbr:Java_(programming_language) dbr:Reference_(computer_science) dbr:ILNumerics dbr:JoCaml dbr:Joins_(concurrency_library) dbr:Integer_overflow dbr:Algebraic_data_type dbr:PowerShell dbr:Libsigc++ dbr:Desktop_communication_protocol dbr:Typesafe dbr:Kernel_(operating_system) dbr:Programming_language dbr:Type dbr:Rust_(programming_language) dbr:MacroML dbr:Security_of_the_Java_software_platform dbr:Common_Intermediate_Language dbr:List_of_pioneers_in_computer_science dbr:Ceylon_(programming_language) dbr:Generic_programming dbr:Turing_Award dbr:Ada_(programming_language) dbr:.NET_Remoting dbr:Comparison_of_Java_and_C++ dbr:Delegate_(CLI) dbr:Singularity_(operating_system) dbr:Callback_(computer_programming) dbr:JX_(operating_system) dbr:Wildcard_(Java) dbr:POPLmark_challenge dbr:Prototype-based_programming dbr:Doom_(2016_video_game) dbr:A2_(operating_system) dbr:Variadic_function dbr:Uncontrolled_format_string dbr:Platform_Invocation_Services dbr:Value_restriction dbr:SPIN_(operating_system) dbr:Simply_typed_lambda_calculus dbr:Db4o dbr:Algorithmic_skeleton dbr:Forwarding_(object-oriented_programming) dbr:SPARK_(programming_language) dbr:Bottom_type dbr:Vx32 dbr:Typed_assembly_language dbr:EXtremeDB dbr:Language-based_security dbr:COLA_(software_architecture) dbr:Safety_(disambiguation) dbr:GSOAP dbr:Multi-stage_programming dbr:Verve_(operating_system) dbr:Buffer_over-read dbr:Behavioral_subtyping dbr:Gradual_typing dbr:Ur_(programming_language) dbr:Intersection_type dbr:Real_time_Java dbr:Comparison_of_programming_languages_(type_safety) dbr:Compile-time_type_safety dbr:Type-checked dbr:Type-safe dbr:Type-safety dbr:Type_safe dbr:Type_saftety dbr:Type_soundness dbr:Typesafety dbr:Unsafe_programming_language
is dbp:typing of	dbr:Whiley_(programming_language) dbr:Ceylon_(programming_language) dbr:Ada_(programming_language) dbr:SPARK_(programming_language) dbr:Gleam_(programming_language)
is foaf:primaryTopic of	wikipedia-en:Type_safety