W3C home > Mailing lists > Public > public-xformsusers@w3.org > August 2019

Multitasking algorithms in XForms

From: Guntur Wiseno Putra <gsenopu@gmail.com>
Date: Mon, 5 Aug 2019 21:15:10 +0700
Message-ID: <CAKi_AEuyrqUHvOVdYrSo3LavCcgZBJon_oSMoo2s=RN8=T_D-w@mail.gmail.com>
To: Steven Pemberton <steven.pemberton@cwi.nl>
Cc: XForms <public-xformsusers@w3.org>
Dear public-xformusers@w3.org,

As another than the declarative approach proposed about XForms by Steven
Pemberton in his "Introduction on XForms" & John Boyer's proposal mentioned
about the hybrid declarative/imperative computing (paragraph 4), this
article may be inspiring in its effort to "show how to systematically
implement an algorith in any imperative or functional programming
language..." (announced at a relatively free online library of
Arxiv-Cornell University in the same year with that of Garry Pantelis
mentioned in the message right before 2018):

arXiv:1808.08989 <https://arxiv.org/abs/1808.08989>  [pdf
<https://arxiv.org/pdf/1808.08989>, other
cs.SE cs.PL

A Systematic Approach toProgramming

Authors: Maurice Chandoo

Abstract: We show how to systematically implement an algorithm in any
imperative or functional programming language. The method is based on the
premise that it is easy to write down how an algorithmproceeds on a
concrete input... We demonstrate the method for two examples and discuss
its utility. Additionally, we provide a formal framework to compare it with
other approaches. △ Less

Submitted 25 April, 2019; v1 submitted 27 August, 2018; originally
announced August

Comments: 30 pages + 10 pages appendix

Guntur Wiseno Putra

Pada Senin, 05 Agustus 2019, Guntur Wiseno Putra <gsenopu@gmail.com>

> Dear public-xformsusers@w3.org,
> I found it out: an article which might be inspiring in this community
> group as it concerned with "the language of algorithms and programs"...
> arXiv:1811.05116 <https://arxiv.org/abs/1811.05116>  [pdf
> <https://arxiv.org/pdf/1811.05116>, ps <https://arxiv.org/ps/1811.05116>,
> other <https://arxiv.org/format/1811.05116>]
> cs.LO
> Programs as the Language of Science
> Authors: Garry Pantelis
> <https://arxiv.org/search/?searchtype=author&query=Pantelis%2C+G>
> Abstract: Currently it is widely accepted that the language of science is
> mathematics. This book explores an alternative idea where the future of
> science is based on the language ofalgorithms and programs. How such a
> language can actually be implemented in the sciences is outlined in some
> detail...The focus is on theories where the intrinsic properties and
> dynamic state of real world objects can be defined in terms of information
> and subject to laws based on simple deterministic rules and finite state
> arithmetic... This book does not examine any specific application in
> detail but rather attempts to lay down a foundation for the validation of
> such theories by employing the inference scheme based oncomputability
>  logic.
> Submitted 13 November, 2018; originally announced November 2018.
> Comments: arXiv admin note: substantial text overlap with arXiv:1510.04469
> ACM Class: D.2.4; F.4.1
> Regard,
> Guntur Wiseno Putra
> Pada Selasa, 30 Juli 2019, Steven Pemberton <steven.pemberton@cwi.nl>
> menulis:
>> Boyer, John M. “Multitasking algorithms in XForms: Coordination,
>> progress, priority.” Presented at Balisage: The Markup Conference 2019,
>> Washington, DC, July 30 - August 2, 2019. In Proceedings of Balisage: The
>> Markup Conference 2019. Balisage Series on Markup Technologies, vol. 23
>> (2019). https://doi.org/10.4242/BalisageVol23.Boyer01
>> https://www.balisage.net/Proceedings/vol23/html/Boyer01/Bali
>> sageVol23-Boyer01.html
Received on Monday, 5 August 2019 14:15:34 UTC

This archive was generated by hypermail 2.3.1 : Monday, 5 August 2019 14:15:35 UTC