Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,829,092 papers from all fields of science
Search
Sign In
Create Free Account
Semantics encoding
A semantics encoding is a translation between formal languages. For programmers, the most familiar form of encoding is the compilation of a…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
15 relations
Bisimulation
Camlp4
Code
Compiler
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Generalized Refocusing: From Hybrid Strategies to Abstract Machines
Małgorzata Biernacka
,
Witold Charatonik
,
K. Zielinska
International Conference on Formal Structures for…
2017
Corpus ID: 34824120
We present a generalization of the refocusing procedure that provides a generic method for deriving an abstract machine from a…
Expand