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

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

Namespace Prefixes

Prefix	IRI
dcterms	http://purl.org/dc/terms/
yago-res	http://yago-knowledge.org/resource/
dbo	http://dbpedia.org/ontology/
foaf	http://xmlns.com/foaf/0.1/
dbpedia-es	http://es.dbpedia.org/resource/
n8	https://global.dbpedia.org/id/
dbt	http://dbpedia.org/resource/Template:
rdfs	http://www.w3.org/2000/01/rdf-schema#
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
owl	http://www.w3.org/2002/07/owl#
wikipedia-en	http://en.wikipedia.org/wiki/
dbc	http://dbpedia.org/resource/Category:
prov	http://www.w3.org/ns/prov#
dbp	http://dbpedia.org/property/
xsdh	http://www.w3.org/2001/XMLSchema#
wikidata	http://www.wikidata.org/entity/
dbr	http://dbpedia.org/resource/

Statements

Subject Item

dbr:Flow-sensitive_typing

rdfs:label

Flow-sensitive typing Tipado sensitivo al flujo

rdfs:comment

In programming language theory, flow-sensitive typing (also called flow typing or occurrence typing) is a type system where the type of an expression depends on its position in the control flow. In statically typed languages, a type of an expression is determined by the types of the sub-expressions that compose it. However, in flow-sensitive typing, an expression's type may be updated to a more specific type if it follows an operation that validates its type. Validating operations can include type predicates, imperative updates, and control flow. En teoría de lenguaje de programación, tipado sensitivo al flujo es un sistema de tipos donde el tipo de una variable es determinado por el flujo de control. Clásicamente, en los lenguajes con tipado estático, una variable queda ligada a un tipo durante todo su tiempo de uso. En los sistemas de tipado sensible al flujo, el tipo de una variable puede cambiar dentro del cuerpo de un método, mientras atraviesa (o fluye a través de) las estructuras de control. El tipo se determina usando inferencia de tipos y la información de tipos fluye usando Tipo de dato algebraico.

dcterms:subject

dbc:Type_systems dbc:Type_theory dbc:Data_types dbc:Program_analysis

dbo:wikiPageID

49728689

dbo:wikiPageRevisionID

1124118933

dbo:wikiPageWikiLink

dbr:Scheme_(programming_language) dbr:C.A.R._Hoare dbr:Duck_typing dbr:Ceylon_(programming_language) dbc:Type_systems dbr:Control_flow dbr:Kotlin_(programming_language) dbr:TypeScript dbr:Type_conversion dbr:Dynamic_typing dbr:Pattern_matching dbc:Data_types dbc:Type_theory dbr:Nullable_types dbr:Type_signature dbr:Type_system dbr:Racket_(programming_language) dbr:C_Sharp_(programming_language) dbc:Program_analysis dbr:Static_typing dbr:Programming_language_theory dbr:Type_safety dbr:Facebook dbr:Whiley_(programming_language) dbr:Expression_(computer_science) dbr:Null_pointer dbr:Verbosity dbr:Algebraic_data_types dbr:Tagged_union

owl:sameAs

dbpedia-es:Tipado_sensitivo_al_flujo n8:2EBpZ yago-res:Flow-sensitive_typing wikidata:Q23656741

dbp:wikiPageUsesTemplate

dbt:Type_systems dbt:How dbt:Data_types

dbp:date

March 2020

dbp:title

The citation later is for the quote, flow sensitive typing doesn't seem to improve null-safety, a null-safe type system will. Possible confusion as these languages have nullable/non-nullable types, as checking null-safety through flow-sensitive typing generally equates to a null check without it

dbo:abstract

En teoría de lenguaje de programación, tipado sensitivo al flujo es un sistema de tipos donde el tipo de una variable es determinado por el flujo de control. Clásicamente, en los lenguajes con tipado estático, una variable queda ligada a un tipo durante todo su tiempo de uso. En los sistemas de tipado sensible al flujo, el tipo de una variable puede cambiar dentro del cuerpo de un método, mientras atraviesa (o fluye a través de) las estructuras de control. El tipo se determina usando inferencia de tipos y la información de tipos fluye usando Tipo de dato algebraico. In programming language theory, flow-sensitive typing (also called flow typing or occurrence typing) is a type system where the type of an expression depends on its position in the control flow. In statically typed languages, a type of an expression is determined by the types of the sub-expressions that compose it. However, in flow-sensitive typing, an expression's type may be updated to a more specific type if it follows an operation that validates its type. Validating operations can include type predicates, imperative updates, and control flow.

prov:wasDerivedFrom

wikipedia-en:Flow-sensitive_typing?oldid=1124118933&ns=0

dbo:wikiPageLength

10054

foaf:isPrimaryTopicOf

wikipedia-en:Flow-sensitive_typing