Work

A verified abstract machine for functional coroutines

Year: 2016

Type: article

Abstract: Functional coroutines are a restricted form of control mechanism, where each coroutine is represented with both a continuation and an environment. This restriction was originally obtained by considering a constructive version of Parigot's classical natural deduction which is sound and complete for the Constant Domain logic. In this article, we present a refinement of de Groote's abstract machine for functional coroutines and we prove its correctness. Therefore, this abstract machine also provides a direct computational interpretation of the Constant Domain logic.

Source: Electronic Proceedings in Theoretical Computer Science

DOI: 10.4204/eptcs.212.1

Author: Tristan Crolard

Institutions: Conservatoire National des Arts et Métiers, Centre d'études et de recherche en informatique et communications

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

OpenAlex ID: W2439248512

FWCI:

Cites: 64

Cited by:

Related to: 10