XML.orgXML.org
FOCUS AREAS |XML-DEV |XML.org DAILY NEWSLINK |REGISTRY |RESOURCES |ABOUT
OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.

 


Help: OASIS Mailing Lists Help | MarkMail Help

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index]
Re: [xml-dev] What is syntax lifting?

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
       <animal  pet="dog" />
       <pet>dog</pet>
       <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@mitre.org> 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@lists.xml.org
subscribe: xml-dev-subscribe@lists.xml.org
List archive: http://lists.xml.org/archives/xml-dev/
List Guidelines: http://www.oasis-open.org/maillists/guidelines.php



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


News | XML in Industry | Calendar | XML Registry
Marketplace | Resources | MyXML.org | Sponsors | Privacy Statement

Copyright 1993-2007 XML.org. This site is hosted by OASIS