Can I read On the Expressive Power of Declarative Constructs in Interactive Document Scripts on EtoBox?

On the Expressive Power of Declarative Constructs in Interactive Document Scripts by Boyer, John M. is a scholarly article available to read on EtoBox.

What is On the Expressive Power of Declarative Constructs in Interactive Document Scripts about?

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 only O(n) imperative actions are executed, so the expressive power of the declarative constructs is at least Ω(log n). 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 th

Author

Boyer, John M.

Publisher

ACM Press

Published

2019

Language

EN