[plt-scheme] Good general term for context elements?
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
>>