Re: What is syntax lifting?

Cart

XML Editor - Download a Free Trial >

See What's New >

Buy Now >

[Home] [By Thread] [By Date] [Recent Entries]

From: Rick Jelliffe <rjelliffe@a...>
To: "Costello, Roger L." <costello@m...>
Date: Thu, 5 Sep 2019 09:32:32 +1000

There used to be terms α-lifting and β-lifting around late last century. Gavin Nicols would remember the exact meanings, I bet. (I think it comes from symbolic programming/program transformation disciplines, so maths/CS not linguistics.)

IIRC they relate to transforming between, say

<dog />

IIRC alpha lifting is just a promotion/rotation/elesion of names while beta lifting is converting values to names or splitting elements, or vice versa, or backwards, but I have no confidence.

On Thu, 5 Sep. 2019, 02:27 Costello, Roger L., <costello@m...> wrote:

Hi Folks,

Recently I heard this term "syntax lifting" or sometimes just "lifting."

What do they mean?

/Roger

_______________________________________________________________________

XML-DEV is a publicly archived, unmoderated list hosted by OASIS
to support XML implementation and development. To minimize
spam in the archives, you must subscribe before posting.

[Un]Subscribe/change address: http://www.oasis-open.org/mlmanage/
Or unsubscribe: xml-dev-unsubscribe@l...
subscribe: xml-dev-subscribe@l...
List archive: http://lists.xml.org/archives/xml-dev/
List Guidelines: http://www.oasis-open.org/maillists/guidelines.php

References:
- What is syntax lifting?
  - From: "Costello, Roger L." <costello@m...>

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index]

XML Editor - Download a 15 Day Free Trial Now >

See What's New in Stylus Studio >

Buy Stylus Studio - XML Editor - Now >