This HTML5 document contains 95 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/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n22https://projecteuclid.org/euclid.jsl/
n5https://archive.computerhistory.org/resources/access/text/2020/05/102790971/
n20https://msp.org/pjm/1965/15-3/
n26https://global.dbpedia.org/id/
n21https://planetmath.org/
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
n30https://www.researchgate.net/publication/
n24https://www.dcc.fc.up.pt/~acm/
dbpedia-srhttp://sr.dbpedia.org/resource/
freebasehttp://rdf.freebase.com/ns/
dbpedia-plhttp://pl.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-ithttp://it.dbpedia.org/resource/
n18https://web.archive.org/web/20170609213325/http:/www.eugenkiss.com/projects/lgw/
wikipedia-enhttp://en.wikipedia.org/wiki/
n4http://www.dnb.de/EN/Home/
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
dbchttp://dbpedia.org/resource/Category:
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/
n10http://d-nb.info/

Statements

Subject Item
dbr:Primitive_recursive_function
dbo:wikiPageWikiLink
dbr:LOOP_(programming_language)
Subject Item
dbr:LOOP_(programming_language)
rdf:type
yago:LinguisticRelation113797142 yago:Relation100031921 yago:Paradigm113804375 yago:Abstraction100002137 yago:GrammaticalRelation113796779 dbo:Language yago:WikicatProgrammingParadigms yago:Inflection113803782
rdfs:label
LOOP (programming language) LOOP-Programm LOOP (linguaggio) Program LOOP
rdfs:comment
Il linguaggio LOOP è un linguaggio di programmazione ideato a scopi didattici da Uwe Schöning. Il linguaggio LOOP calcola le funzioni ricorsive primitive. Le operazioni del linguaggio prevedono assegnamento, addizione e iterazione. Program LOOP – jedno z narzędzi teorii obliczalności służące do ustanowienia, czy dana funkcja jest obliczalna. LOOP is a simple register language that precisely captures the primitive recursive functions.The language is derived from the counter-machine model. Like the counter machines the LOOP language comprises a set of one or more unbounded registers, each of which can hold a single non-negative integer. A few arithmetic instructions (like 'CleaR', 'INCrement', 'DECrement', 'CoPY', ...) operate on the registers. The only control flow instruction is 'LOOP x DO ... END'. It causes the instructions within its scope to be repeated x times. (Changes of the content of register x during the execution of the loop do not affect the number of passes.) LOOP-Programme sind Programme in der Programmiersprache LOOP, einer stark eingeschränkten, modellhaften Sprache, die nur die Formulierung von Additionen, Wertzuweisungen und endlich oft durchlaufende Schleifen erlaubt. LOOP-Programme spielen in der Theoretischen Informatik eine Rolle, insbesondere im Zusammenhang mit Berechenbarkeit. Eine Funktion heißt LOOP-berechenbar, wenn sie sich als LOOP-Programm formulieren lässt. Die Menge aller LOOP-Programme wird mit bezeichnet.
dct:subject
dbc:Computability_theory
dbo:wikiPageID
36565144
dbo:wikiPageRevisionID
1085137312
dbo:wikiPageWikiLink
dbr:While_loop dbr:Hyperoperation dbr:Journal_of_Symbolic_Logic dbr:Dennis_M._Ritchie dbr:Recursion dbr:Ackermann_function dbr:Journal_of_Computer_and_System_Sciences dbr:Counter-machine_model dbr:Primitive_recursive_function dbr:Information_Processing_Letters dbr:Control_flow dbr:Goto dbc:Computability_theory dbr:Computable_function dbr:BlooP_and_FlooP dbr:Association_for_Computing_Machinery dbr:Μ-recursive_function dbr:Peano_axioms dbr:Journal_of_the_ACM dbr:Terminating_computation dbr:Syntax dbr:Albert_R._Meyer dbr:Counter_machine dbr:SIAM_Journal_on_Computing dbr:Conditional_(programming) dbr:Pacific_Journal_of_Mathematics dbr:Multiplication dbr:Mathematische_Annalen dbr:ACM_Transactions_on_Computational_Logic dbr:Backus–Naur_form dbr:Theoretical_Computer_Science dbr:Uwe_Schöning dbr:North_Holland_Publishing_Company dbr:Exponentiation
dbo:wikiPageExternalLink
n4:home_node.html n5:Ritchie_dissertation.pdf n10:986529222 n18: n20:p25.xhtml n21:primitiverecursivevectorvaluedfunction n22:1183737320 n24:loops.pdf n30:220673166_On_the_Expressive_Power_of_the_Loop_Language
owl:sameAs
freebase:m.0kf_skm dbpedia-de:LOOP-Programm dbpedia-it:LOOP_(linguaggio) wikidata:Q1798261 dbpedia-sr:Луп_програм n26:jffZ dbpedia-pl:Program_LOOP
dbp:wikiPageUsesTemplate
dbt:Spaced_ndash dbt:Reflist dbt:Other_uses dbt:Refend dbt:Refbegin dbt:! dbt:Cite_conference dbt:Cite_book dbt:Cite_web dbt:Sfn dbt:Cite_journal
dbo:abstract
Il linguaggio LOOP è un linguaggio di programmazione ideato a scopi didattici da Uwe Schöning. Il linguaggio LOOP calcola le funzioni ricorsive primitive. Le operazioni del linguaggio prevedono assegnamento, addizione e iterazione. LOOP-Programme sind Programme in der Programmiersprache LOOP, einer stark eingeschränkten, modellhaften Sprache, die nur die Formulierung von Additionen, Wertzuweisungen und endlich oft durchlaufende Schleifen erlaubt. LOOP-Programme spielen in der Theoretischen Informatik eine Rolle, insbesondere im Zusammenhang mit Berechenbarkeit. Eine Funktion heißt LOOP-berechenbar, wenn sie sich als LOOP-Programm formulieren lässt. Die Menge aller LOOP-Programme wird mit bezeichnet. Program LOOP – jedno z narzędzi teorii obliczalności służące do ustanowienia, czy dana funkcja jest obliczalna. LOOP is a simple register language that precisely captures the primitive recursive functions.The language is derived from the counter-machine model. Like the counter machines the LOOP language comprises a set of one or more unbounded registers, each of which can hold a single non-negative integer. A few arithmetic instructions (like 'CleaR', 'INCrement', 'DECrement', 'CoPY', ...) operate on the registers. The only control flow instruction is 'LOOP x DO ... END'. It causes the instructions within its scope to be repeated x times. (Changes of the content of register x during the execution of the loop do not affect the number of passes.)
gold:hypernym
dbr:Language
prov:wasDerivedFrom
wikipedia-en:LOOP_(programming_language)?oldid=1085137312&ns=0
dbo:wikiPageLength
17432
foaf:isPrimaryTopicOf
wikipedia-en:LOOP_(programming_language)
Subject Item
dbr:While_loop
dbo:wikiPageWikiLink
dbr:LOOP_(programming_language)
Subject Item
dbr:Uwe_Schöning
dbo:wikiPageWikiLink
dbr:LOOP_(programming_language)
Subject Item
dbr:Loop
dbo:wikiPageWikiLink
dbr:LOOP_(programming_language)
dbo:wikiPageDisambiguates
dbr:LOOP_(programming_language)
Subject Item
dbr:Turing_completeness
dbo:wikiPageWikiLink
dbr:LOOP_(programming_language)
Subject Item
wikipedia-en:LOOP_(programming_language)
foaf:primaryTopic
dbr:LOOP_(programming_language)