Re: Multitasking algorithms in XForms

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>, ot
her <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/
> BalisageVol23-Boyer01.html
>
>