Hello! First I'd like to thank you all for Racket and more specifically PLT-redex (which I am intending to use I/o to formalise a workable semantics for the Orc language <https://www.cs.utexas.edu/~wcook/papers/OrcSemantics06/OrcSemantics.pdf>).
I am struggling to understand how to convert a SOS to a Reduction Semantics. if I understood correctly, SOS labels carry external semantics . Which reduction semantics claims to turn into syntax. Like pairing a context with some state -- how should I convey/turn whatever I mean with this state into syntax, so that meaningful syntactic reduction can happen? Anyone could please point me at an example where the grammar has a pair (context state) production? Apology in advance for the vagueness of my question -- I feel I fell to understand something :/ Thank you in advance, Jan -- You received this message because you are subscribed to the Google Groups "Racket Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/cb957e4c-87df-49b9-a572-2e3b20300280%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
