• Home
  • Search
  • Statically Checking Conventionality of Array Objects in JavaScript
  • Cite Icon2
  • https://doi.org/10.1007/978-3-319-71734-0_16Copy DOI Icon

Statically Checking Conventionality of Array Objects in JavaScript

  • Dec 30, 2017
  • Astrid Younang +2 more
Show More
  • Abstract
  • Literature Map
  • References
  • Citations
  • Similar Papers
Abstract

A JavaScript array object is just like any other kind of object except that it has a property named length that is automatically updated. The array object may have other property names such as non-numeric strings and string representations of negative integers. A conventional array is an array that has a property named length and the names of all other properties are (string representation of) positive integers. This paper presents a conventionality analysis of array objects in JavaScript programs. The analysis provides useful information for program development and understanding since any non-conventional use of an array could indicate a potential programming error unless it is intended by the programmer. The analysis is built upon a novel abstract string domain that captures array index information more precisely than the existing ones. Our experiments on a set of 98 benchmark programs show that arrays are used in a conventional way in 95% of the benchmark programs.

Similar Papers
  • PDF
  • Research Article

Generalized Sidon sets of perfect powers

  • Aug 18, 2022
  • The Ramanujan Journal
  • Sándor Z Kiss +1
  • Research Article
  • Citations91

Representations of integers by linear forms in nonnegative integers

  • Feb 01, 1972
  • Journal of Number Theory
  • Albert Nijenhuis +1
  • Research Article

Generalized representation of integers

  • Jan 01, 1992
  • Electronics and Communications in Japan (Part III: Fundamental Electronic Science)
  • Takeshi Chujoh +3
  • Book Chapter

Representations of Integers as Sums of Nonvanishing Squares

  • Jan 01, 1985
  • Emil Grosswald
  • PDF
  • Research Article
  • Citations6

Representation of Integers as Sums of Fibonacci and Lucas Numbers

  • Oct 01, 2020
  • Symmetry
  • Ho Park +4
  • Research Article
  • Citations4

Positive definite binary hermitian forms with finitely many exceptions

  • Dec 22, 2006
  • Journal of Number Theory
  • Wai Kiu Chan +1
  • Research Article
  • Citations2

Note on the representation of integers as sums of certain powers

  • Mar 01, 1969
  • Mathematical Proceedings of the Cambridge Philosophical Society
  • K Thanigasalam
  • PDF
  • Research Article

Representations of positive integers as sums of arithmetic progressions, I

  • Apr 27, 2023
  • Notes on Number Theory and Discrete Mathematics
  • Chungwu Ho +2
  • PDF
  • Research Article
  • Citations4

Conjectures of Sun About Sums of Polygonal Numbers

  • Nov 02, 2022
  • La Matematica
  • Kathrin Bringmann +1
  • Research Article
  • Citations15

Alternative Digit Sets for Nonadjacent Representations

  • Jan 01, 2005
  • SIAM Journal on Discrete Mathematics
  • James A Muir +1
  • Research Article
  • Citations8

On the representation of a number as a sum of squares

  • Jul 01, 1978
  • Glasgow Mathematical Journal
  • Karl-Bernhard Gundlach
  • Research Article

Evaluation of the convolution sums ∑a1m1+a2m2+a3m3+a4m4=nσ(m1)σ(m2)σ(m3)σ(m4) with lcm(a1,a2,a3,a4) ≤ 4

  • Aug 02, 2017
  • International Journal of Number Theory
  • Joohee Lee +1
  • Research Article
  • Citations6

Lagrange's equation with one prime and three almost-primes

  • Sep 20, 2017
  • Journal of Number Theory
  • Tak Wing Ching
  • Research Article
  • Citations12

Zeroless arithmetic: representing integers ONLY using ONE

  • Nov 01, 2013
  • Journal of Difference Equations and Applications
  • Edinah K Gnang +1
  • Research Article
  • Citations19

Evaluation of the convolution sums ∑l+20m=n σ(l)σ(m), ∑4l+5m=n σ(l)σ(m) and ∑2l+5m=n σ(l)σ(m)

  • Aug 14, 2014
  • International Journal of Number Theory
  • Shaun Cooper +1
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.