HTML Microdata document

This HTML5 document contains 107 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
n14	https://groups.google.com/group/comp.lang.lisp/msg/
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-ko	http://ko.dbpedia.org/resource/
n23	https://global.dbpedia.org/id/
yago	http://dbpedia.org/class/yago/
dbt	http://dbpedia.org/resource/Template:
rdfs	http://www.w3.org/2000/01/rdf-schema#
freebase	http://rdf.freebase.com/ns/
n22	http://dbpedia.org/resource/Call/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
n13	http://community.schemewiki.org/
owl	http://www.w3.org/2002/07/owl#
wikipedia-en	http://en.wikipedia.org/wiki/
dbp	http://dbpedia.org/property/
prov	http://www.w3.org/ns/prov#
dbc	http://dbpedia.org/resource/Category:
xsdh	http://www.w3.org/2001/XMLSchema#
gold	http://purl.org/linguistics/gold/
wikidata	http://www.wikidata.org/entity/
n19	https://web.archive.org/web/20100525110918/http:/www.icsi.berkeley.edu/~nweaver/
dbr	http://dbpedia.org/resource/

Statements

Subject Item: dbr:S-algol
dbo:wikiPageWikiLink: dbr:Call-with-current-continuation

Subject Item: dbr:Monad_(functional_programming)
dbo:wikiPageWikiLink: dbr:Call-with-current-continuation

Subject Item: dbr:Continuation
dbo:wikiPageWikiLink: dbr:Call-with-current-continuation

Subject Item: dbr:Continuation-passing_style
dbo:wikiPageWikiLink: dbr:Call-with-current-continuation

