Environments and the Complexity of Abstract Machines

doi 10.1145/3131851.3131855
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press

Related search

Abstracting Abstract Machines

ACM SIGPLAN Notices
Computer Science
2010English

Concurrent Abstract Machines

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1991English

Interaction Abstract Machines

1993English

Concurrent Abstract State Machines

Acta Informatica
Computer NetworksSoftwareInformation SystemsCommunications
2015English

Fully Abstract Encodings of Λ-Calculus in HOcore Through Abstract Machines

2017English

Color and Visual Complexity in Abstract Images

Color Research and Application
Human FactorsChemistryErgonomicsChemical Engineering
2018English

Abstract Machines for Open Call-By-Value

Science of Computer Programming
Software
2019English

Formal Verification of Programs for Abstract Register Machines

Bulletin of the Novosibirsk Computing Center. Series:Computer Science
2013English

State Enumeration With Abstract Descriptions of State Machines

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1995English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy