About: language

Property	Value
rdfs:label	language
rdfs:subClassOf	http://dbpedia.org/class/yago/Language106282651
is rdf:type of	dbpedia:Petri_net dbpedia:Axiomatic_semantics dbpedia:Language_Of_Temporal_Ordering_Specification dbpedia:Sing_Sharp dbpedia:Spec_Sharp dbpedia:Action_semantics dbpedia:Maude_system dbpedia:Perfect_Developer dbpedia:Operational_semantics dbpedia:Assertion_definition_language dbpedia:OBJ dbpedia:Vienna_Development_Method dbpedia:Algebraic_semantics dbpedia:Larch_family dbpedia:Duration_calculus dbpedia:Program_specification dbpedia:Denotational_semantics dbpedia:Abstract_Machine_Notation dbpedia:B-Method dbpedia:Refinement_calculus dbpedia:CoreASM dbpedia:Extended_ML dbpedia:Alloy_language dbpedia:OBJ3 dbpedia:Prototype_Verification_System dbpedia:RAISE dbpedia:Well-formed_Petri_net dbpedia:Eiffel_(programming_language) dbpedia:Property_Specification_language dbpedia:SPARK_(programming_language) dbpedia:Common_Algebraic_Specification_language dbpedia:Java_Modeling_language dbpedia:Object_Constraint_language dbpedia:Wright_(ADL) dbpedia:Alloy_(specification_language)