Subject Item: dbr:Call-with-current-continuation
rdf:type: yago:PsychologicalFeature100023100 yago:Abstraction100002137 yago:Software106566077 yago:WikicatContinuations yago:Continuance101017987 yago:Writing106359877 dbo:Company yago:CodingSystem106353757 yago:YagoPermanentlyLocatedEntity yago:Routine106582403 yago:Communication100033020 yago:Act100030358 yago:WikicatSubroutines yago:WrittenCommunication106349220 yago:Activity100407535 yago:Code106355894 yago:Event100029378
rdfs:label: Call-with-current-continuation Call-with-current-continuation
rdfs:comment: 스킴 언어에서, call-with-current-continuation 함수, 줄여서 call/cc 함수는 제어 연산자로써 사용된다. 이 함수는 다른 여러 언어에서 채택되었다. call/cc는 함수 f를 그 유일한 인자로 받는데, 어떤 한 식안에서의 (call/cc f)는 바로 그 식의 현재 연속에 적용된다. 예를 들어 ((call/cc f) e2) 는 함수 f를 연속에 적용하는 것인데, 이 연속은 (call/cc f) 를 변수 c 로 바꾼 후, 식을 람다 추상화한 (lambda(c) (c e2)) 이다. 이것이 바로 현재 연속인데, 위 식의 결과는 이 연속에 함수 f 를 적용하는 것 (f (lambda (c) (c e2)) 이다. 보완적인 예로, 식 (e1 (call/cc f)) 에서, 하위식 (call/cc f) 을 위한 연속은 (lambda (c) (e1 c)) 인데, 이것은 (f (lambda (c) (e1 c))) 와 같다. 달리 말하자면, 현재 프로그램 제어 상태의 "스냅샷"을 하나의 개체로 취하고, 그것을 함수 f에 적용하는 것이다. 연속 개체는 일급 값이며 함수로 나타나는데, 그 유일한 기능은 함수 적용이다. 연속 개체가 인자에 적용될 때, 기존 연속은 제거되며, 적용된 연속이 프로그램의 흐름은 계속되어 연속이 잡혔던 자리에서 바로 들어서게 되고, 연속의 인자는 call/cc 호출의 반환값이 된다. call/cc에 의해 생성된 연속은 한 번 이상 호출될 수 있으며, call/cc 적용 범위 밖에서도 호출될 수 있다. In the Scheme computer programming language, the procedure call-with-current-continuation, abbreviated call/cc, is used as a control flow operator. It has been adopted by several other programming languages. In computer science, making this type of implicit program state visible as an object is termed reification. (Scheme does not syntactically distinguish between applying continuations or functions.)
dcterms:subject: dbc:Scheme_(programming_language) dbc:Subroutines dbc:Continuations
dbo:wikiPageID: 1064182
dbo:wikiPageRevisionID: 1110924162
dbo:wikiPageWikiLink: dbr:C++ dbr:Continuation_passing_style dbr:R_programming dbr:Nondeterministic_programming dbr:Intuitionistic_logic dbr:Standard_ML dbr:Function_application dbc:Scheme_(programming_language) dbr:Closure_(computer_programming) dbr:Icon_(programming_language) dbr:Continuation dbr:Double_negation_elimination dbr:Continuation-passing_style dbr:Control_flow dbr:Ruby_(programming_language) dbr:Generator_(computer_programming) dbr:Unlambda dbr:C_(programming_language) dbr:Thread_(computing) dbr:Reification_(computer_science) dbr:Computer_programming dbr:Racket_(programming_language) dbr:Curry–Howard_correspondence dbr:Simula dbr:Haskell_(programming_language) dbr:Application_programming_interface dbr:Backtracking dbr:COMEFROM dbr:Coroutine dbr:Fiber_(computer_science) dbr:Procedure_(computer_science) dbr:Prolog dbr:Classical_logic dbr:John_McCarthy_(computer_scientist) dbc:Subroutines dbr:Scheme_(programming_language) dbr:Engine_(computer_science) dbr:First-class_value dbr:Operator_(computer_programming) dbr:Peirce's_law dbr:OCaml dbc:Continuations dbr:Goto dbr:Delimited_continuation dbr:Return_statement
dbo:wikiPageExternalLink: n13:%3Fcall-with-current-continuation n14:4e1f782be5ba2841 n19:multitask.scm
owl:sameAs: freebase:m.042vh_ yago-res:Call-with-current-continuation wikidata:Q5021477 dbpedia-ko:Call-with-current-continuation n23:4eieh
dbp:wikiPageUsesTemplate: dbt:Lowercase_title dbt:Short_description dbt:Lisp_programming_language dbt:Cn dbt:Reflist
dbo:abstract: In the Scheme computer programming language, the procedure call-with-current-continuation, abbreviated call/cc, is used as a control flow operator. It has been adopted by several other programming languages. Taking a function f as its only argument, (call/cc f) within an expression is applied to the current continuation of the expression.For example ((call/cc f) e2) is equivalent to applying f to the current continuation of the expression. The current continuation is given by replacing (call/cc f) by a variable c bound by a lambda abstraction, so the current continuation is (lambda (c) (c e2)). Applying the function f to it gives the final result (f (lambda (c) (c e2))). As a complementary example, in an expression (e1 (call/cc f)), the continuation for the sub-expression (call/cc f) is (lambda (c) (e1 c)), so the whole expression is equivalent to (f (lambda (c) (e1 c))).In other words it takes a "snapshot" of the current control context or control state of the program as an object and applies f to it. The continuation object is a first-class value and is represented as a function, with function application as its only operation. When a continuation object is applied to an argument, the existing continuation is eliminated and the applied continuation is restored in its place, so that the program flow will continue at the point at which the continuation was captured and the argument of the continuation then becomes the "return value" of the call/cc invocation. Continuations created with call/cc may be called more than once, and even from outside the dynamic extent of the call/cc application. In computer science, making this type of implicit program state visible as an object is termed reification. (Scheme does not syntactically distinguish between applying continuations or functions.) With call/cc a variety of complex control operators can be implemented from other languages via a few lines of code, e.g., McCarthy's amb operator for nondeterministic choice, Prolog-style backtracking, Simula 67-style coroutines and generalizations thereof, Icon-style generators, or engines and threads or even the obscure COMEFROM. 스킴 언어에서, call-with-current-continuation 함수, 줄여서 call/cc 함수는 제어 연산자로써 사용된다. 이 함수는 다른 여러 언어에서 채택되었다. call/cc는 함수 f를 그 유일한 인자로 받는데, 어떤 한 식안에서의 (call/cc f)는 바로 그 식의 현재 연속에 적용된다. 예를 들어 ((call/cc f) e2) 는 함수 f를 연속에 적용하는 것인데, 이 연속은 (call/cc f) 를 변수 c 로 바꾼 후, 식을 람다 추상화한 (lambda(c) (c e2)) 이다. 이것이 바로 현재 연속인데, 위 식의 결과는 이 연속에 함수 f 를 적용하는 것 (f (lambda (c) (c e2)) 이다. 보완적인 예로, 식 (e1 (call/cc f)) 에서, 하위식 (call/cc f) 을 위한 연속은 (lambda (c) (e1 c)) 인데, 이것은 (f (lambda (c) (e1 c))) 와 같다. 달리 말하자면, 현재 프로그램 제어 상태의 "스냅샷"을 하나의 개체로 취하고, 그것을 함수 f에 적용하는 것이다. 연속 개체는 일급 값이며 함수로 나타나는데, 그 유일한 기능은 함수 적용이다. 연속 개체가 인자에 적용될 때, 기존 연속은 제거되며, 적용된 연속이 프로그램의 흐름은 계속되어 연속이 잡혔던 자리에서 바로 들어서게 되고, 연속의 인자는 call/cc 호출의 반환값이 된다. call/cc에 의해 생성된 연속은 한 번 이상 호출될 수 있으며, call/cc 적용 범위 밖에서도 호출될 수 있다.
gold:hypernym: dbr:Operator
prov:wasDerivedFrom: wikipedia-en:Call-with-current-continuation?oldid=1110924162&ns=0
dbo:wikiPageLength: 13419
foaf:isPrimaryTopicOf: wikipedia-en:Call-with-current-continuation

Subject Item: dbr:Curry–Howard_correspondence
dbo:wikiPageWikiLink: dbr:Call-with-current-continuation

Subject Item: dbr:T_(programming_language)
dbo:wikiPageWikiLink: dbr:Call-with-current-continuation

Subject Item: dbr:J_operator
dbo:wikiPageWikiLink: dbr:Call-with-current-continuation

Subject Item: dbr:Fiber_(computer_science)
dbo:wikiPageWikiLink: dbr:Call-with-current-continuation

Subject Item: n22:cc
dbo:wikiPageWikiLink: dbr:Call-with-current-continuation
dbo:wikiPageRedirects: dbr:Call-with-current-continuation

Subject Item: dbr:Call_with_current_continuation
dbo:wikiPageWikiLink: dbr:Call-with-current-continuation
dbo:wikiPageRedirects: dbr:Call-with-current-continuation

Subject Item: dbr:Callcc
dbo:wikiPageWikiLink: dbr:Call-with-current-continuation
dbo:wikiPageRedirects: dbr:Call-with-current-continuation

Subject Item: dbr:Continuation_object
dbo:wikiPageWikiLink: dbr:Call-with-current-continuation
dbo:wikiPageRedirects: dbr:Call-with-current-continuation

Subject Item: wikipedia-en:Call-with-current-continuation
foaf:primaryTopic: dbr:Call-with-current-continuation