Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

Some Applications of Continuations

From MaRDI portal
Publication:3769941
Jump to:navigation, search

DOI10.1093/COMJNL/31.1.9zbMATH Open0632.68009OpenAlexW1976868218MaRDI QIDQ3769941FDOQ3769941


Authors: Lloyd Allison Edit this on Wikidata


Publication date: 1988

Published in: The Computer Journal (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/220905




Recommendations

  • Continuations in possible-world semantics
  • Continuations revisited
  • Obtaining coroutines with continuations
  • An early use of continuations and partial evaluation for compiling rules written in first-order predicate calculus
  • scientific article; zbMATH DE number 1722643


zbMATH Keywords

jumpsdenotational semanticsbacktrackingco- routinescontrol commands


Mathematics Subject Classification ID

General topics in the theory of software (68N01)



Cited In (3)

  • TUTORIAL ON CONTINUATION
  • Obtaining coroutines with continuations
  • Direct semantics and exceptions define jumps and coroutines





This page was built for publication: Some Applications of Continuations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3769941)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3769941&oldid=17321187"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 5 February 2024, at 12:39. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki