[plt-scheme] Good general term for context elements?

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Wed Sep 17 14:57:32 EDT 2008

We used it in one paper and we are only appealing to the concept in  
Redex. Look for E^1. -- Matthias




On Sep 17, 2008, at 2:47 PM, Shriram Krishnamurthi wrote:

> I have this problem, too (it arises with kind of context, not just
> eval contexts, as you know).  But that term is so unwieldy.  Have you
> thought of contracting it?  "sintext"?  Many sintexts make a context.
>
> S.
>
> On Wed, Sep 17, 2008 at 2:02 PM, Matthias Felleisen
> <matthias at ccs.neu.edu> wrote:
>>
>>
>> Bob Hieb and I used a term like 'single-layer context' for such  
>> things and
>> hinted that these are closely related to activation records.
>>
>> Are you following our new Redex book? I didn't know you had a copy  
>> of the
>> manuscript. -- Matthias
>>
>>
>> On Sep 17, 2008, at 1:51 PM, John Clements wrote:
>>
>>> An evaluation context is made up of a bunch of ... frames?   
>>> elements?
>>> thingies?  I want to talk about the differences between a CEK- 
>>> like model and
>>> an SECD-like model, where the individual context frames are  
>>> grouped into
>>> activation records, and I'm wondering if there's a better term  
>>> than "context
>>> frames".
>>>
>>> Anyone?
>>>
>>> John Clements
>>>
>>> _________________________________________________
>>>  For list-related administrative tasks:
>>>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>>
>> _________________________________________________
>>  For list-related administrative tasks:
>>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>>



Posted on the users mailing list.