{ "items" : [
    { "id" : "http://dbpedia.org/resource/Flow-sensitive_typing"
      "properties" : {
        "http://www.w3.org/2002/07/owl#sameAs" : [ "http://es.dbpedia.org/resource/Tipado_sensitivo_al_flujo" ] } },

    { "id" : "http://es.wikipedia.org/wiki/Tipado_sensitivo_al_flujo"
      "properties" : {
        "http://xmlns.com/foaf/0.1/primaryTopic" : [ "http://es.dbpedia.org/resource/Tipado_sensitivo_al_flujo" ] } },

    { "id" : "http://es.dbpedia.org/resource/Tipado_sensitivo_al_flujo"
      "properties" : {
        "http://www.w3.org/2000/01/rdf-schema#label" : [ "Tipado sensitivo al flujo" ] ,
        "http://www.w3.org/2000/01/rdf-schema#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." ] ,
        "http://purl.org/dc/terms/subject" : [ "http://es.dbpedia.org/resource/Categoría:Tipos_de_datos",
          "http://es.dbpedia.org/resource/Categoría:Teoría_de_tipos",
          "http://es.dbpedia.org/resource/Categoría:Análisis_de_software" ] ,
        "http://xmlns.com/foaf/0.1/isPrimaryTopicOf" : [ "http://es.wikipedia.org/wiki/Tipado_sensitivo_al_flujo" ] ,
        "http://dbpedia.org/ontology/wikiPageID" : [ 7355864 ] ,
        "http://dbpedia.org/ontology/wikiPageRevisionID" : [ 125755279 ] ,
        "http://dbpedia.org/ontology/wikiPageLength" : [ 4964 ] ,
        "http://www.w3.org/ns/prov#wasDerivedFrom" : [ "http://es.wikipedia.org/wiki/Tipado_sensitivo_al_flujo?oldid=125755279&ns=0" ] ,
        "http://dbpedia.org/ontology/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."] } } }
