State-transition machines, revisited (Q2464722)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	State-transition machines, revisited	scientific article

Statements

scholarly article

0 references

State-transition machines, revisited (English)

0 references

zbMATH Open document ID

0 references

10.1007/s10990-007-9017-x

0 references

David A. Schmidt

0 references

Higher-Order and Symbolic Computation

0 references

publication date

17 December 2007

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

zbMATH Keywords

Lambda-calculus

0 references

Denotational semantics

0 references

Defunctionalization

0 references

Continuation-passing style

0 references

Krivine machine

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/s10990-007-9017-x

0 references

0 references

The categorical abstract machine

0 references

An abstract framework for environment machines

0 references

From operational semantics to abstract machines

0 references

Semantics-directed compiler generation. Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980

0 references

Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine

0 references

0 references

Definitional interpreters for higher-order programming languages

0 references

0 references

The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:2464722

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2464722&oldid=35023563"