Abstracting Abstract Machines

ACM SIGPLAN Notices - United States
doi 10.1145/1932681.1863553
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

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

Abstract Machines for Open Call-By-Value

Science of Computer Programming
Software
2019English

Environments and the Complexity of Abstract Machines

2017English

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

Abstract Geometrical Computation 4: Small Turing Universal Signal Machines

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy