About: Flow-sensitive typing   Goto Sponge  NotDistinct  Permalink

An Entity of Type : owl:Thing, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FFlow-sensitive_typing

In programming language theory, flow-sensitive typing (or flow typing) is a type system where the type of a variable is determined by the control flow. Classically in statically typed languages, a variable is bound to a single type during its lifetime. However, in flow-sensitive typing, a variable's type may change inside the body of a method, while traversing control flow statements. The type is determined by using type inference and type information is carried using algebraic data types.

AttributesValues
rdfs:label
  • Tipado sensitivo al flujo
  • Flow-sensitive typing
rdfs:comment
  • 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 (or flow typing) is a type system where the type of a variable is determined by the control flow. Classically in statically typed languages, a variable is bound to a single type during its lifetime. However, in flow-sensitive typing, a variable's type may change inside the body of a method, while traversing control flow statements. The type is determined by using type inference and type information is carried using algebraic data types.
sameAs
dct:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
foaf:isPrimaryTopicOf
prov:wasDerivedFrom
has 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 (or flow typing) is a type system where the type of a variable is determined by the control flow. Classically in statically typed languages, a variable is bound to a single type during its lifetime. However, in flow-sensitive typing, a variable's type may change inside the body of a method, while traversing control flow statements. The type is determined by using type inference and type information is carried using algebraic data types.
is Link from a Wikipage to another Wikipage of
is foaf:primaryTopic of
Faceted Search & Find service v1.17_git21 as of Mar 09 2019


Alternative Linked Data Documents: iSPARQL | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3230 as of Apr 1 2019, on Linux (x86_64-generic-linux-glibc25), Single-Server Edition (61 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2019 OpenLink Software