Re: [racket] [redex] Structured Semantics

2010-07-08 Thread Matthias Felleisen
Yes, we do. On Jul 8, 2010, at 11:27 AM, Robby Findler wrote: > I think Casey's right that we need better support for this in Redex. > > Robby > > On Thu, Jul 8, 2010 at 10:12 AM, Matthias Felleisen > wrote: >> >> >> On Jul 8, 2010, at 11:06 AM, Robby Findler wrote: >> >>> On Thu, Jul 8,

Re: [racket] [redex] Structured Semantics

2010-07-08 Thread Robby Findler
I think Casey's right that we need better support for this in Redex. Robby On Thu, Jul 8, 2010 at 10:12 AM, Matthias Felleisen wrote: > > > On Jul 8, 2010, at 11:06 AM, Robby Findler wrote: > >> On Thu, Jul 8, 2010 at 10:01 AM, Matthias Felleisen >> wrote: >>> Do we show the GC rules in the Red

Re: [racket] [redex] Structured Semantics

2010-07-08 Thread Matthias Felleisen
On Jul 8, 2010, at 11:06 AM, Robby Findler wrote: > On Thu, Jul 8, 2010 at 10:01 AM, Matthias Felleisen > wrote: >> Do we show the GC rules in the Redex book? It would do the same. > > Only in part I. I was afraid of that. I think a revision should demonstrate how to run GC on a store mach

Re: [racket] [redex] Structured Semantics

2010-07-08 Thread Robby Findler
On Thu, Jul 8, 2010 at 10:01 AM, Matthias Felleisen wrote: > Do we show the GC rules in the Redex book? It would do the same. Only in part I. Robby _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users

Re: [racket] [redex] Structured Semantics

2010-07-08 Thread Matthias Felleisen
This isn't truly a structured semantics, though yes it comes close. Do we show the GC rules in the Redex book? It would do the same. -- Matthias On Jul 7, 2010, at 11:53 PM, Jay McCarthy wrote: > How should I use Redex to encode a structured semantics... For example, > > Suppose I have t

Re: [racket] [redex] Structured Semantics

2010-07-08 Thread Jay McCarthy
On Thu, Jul 8, 2010 at 1:41 AM, Casey Klein wrote: > On Wed, Jul 7, 2010 at 10:53 PM, Jay McCarthy wrote: >> How should I use Redex to encode a structured semantics... For example, >> >> Suppose I have the L_thread language and the ->_thread reduction >> relation with contract >> >> (store_global

Re: [racket] [redex] Structured Semantics

2010-07-07 Thread Casey Klein
On Wed, Jul 7, 2010 at 10:53 PM, Jay McCarthy wrote: > How should I use Redex to encode a structured semantics... For example, > > Suppose I have the L_thread language and the ->_thread reduction > relation with contract > > (store_global store_local term) ->_thread (store_global store_local term)

[racket] [redex] Structured Semantics

2010-07-07 Thread Jay McCarthy
How should I use Redex to encode a structured semantics... For example, Suppose I have the L_thread language and the ->_thread reduction relation with contract (store_global store_local term) ->_thread (store_global store_local term) and I want to have another language L_system with an ->_system