This HTML5 document contains 287 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n20http://c2.com/cgi/
dbpedia-eshttp://es.dbpedia.org/resource/
n15http://www.cis.upenn.edu/~bcpierce/tapl/
n21https://global.dbpedia.org/id/
dbpedia-trhttp://tr.dbpedia.org/resource/
yagohttp://dbpedia.org/class/yago/
dbpedia-ruhttp://ru.dbpedia.org/resource/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
dbpedia-svhttp://sv.dbpedia.org/resource/
freebasehttp://rdf.freebase.com/ns/
dbpedia-elhttp://el.dbpedia.org/resource/
dbpedia-fahttp://fa.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
dbpedia-arhttp://ar.dbpedia.org/resource/
owlhttp://www.w3.org/2002/07/owl#
dbpedia-ithttp://it.dbpedia.org/resource/
dbpedia-zhhttp://zh.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbpedia-frhttp://fr.dbpedia.org/resource/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/
n24http://citeseer.ist.psu.edu/

Statements

Subject Item
dbr:Behavioral_subtyping
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:PowerShell
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Prolog
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Boolean_data_type
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Db4o
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Device_driver_synthesis_and_verification
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Algorithmic_skeleton
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:List_of_Microsoft_codenames
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:List_of_pioneers_in_computer_science
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Uncontrolled_format_string
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Ur_(programming_language)
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Value_restriction
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Verve_(operating_system)
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Desktop_communication_protocol
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Integer_overflow
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Intersection_type
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:List_of_operating_systems
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:.NET_Framework
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:.NET_Remoting
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Common_Language_Runtime
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Comparison_of_Java_and_C++
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Comparison_of_programming_languages_(type_safety)
dbo:wikiPageWikiLink
dbr:Type_safety
dbo:wikiPageRedirects
dbr:Type_safety
Subject Item
dbr:Matthias_Felleisen
dbo:wikiPageWikiLink
dbr:Type_safety
dbo:knownFor
dbr:Type_safety
Subject Item
dbr:Rust_(programming_language)
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:SPARK_(programming_language)
dbo:wikiPageWikiLink
dbr:Type_safety
dbp:typing
dbr:Type_safety
Subject Item
dbr:SPIN_(operating_system)
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Generic_programming
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Wildcard_(Java)
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:GSOAP
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Bottom_type
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Libsigc++
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:MacroML
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Callback_(computer_programming)
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Simply_typed_lambda_calculus
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Singularity_(operating_system)
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Strongtalk
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Closure_(computer_programming)
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Common_Intermediate_Language
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Comparison_of_programming_languages_by_type_system
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Composite_pattern
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Delegate_(CLI)
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Kernel_(operating_system)
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Platform_Invocation_Services
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Pointer_(computer_programming)
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Typed_assembly_language
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:COLA_(software_architecture)
dbo:wikiPageWikiLink
dbr:Type_safety
dbp:typing
dbr:Type_safety
Subject Item
dbr:C_Sharp_(programming_language)
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Aggregate_pattern
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Tilde
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Turing_Award
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Type
dbo:wikiPageWikiLink
dbr:Type_safety
dbo:wikiPageDisambiguates
dbr:Type_safety
Subject Item
dbr:Type_system
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Whiley_(programming_language)
dbo:wikiPageWikiLink
dbr:Type_safety
dbp:typing
dbr:Type_safety
Subject Item
dbr:Joins_(concurrency_library)
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Language-based_security
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:A2_(operating_system)
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Ada_(programming_language)
dbo:wikiPageWikiLink
dbr:Type_safety
dbp:typing
dbr:Type_safety
Subject Item
dbr:Algebraic_data_type
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Cω
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:ELKI
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:EXtremeDB
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:POPLmark_challenge
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Flow-sensitive_typing
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Forwarding_(object-oriented_programming)
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Gradual_typing
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Prototype-based_programming
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Reference_(computer_science)
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Harbour_(programming_language)
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Haskell
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:JSON
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:JX_(operating_system)
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Java_(programming_language)
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Java_version_history
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Ceylon_(programming_language)
dbo:wikiPageWikiLink
dbr:Type_safety
dbp:typing
dbr:Type_safety
Subject Item
dbr:JoCaml
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Real_time_Java
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Doom_(2016_video_game)
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Buffer_over-read
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:ILNumerics
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Microsoft_SQL_Server
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:X10_(programming_language)
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:XML
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Mask_(computing)
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Safety_(disambiguation)
dbo:wikiPageWikiLink
dbr:Type_safety
dbo:wikiPageDisambiguates
dbr:Type_safety
Subject Item
dbr:Type_safety
rdf:type
yago:LinguisticRelation113797142 yago:Message106598915 yago:WikicatProgrammingLanguageTopics yago:Accomplishment100035189 yago:PsychologicalFeature100023100 yago:GrammaticalRelation113796779 yago:Subject106599788 yago:Act100030358 yago:Feat100036762 yago:Action100037396 yago:YagoPermanentlyLocatedEntity yago:Abstraction100002137 yago:Event100029378 yago:Communication100033020 yago:Paradigm113804375 yago:WikicatComputerSecurityExploits yago:Inflection113803782 yago:Relation100031921 yago:WikicatProgrammingParadigms
rdfs:label
型別安全 Typsicherheit سلامة الأنماط Seguridad de tipos Sûreté du typage Typsäkerhet Sicurezza rispetto ai tipi Type safety Ασφάλεια τύπων Типобезопасность
rdfs:comment
سلامة الأنماط أو سلامة التنميط (بالإنجليزية: type safety)‏ هي مصطلح في علم الحاسوب يستخدم للتعبير عن المدى الذي تنهى فيه لغة برمجة ما عن أخطاء الأنماط أو تمنعها. الخطأ في النمط هو خلل أو سلوك غير مرغوب فيه بالبرنامج يسببه التضارب ما بين أنماط البيانات المختلفة. In informatica la type safety (sicurezza rispetto ai tipi) è la misura con cui un linguaggio di programmazione previene o avvisa rispetto agli errori di tipo. 在電腦科學中,一部分程式語言具備型別安全(中國大陸用語習慣稱型別為类型;稱資料為数据)的性質。這個術語在不同的社群中有不同的定義,特別是正規的型別理論上的定義遠遠強過大多數的程式員的理解,但對於使用型別系統的認知,皆旨在避免必然的錯誤形式,和不良的程式行為(稱為型別錯誤)。 类型错误(type error)是错误或不期望的程序行为,由不同数据类型的差别所引起,适用于程序的常量、变量、方法(函数),如把整型(int)当作了浮点型(float)。 型別安全可以靜態方式實施,及早在編譯時期就捕捉到潛藏的錯誤;或者以動態方式,在執行時期關聯型別的資訊,並在必要時檢測即將發生的錯誤。型別安全是程式語言的性質,而不是程式所自有的。例如,有可能以型別不安全的語言,編寫出型別安全的程式。在此是以程式語言為主,而不討論以個人能力維護的型別安全。 某個行為之所以會被程式語言歸類為型別錯誤,通常是因為試圖對不適當型別的值進行運算。其分類的基本原則是:部分語言設計者和程式員的看法認為,如果所有運算不引起程式瓦解、安全上的瑕疵、或其它明顯故障,即為合理的,而不視之為一個錯誤;其他人則認為所有違背程式員意圖的,就是錯誤的,而且應該標上「不安全」。在靜態型別系統中,型別安全通常包含一個保證,所有最終的值都是合理的靜態型別成員(比子型別和多態性所要求的還要更加精確細微)。 La sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. Typsäkerhet är en garanti inom ett programspråk som förhindrar eller omöjliggör typfel. För att åstadkomma en sådan garanti behöver programspråket ett typsystem samt ett typkollsprogram (en: type checker) som kan avgöra om ett visst program är typsäkert. En informática, la seguridad de tipos es la medida en que un lenguaje de programación disminuye o previene los errores de tipo . Un error de tipo es un comportamiento de programa erróneo o indeseable causado por una discrepancia entre diferentes tipos de datos para las constantes, variables y métodos (funciones) del programa, por ejemplo, tratar un entero ( int ) como un número de punto flotante ( float ). La seguridad de tipos a veces se considera alternativamente como una propiedad de un programa de ordenador en vez de una propiedad del lenguaje con el que está escrito ese programa; es decir, algunos lenguajes tienen funciones de seguridad de tipos que pueden ser evitadas por programadores que utilizan prácticas que presentan una seguridad de tipos deficiente. La definición formal de la Στην Επιστήμη των Υπολογιστών,η ασφάλεια τύπων είναι η έκταση στην οποία μία γλώσσα προγραμματισμού αποθαρρύνει ή αποτρέπει τα σφάλματα τύπων. Ένα σφάλμα τύπων είναι μία λανθασμένη ή μη επιθυμητή συμπεριφορά προγράμματος που προκαλείται από την ασυμφωνία μεταξύ διαφορετικών τύπων δεδομένων. Η ασφάλεια τύπων εναλλακτικά μπορεί να θεωρηθεί ως ιδιότητα ενός προγράμματος παρά ως ιδιότητα της γλώσσας στην οποία στην οποία το πρόγραμμα είναι γραμμένο: αυτό σημαίνει ότι μερικές γλώσσες έχουν ασφαλείς διευκολύνσεις που μπορούν να χρησιμοποιηθούν από όσους προγραμματιστές ακολουθούν πρακτικές οι οποίες χαρακτηρίζονται από χαμηλή ασφάλεια τύπων. Ο τυπικός τυποθεωρητικός ορισμός της ασφάλειας τύπων είναι ισχυρότερος από αυτόν που είναι κατανοητός από τους περισσότερους προγραμματιστές. In computer science, type safety and type soundness are the extent to which a programming language discourages or prevents type errors. Type safety is sometimes alternatively considered to be a property of facilities of a computer language; that is, some facilities are type-safe and their usage will not result in type errors, while other facilities in the same language may be type-unsafe and a program using them may encounter type errors. The behaviors classified as type errors by a given programming language are usually those that result from attempts to perform operations on values that are not of the appropriate data type, e.g., adding a string to an integer when there's no definition on how to handle this case. This classification is partly based on opinion. Типобезопасность (англ. type safety) — свойство языка программирования, характеризующее безопасность и надёжность в применении его системы типов. Система типов называется безопасной (англ. safe) или надёжной (англ. sound), если в программах, прошедших проверку согласования типов (англ. well-typed programs или well-formed programs), исключена возможность возникновения ошибок согласования типов во время выполнения. Typsicherheit ist ein Begriff aus der Informatik, speziell aus dem Bereich Programmiersprachen. Er bezeichnet den Zustand (einer Programmausführung), bei dem die Datentypen gemäß ihren Definitionen in der benutzten Programmiersprache verwendet werden und keine Typverletzungen auftreten.
dcterms:subject
dbc:Programming_language_topics dbc:Type_theory dbc:Articles_with_example_Pascal_code
dbo:wikiPageID
602650
dbo:wikiPageRevisionID
1111463914
dbo:wikiPageWikiLink
dbr:Subtyping dbr:Memory_allocation dbr:Embedded_system dbr:Subject_reduction dbr:Device_driver dbr:Dynamic_semantics dbr:Class_(computer_programming) dbr:Data_type dbr:C_Sharp_(programming_language) dbr:Standard_ML dbr:C_Sharp_syntax dbr:Standard_ML_of_New_Jersey dbr:Operational_semantics dbr:Variable_(programming) dbr:Type_error dbr:MLton dbr:Interface_(computer_science) dbr:Foreign_function_interface dbr:Dynamic_cast dbr:Semantics dbr:Type_enforcement dbr:System_programming dbr:C_(programming_language) dbr:Value_(computer_science) dbr:Common_Lisp dbr:Generic_programming dbr:Java_virtual_machine dbr:Api dbr:Ada_programming_language dbr:Polymorphism_(computer_science) dbr:Generics_in_Java dbr:Library_(computer_science) dbc:Programming_language_topics dbc:Type_theory dbr:Object_(computer_science) dbc:Articles_with_example_Pascal_code dbr:Divisor dbr:Run_time_(program_lifecycle_phase) dbr:Template_(programming) dbr:Wild_pointer dbr:Esoteric_language dbr:Alias_analysis dbr:String_(computer_science) dbr:Logic_error dbr:Structural_operational_semantics dbr:Memory_safety dbr:Garbage_collection_(computer_science) dbr:Matthias_Felleisen dbr:Static_semantics dbr:Barbara_Liskov dbr:Object_oriented dbr:Pascal_(programming_language) dbr:Haskell_(programming_language) dbr:Expression_(programming) dbr:SPARK_programming_language dbr:Malloc dbr:C++11 dbr:Denotational_semantics dbr:Robin_Milner dbr:Read-eval-print_loop dbr:Rust_(programming_language) dbr:Mythryl dbr:Compile_time dbr:Reflection_(computer_science) dbr:Operator_(computer_programming) dbr:Computer_science dbr:Dependent_type dbr:Pointer_(computer_programming) dbr:Abstract_data_type dbr:Programming_language dbr:C_Sharp_Syntax dbr:Java_programming_language dbr:Buffer_overflow dbr:Expression_(computer_science) dbr:Dangling_pointer dbr:Primitive_data_type dbr:Class_(computer_science) dbr:Design_by_contract dbr:New_(C++) dbr:Type_punning dbr:Type_system dbr:Type_theory
dbo:wikiPageExternalLink
n15: n20:wiki%3FTypeSafe n24:wright92syntactic.html
owl:sameAs
wikidata:Q736866 dbpedia-it:Sicurezza_rispetto_ai_tipi dbpedia-fr:Sûreté_du_typage yago-res:Type_safety freebase:m.02vhkt dbpedia-zh:型別安全 n21:4unrN dbpedia-es:Seguridad_de_tipos dbpedia-de:Typsicherheit dbpedia-ar:سلامة_الأنماط dbpedia-fa:ایمنی_نوع dbpedia-el:Ασφάλεια_τύπων dbpedia-sv:Typsäkerhet dbpedia-tr:Tip_güvenliği dbpedia-ru:Типобезопасность
dbp:wikiPageUsesTemplate
dbt:Cite_journal dbt:Cite_book dbt:Main dbt:Wikibooks dbt:Mono dbt:Discuss dbt:Reflist dbt:Type_systems dbt:Cite_web
dbo:abstract
سلامة الأنماط أو سلامة التنميط (بالإنجليزية: type safety)‏ هي مصطلح في علم الحاسوب يستخدم للتعبير عن المدى الذي تنهى فيه لغة برمجة ما عن أخطاء الأنماط أو تمنعها. الخطأ في النمط هو خلل أو سلوك غير مرغوب فيه بالبرنامج يسببه التضارب ما بين أنماط البيانات المختلفة. 在電腦科學中,一部分程式語言具備型別安全(中國大陸用語習慣稱型別為类型;稱資料為数据)的性質。這個術語在不同的社群中有不同的定義,特別是正規的型別理論上的定義遠遠強過大多數的程式員的理解,但對於使用型別系統的認知,皆旨在避免必然的錯誤形式,和不良的程式行為(稱為型別錯誤)。 类型错误(type error)是错误或不期望的程序行为,由不同数据类型的差别所引起,适用于程序的常量、变量、方法(函数),如把整型(int)当作了浮点型(float)。 型別安全可以靜態方式實施,及早在編譯時期就捕捉到潛藏的錯誤;或者以動態方式,在執行時期關聯型別的資訊,並在必要時檢測即將發生的錯誤。型別安全是程式語言的性質,而不是程式所自有的。例如,有可能以型別不安全的語言,編寫出型別安全的程式。在此是以程式語言為主,而不討論以個人能力維護的型別安全。 某個行為之所以會被程式語言歸類為型別錯誤,通常是因為試圖對不適當型別的值進行運算。其分類的基本原則是:部分語言設計者和程式員的看法認為,如果所有運算不引起程式瓦解、安全上的瑕疵、或其它明顯故障,即為合理的,而不視之為一個錯誤;其他人則認為所有違背程式員意圖的,就是錯誤的,而且應該標上「不安全」。在靜態型別系統中,型別安全通常包含一個保證,所有最終的值都是合理的靜態型別成員(比子型別和多態性所要求的還要更加精確細微)。 型別安全近似於所謂的記憶體安全(就是限制從記憶體的某處,將任意的位元組合複製到另一處的能力)。例如,某個語言的實作具有若干型別 ,假如存在若干適當長度的位元,且其不為 的正統成員。若該語言允許把那些資料複製到 型別的變數,那個語言就不是型別安全的,因為這些運算可將非 型別的值指派給該變數。反過來說,若該語言型別不安全的程度,最高只到允許將任意整數用作為指標,顯然它就不是記憶體安全的。 大部分的靜態型別語言,都提供了一定程度的型別安全,而且其嚴格性更勝於記憶體的安全性。因其型別系統強迫程式員以適當的抽象資料型別定義來使用,即使對記憶體安全或任何可能的災難而言,並不需如此嚴格的要求。 Типобезопасность (англ. type safety) — свойство языка программирования, характеризующее безопасность и надёжность в применении его системы типов. Система типов называется безопасной (англ. safe) или надёжной (англ. sound), если в программах, прошедших проверку согласования типов (англ. well-typed programs или well-formed programs), исключена возможность возникновения ошибок согласования типов во время выполнения. Ошибка согласования типов или ошибка типизации (англ. type error) — несогласованность типов компонентов выражений в программе, например попытка использовать целое число в роли функции. Пропущенные ошибки согласования типов на этапе выполнения могут приводить к багам и даже крахам программ. Безопасность языка не является синонимом полного отсутствия багов, но, по меньшей мере, они становятся исследуемы в рамках семантики языка (формальной или неформальной). Надёжные системы типов также называют сильными (англ. strong), но трактовка этого термина часто смягчается, кроме того, его часто применяют к языкам, осуществляющим динамическую проверку согласования типов (сильная и слабая типизация). Иногда безопасность рассматривается как свойство конкретной программы, а не языка, на котором она написана — по той причине, что некоторые типобезопасные языки разрешают обойти или нарушить систему типов, если программист практикует скудную типобезопасность. Распространено мнение, что такие возможности на практике оказываются необходимостью, но это вымысел. Понятие о «безопасности программы» важно в том смысле, что реализация безопасного языка сама может быть небезопасной. Раскрутка компилятора решает эту проблему, обеспечивая языку безопасность не только в теории, но и на практике. Στην Επιστήμη των Υπολογιστών,η ασφάλεια τύπων είναι η έκταση στην οποία μία γλώσσα προγραμματισμού αποθαρρύνει ή αποτρέπει τα σφάλματα τύπων. Ένα σφάλμα τύπων είναι μία λανθασμένη ή μη επιθυμητή συμπεριφορά προγράμματος που προκαλείται από την ασυμφωνία μεταξύ διαφορετικών τύπων δεδομένων. Η ασφάλεια τύπων εναλλακτικά μπορεί να θεωρηθεί ως ιδιότητα ενός προγράμματος παρά ως ιδιότητα της γλώσσας στην οποία στην οποία το πρόγραμμα είναι γραμμένο: αυτό σημαίνει ότι μερικές γλώσσες έχουν ασφαλείς διευκολύνσεις που μπορούν να χρησιμοποιηθούν από όσους προγραμματιστές ακολουθούν πρακτικές οι οποίες χαρακτηρίζονται από χαμηλή ασφάλεια τύπων. Ο τυπικός τυποθεωρητικός ορισμός της ασφάλειας τύπων είναι ισχυρότερος από αυτόν που είναι κατανοητός από τους περισσότερους προγραμματιστές. Η μπορεί να είναι στατική, βρίσκοντας ενδεχόμενα λάθη κατά το , ή δυναμική, συνδέοντας πληροφορίες για τους τύπους, με τις τιμές στο ,και συμβουλεύοντας τους προγραμματιστές όπως χρειάζεται για τον εντοπισμό επικείμενων λαθών, ή συνδυασμό και των δύο. Οι συμπεριφορές που κατηγοριοποιούνται ως σφάλματα τύπων από μία δοσμένη γλώσσα προγραμματισμού είναι συνήθως αυτές που καταλήγουν από προσπάθειες να εφαρμοστούν ιδιότητες σε οι οποίες δεν είναι του κατάλληλου τύπου δεδομένων. Η κατηγοριοποίηση είναι εν μέρει βασισμένη στην προσωπική άποψη: μερικοί σχεδιαστές γλωσσών και προγραμματιστές υποστηρίζουν ότι κάθε λειτουργία που δεν οδηγεί σε βίαιο τερματισμό του προγράμματος, λάθη ασφάλειας ή άλλα προφανή λάθη, είναι νόμιμη και δεν χρειάζεται να θεωρηθεί ως λάθος, ενώ άλλοι θεωρούν κάθε παράβαση της σαφούς πρόθεσης του προγραμματιστή ως λανθασμένη και όχι "ασφαλή ως προς τους τύπους". Στο περιβάλλον των στατικών(κατά το χρόνο μεταγλώττισης) συστημάτων τύπων, η ασφάλεια τύπων συνήθως εμπλέκει(ανάμεσα και σε άλλα πράματα) μία εγγύηση ότι η ενδεχόμενη τιμή κάθε θα είναι ένα νόμιμο μέλος του στατικού τύπου της έκφρασης. Η ακριβής απαίτηση είναι πιο πολύ λεπτή από αυτό - δείτε για παράδειγμα τον και τον για πιθανές επιπλοκές. Η ασφάλεια τύπων είναι στενά συνδεδεμένη με την ,η οποία είναι ένας περιορισμός στην ικανότητα να αντιγραφούν αυθαίρετα bits από μία περιοχή μνήμης σε μία άλλη. Για παράδειγμα, σε μία υλοποίηση μίας γλώσσας που περιέχει έναν τύπο , ώστε κάποια ακολουθία από bits (κατάλληλου μήκους) να μην αναπαριστά ένα έγκυρο μέλος του ,αν η γλώσσα επιτρέπει δεδομένα να αντιγραφούν σε μία του τύπου , τότε δεν είναι ασφαλής ως προς τους τύπους διότι μία τέτοια λειτουργία μπορεί να αναθέσει μία μη τιμή σε αυτή την μεταβλητή. Αντίστροφα, εάν η γλώσσα δεν έχει ασφάλεια τύπων στο βαθμό που επιτρέπεται σε έναν αυθαίρετο ακέραιο να χρησιμοποιηθεί σαν , τότε είναι ξεκάθαρα μη ασφαλής ως προς τις προσβάσεις στη μνήμη. Οι πιο πολλές γλώσσες με στατικό σύστημα τύπων προσφέρουν ένα βαθμό ασφάλειας τύπων η οποία είναι αυστηρά ισχυρότερη από την ασφάλεια μνήμης, επειδή τα συστήματα τύπων καταστρατηγούν την κατάλληλη χρήση των που ορίζονται από προγραμματιστές,ακόμα και όταν αυτό δεν είναι τελείως απαραίτητο για ασφάλεια μνήμης ή για να εμποδιστούν οποιουδήποτε είδους καταστροφικά σφάλματα. La sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. Typsäkerhet är en garanti inom ett programspråk som förhindrar eller omöjliggör typfel. För att åstadkomma en sådan garanti behöver programspråket ett typsystem samt ett typkollsprogram (en: type checker) som kan avgöra om ett visst program är typsäkert. In computer science, type safety and type soundness are the extent to which a programming language discourages or prevents type errors. Type safety is sometimes alternatively considered to be a property of facilities of a computer language; that is, some facilities are type-safe and their usage will not result in type errors, while other facilities in the same language may be type-unsafe and a program using them may encounter type errors. The behaviors classified as type errors by a given programming language are usually those that result from attempts to perform operations on values that are not of the appropriate data type, e.g., adding a string to an integer when there's no definition on how to handle this case. This classification is partly based on opinion. Type enforcement can be static, catching potential errors at compile time, or dynamic, associating type information with values at run-time and consulting them as needed to detect imminent errors, or a combination of both. Dynamic type enforcement often allows programs to run that would be invalid under static enforcement. In the context of static (compile-time) type systems, type safety usually involves (among other things) a guarantee that the eventual value of any expression will be a legitimate member of that expression's static type. The precise requirement is more subtle than this — see, for example, subtyping and polymorphism for complications. Typsicherheit ist ein Begriff aus der Informatik, speziell aus dem Bereich Programmiersprachen. Er bezeichnet den Zustand (einer Programmausführung), bei dem die Datentypen gemäß ihren Definitionen in der benutzten Programmiersprache verwendet werden und keine Typverletzungen auftreten. In informatica la type safety (sicurezza rispetto ai tipi) è la misura con cui un linguaggio di programmazione previene o avvisa rispetto agli errori di tipo. En informática, la seguridad de tipos es la medida en que un lenguaje de programación disminuye o previene los errores de tipo . Un error de tipo es un comportamiento de programa erróneo o indeseable causado por una discrepancia entre diferentes tipos de datos para las constantes, variables y métodos (funciones) del programa, por ejemplo, tratar un entero ( int ) como un número de punto flotante ( float ). La seguridad de tipos a veces se considera alternativamente como una propiedad de un programa de ordenador en vez de una propiedad del lenguaje con el que está escrito ese programa; es decir, algunos lenguajes tienen funciones de seguridad de tipos que pueden ser evitadas por programadores que utilizan prácticas que presentan una seguridad de tipos deficiente. La definición formal de la teoría de tipos de seguridad de tipos es considerablemente más sólida de lo que entienden la mayoría de los programadores. La ejecución de tipos puede ser estática, detectando posibles errores en tiempo de compilación, o dinámica, asociando la información de tipos con valores en tiempo de ejecución y consultándolos según sea necesario para detectar errores inmediatos, o una combinación de ambos. Los comportamientos clasificados como errores de tipo por un lenguaje de programación dado son generalmente los que resultan de realizar intentos de operaciones con valores que no son del tipo de datos apropiado. Esta clasificación se basa en parte en opiniones; puede implicar que cualquier operación que no dé lugar a fallos del programa, fallas de seguridad u otras fallas obvias es legítima y no necesita ser considerada un error, o puede implicar que cualquier incumplimiento de la intención explícita del programador (como se comunica a través de anotaciones mecanografiadas) sea errónea y no "a prueba de tipos". En el contexto de los sistemas de tipos estáticos (en tiempo de compilación), la seguridad de tipos generalmente implica (entre otras cosas) una garantía de que el valor final de cualquier expresión será un miembro legítimo del tipo estático de esa expresión. El requisito preciso es más sutil que esto: consulte y polimorfismo. La seguridad de tipos está estrechamente relacionada con la , una restricción en la capacidad de copiar patrones de bits arbitrarios de una localización de memoria a otra. Por ejemplo, en una implementación de un lenguaje que tiene un tipo , de modo que alguna secuencia de bits (de la longitud apropiada) no representa un miembro legítimo de , si ese lenguaje permite que los datos se copien en una variable de tipo , entonces no tiene seguridad de tipos porque la operación podría asignar un valor que no sea de a esa variable. La mayoría de los lenguajes tipados estáticamente proporcionan un grado de seguridad de tipos que es estrictamente más fuerte que la seguridad de la memoria, porque sus sistemas de tipos imponen el uso adecuado de los tipos de datos abstractos definidos por los programadores, incluso cuando esto no es estrictamente necesario para la seguridad de la memoria o para la prevención de cualquier tipo de error catastrófico.
prov:wasDerivedFrom
wikipedia-en:Type_safety?oldid=1111463914&ns=0
dbo:wikiPageLength
28658
foaf:isPrimaryTopicOf
wikipedia-en:Type_safety
Subject Item
dbr:Typesafe
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Programming_language
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Evaluation_strategy
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:First-class_message
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Multi-stage_programming
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Strong_and_weak_typing
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Security_of_the_Java_software_platform
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Variadic_function
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Vx32
dbo:wikiPageWikiLink
dbr:Type_safety
Subject Item
dbr:Typesafety
dbo:wikiPageWikiLink
dbr:Type_safety
dbo:wikiPageRedirects
dbr:Type_safety
Subject Item
dbr:Unsafe_programming_language
dbo:wikiPageWikiLink
dbr:Type_safety
dbo:wikiPageRedirects
dbr:Type_safety
Subject Item
dbr:Compile-time_type_safety
dbo:wikiPageWikiLink
dbr:Type_safety
dbo:wikiPageRedirects
dbr:Type_safety
Subject Item
dbr:Type-checked
dbo:wikiPageWikiLink
dbr:Type_safety
dbo:wikiPageRedirects
dbr:Type_safety
Subject Item
dbr:Type-safe
dbo:wikiPageWikiLink
dbr:Type_safety
dbo:wikiPageRedirects
dbr:Type_safety
Subject Item
dbr:Type-safety
dbo:wikiPageWikiLink
dbr:Type_safety
dbo:wikiPageRedirects
dbr:Type_safety
Subject Item
dbr:Type_safe
dbo:wikiPageWikiLink
dbr:Type_safety
dbo:wikiPageRedirects
dbr:Type_safety
Subject Item
dbr:Type_saftety
dbo:wikiPageWikiLink
dbr:Type_safety
dbo:wikiPageRedirects
dbr:Type_safety
Subject Item
dbr:Type_soundness
dbo:wikiPageWikiLink
dbr:Type_safety
dbo:wikiPageRedirects
dbr:Type_safety
Subject Item
wikipedia-en:Type_safety
foaf:primaryTopic
dbr:Type_safety