On the Expressive Power of Declarative Constructs in Interactive Document Scripts

Dear XForms Users & Steven,

It is supposedly by distances to arrive at XForms language when saying
about networks of languages but may it be inspiring:

If there are society of networks and networks of societies may we say also
about pedagogy of networks and networks of pedagogies: thus we are
supposedly combining those notions on "society", "networks", "languages"
and "great operations of capital" (those of M. Castells', J.F. Lyotard's
and G. Deleuze and F. Guattari's)...

Note: That is what I said at architecture-discuss@ietf.org (

Guntur Wiseno Putra

Pada Selasa, 01 Oktober 2019, Guntur Wiseno Putra <gsenopu@gmail.com>

> Dear XForm Users and Steven,
> To share what may be inspiring:
> It is known that there are architectures of machines and systems regarding
> with computing technologies: does it sound fantastic if there is a language
> supporting those architectures...? --a language by which we may work out
> the architectures...? --thus we may build or renovate machines and systems
> using the language...?
> Of a reading, "architecture" consists elements "form", "space", and
> "order": does XForm language -- together with, if there are,  XSpace and
> XOrder-- embody part of such an architectural programme...? --or at least
> potentially...?
> Regard,
> Guntur Wiseno Putra
> Pada Selasa, 01 Oktober 2019, Steven Pemberton <steven.pemberton@cwi.nl>
> menulis:
>> It struck me that we should be making a collection of references to all
>> papers about XForms.
>> Please reply to this message with examples you know that should be
>> included. I will collect them all together.
>> Thanks!
>> Steven
>> On Tue, 01 Oct 2019 15:40:30 +0200, Steven Pemberton <
>> steven.pemberton@cwi.nl> wrote:
>> By John Boyer.
>>> Contains an XForms implementation of quicksort.
>>> It is difficult to generally compare the succinctness of declarative
>>> versus imperative programming as source code size varies. In imperative
>>> programs, basic operations have constant cost, but they
>>> tend to be more verbose than declarative programs, which increases
>>> the potential for defects. This paper presents a novel approach for a
>>> generalized comparison by transforming the problem into comparing
>>> executed code size of a benchmark imperative algorithm with
>>> a partially declarative variant of the same algorithm. This allows
>>> input size variation to substitute for source code size variation. For
>>> implementation, we use a multiparadigm language called XForms
>>> that contains both declarative XPath expressions and imperative
>>> script actions for interacting with XML data within web and office
>>> documents. A novel partially declarative variant of the quicksort is
>>> presented. Amortized analysis shows that onlyO(n) imperative actions are
>>> executed, so the expressive power of the declarative constructs is at least
>>> Ω(logn). In general, declarative constructs can
>>> have an order of magnitude expressive power advantage compared
>>> with only using basic imperative operations. The performance cost
>>> factor of the expressive power advantage was determined to be
>>> O(log2 n) based on a novel dynamic projection from the generalized tree
>>> structure of XML data to a height balanced binary tree.
>>> https://dl.acm.org/results.cfm?within=owners.owner%3DHOSTED&
>>> srt=_score&query=10.1145%2F3342558.3345397&Go.x=0&Go.y=0

Received on Tuesday, 1 October 2019 16:23:32 UTC