JSC : A JavaScript Object System

Artur Ventura

DOI: https://doi.org/10.48550/arXiv.0912.2861

2009-12-15

Programming Languages

Abstract:The JSC language is a superset of JavaScript designed to ease the development of large web applications. This language extends JavaScripts own object system by isolating code in a class declaration, simplifying multiple inheritance and using method implementation agreements.

What problem does this paper attempt to address?

CodeCity for (and by) JavaScript

Marcos Viana,Andre Hora,Marco Tulio Valente

DOI: https://doi.org/10.48550/arXiv.1705.05476

2017-05-15

Software Engineering

Abstract:JavaScript is one of the most popular programming languages on the web. Despite the language popularity and the increasing size of JavaScript systems, there is a limited number of visualization tools that can be used by developers to comprehend, maintain, and evolve JavaScript software. In this paper, we introduce JSCity, an implementation in JavaScript of the well-known Code City software visualization metaphor. JSCity relies on JavaScript features and libraries to show "software cities" in standard web browsers, without requiring complex installation procedures. We also report our experience on producing visualizations for 40 popular JavaScript systems using JScity.
Dependent types for JavaScript

Ravi Chugh,David Herman,Ranjit Jhala

DOI: https://doi.org/10.1145/2398857.2384659

2012-11-15

ACM SIGPLAN Notices

Abstract:We present Dependent JavaScript (DJS), a statically typed dialect of the imperative, object-oriented, dynamic language. DJS supports the particularly challenging features such as run-time type-tests, higher-order functions, extensible objects, prototype inheritance, and arrays through a combination of nested refinement types, strong updates to the heap, and heap unrolling to precisely track prototype hierarchies. With our implementation of DJS, we demonstrate that the type system is expressive enough to reason about a variety of tricky idioms found in small examples drawn from several sources, including the popular book JavaScript: The Good Parts and the SunSpider benchmark suite.
JSAI: Designing a Sound, Configurable, and Efficient Static Analyzer for JavaScript

Vineeth Kashyap,Kyle Dewey,Ethan A. Kuefner,John Wagner,Kevin Gibbons,John Sarracino,Ben Wiedermann,Ben Hardekopf

DOI: https://doi.org/10.48550/arXiv.1403.3996

2014-03-17

Programming Languages

Abstract:We describe JSAI, an abstract interpreter for JavaScript. JSAI uses novel abstract domains to compute a reduced product of type inference, pointer analysis, string analysis, integer and boolean constant propagation, and control-flow analysis. In addition, JSAI allows for analysis control-flow sensitivity (i.e., context-, path-, and heap-sensitivity) to be modularly configured without requiring any changes to the analysis implementation. JSAI is designed to be provably sound with respect to a specific concrete semantics for JavaScript, which has been extensively tested against existing production-quality JavaScript implementations. We provide a comprehensive evaluation of JSAI's performance and precision using an extensive benchmark suite. This benchmark suite includes real-world JavaScript applications, machine-generated JavaScript code via Emscripten, and browser addons. We use JSAI's configurability to evaluate a large number of analysis sensitivities (some well-known, some novel) and observe some surprising results. We believe that JSAI's configurability and its formal specifications position it as a useful research platform to experiment on novel sensitivities, abstract domains, and client analyses for JavaScript.
JS-son -- A Lean, Extensible JavaScript Agent Programming Library

Timotheus Kampik,Juan Carlos Nieves

DOI: https://doi.org/10.48550/arXiv.2003.04690

2020-03-10

Abstract:A multitude of agent-oriented software engineering frameworks exist, most of which are developed by the academic multi-agent systems community. However, these frameworks often impose programming paradigms on their users that are challenging to learn for engineers who are used to modern high-level programming languages such as JavaScript and Python. To show how the adoption of agent-oriented programming by the software engineering mainstream can be facilitated, we provide a lean JavaScript library prototype for implementing reasoning-loop agents. The library focuses on core agent programming concepts and refrains from imposing further restrictions on the programming approach. To illustrate its usefulness, we show how the library can be applied to multi-agent systems simulations on the web, deployed to cloud-hosted function-as-a-service environments, and embedded in Python-based data science tools.

Multiagent Systems,Artificial Intelligence,Software Engineering
JSClassFinder: A Tool to Detect Class-like Structures in JavaScript

Leonardo Humberto Silva,Daniel Hovadick,Marco Tulio Valente,Alexandre Bergel,Nicolas Anquetil,Anne Etien

DOI: https://doi.org/10.48550/arXiv.1602.05891

2016-02-18

Software Engineering

Abstract:With the increasing usage of JavaScript in web applications, there is a great demand to write JavaScript code that is reliable and maintainable. To achieve these goals, classes can be emulated in the current JavaScript standard version. In this paper, we propose a reengineering tool to identify such class-like structures and to create an object-oriented model based on JavaScript source code. The tool has a parser that loads the AST (Abstract Syntax Tree) of a JavaScript application to model its structure. It is also integrated with the Moose platform to provide powerful visualization, e.g., UML diagram and Distribution Maps, and well-known metric values for software analysis. We also provide some examples with real JavaScript applications to evaluate the tool.
Advanced OOP and new syntax patterns for Javascript

Alessandro Rosa

2024-11-14

Abstract:We present OBJS, a new transpiler project featuring the implementation of typified variables and functions call management in Javascript, as well as several new operators and syntax patterns that could make coding more agile and versatile. The goal is to empower this language. According to this point of view, this transpiler aims at implementing Object Oriented Programming paradigms into Javascript. The author opines that this would be likely the best evolution of this language in ways that should be proper to the original syntax, that is, by adopting native C++standards, so that there would be no promiscuity between old and new patterns, benefiting those who come from similar languages.

Programming Languages
Transaction-based Sandboxing for JavaScript

Matthias Keil,Peter Thiemann

DOI: https://doi.org/10.48550/arXiv.1612.00669

2016-12-02

Programming Languages

Abstract:Today's JavaScript applications are composed of scripts from different origins that are loaded at run time. As not all of these origins are equally trusted, the execution of these scripts should be isolated from one another. However, some scripts must access the application state and some may be allowed to change it, while preserving the confidentiality and integrity constraints of the application. This paper presents design and implementation of DecentJS, a language-embedded sandbox for full JavaScript. It enables scripts to run in a configurable degree of isolation with fine-grained access control. It provides a transactional scope in which effects are logged for review by the access control policy. After inspection of the log, effects can be committed to the application state or rolled back. The implementation relies on JavaScript proxies to guarantee full interposition for the full language and for all code, including dynamically loaded scripts and code injected via eval. Its only restriction is that scripts must be compliant with JavaScript's strict mode.
JAS: JVM-Based Active Storage Framework for Object-based Storage Systems

Xiangyu Li,Shuibing He,Xianbin Xu,Yang Wang

DOI: https://doi.org/10.14257/ijdta.2016.9.7.11

2016-01-01

International Journal of Database Theory and Application

Abstract:We propose JAS, a JVM-based active storage framework for object-based storage systems. JAS programs the active storage functions of users as Java codes, and allows them to be executed on different OSD platforms (Operating systems and hardware) without recompiling. JAS offloads the active storage code from a client to the OSD by extending the standard OSD command set, and execute the Java code on the OSD ondemand by triggering them through extended client interfaces. We have implemented JAS under an object-based storage system. Experimental results show that the JVM-based active storage framework has been successfully set up, and this cross-platform design can largely improve system performance.
Spectroscopic electric-field measurement in laser-excited plasmas

S. K. Dutta,D. Feldbaum,G. Raithel

DOI: https://doi.org/10.48550/arXiv.physics/0007004

2000-07-04

Abstract:The electric field in mm-sized clouds of cold Rb^+-ions is measured using the Stark effect of Rydberg atoms embedded in the ion clouds. The ion clouds are produced by UV photoionization of laser-cooled rubidium atoms in a magneto-optic trap. In very dense ion clouds, the Rydberg atom excitation spectra reflect the presence of a neutral plasma core and a positively charged ion shell.

Atomic Physics,Plasma Physics
JSBML: a flexible Java library for working with SBML

Andreas Dräger,Nicolas Rodriguez,Marine Dumousseau,Alexander Dörr,Clemens Wrzodek,Nicolas Le Novère,Andreas Zell,Michael Hucka

DOI: https://doi.org/10.1093/bioinformatics/btr361

IF: 5.8

2011-08-01

Bioinformatics

Abstract:Summary: The specifications of the Systems Biology Markup Language (SBML) define standards for storing and exchanging computer models of biological processes in text files. In order to perform model simulations, graphical visualizations and other software manipulations, an in-memory representation of SBML is required. We developed JSBML for this purpose. In contrast to prior implementations of SBML APIs, JSBML has been designed from the ground up for the Java programming language, and can therefore be used on all platforms supported by a Java Runtime Environment. This offers important benefits for Java users, including the ability to distribute software as Java Web Start applications. JSBML supports all SBML Levels and Versions through Level 3 Version 1, and we have strived to maintain the highest possible degree of compatibility with the popular library libSBML. JSBML also supports modules that can facilitate the development of plugins for end user applications, as well as ease migration from a libSBML-based backend. Availability: Source code, binaries and documentation for JSBML can be freely obtained under the terms of the LGPL 2.1 from the website http://sbml.org/Software/JSBML.
ECMAScript -- The journey of a programming language from an idea to a standard

Juho Vepsäläinen

2023-05-02

Abstract:A significant portion of the web is powered by ECMAScript. As a web technology, it is ubiquitous and available on most platforms natively or through a web browser. ECMAScript is the dominant language of the web, but at the same time, it was not designed as such. The story of ECMAScript is a story of the impact of standardization on the popularity of technology. Simultaneously, the story shows how external pressures can shape a programming language and how politics can mar the evolution of a standard. In this article, we will go through the movements that led to the dominant position of ECMAScript, evaluate the factors leading to it, and consider its evolution using the Futures Triangle framework and the theory of standards wars.

Programming Languages
SafeJS: Hermetic Sandboxing for JavaScript

Damien Cassou,Stéphane Ducasse,Nicolas Petton

DOI: https://doi.org/10.48550/arXiv.1309.3914

2013-09-16

Abstract:Isolating programs is an important mechanism to support more secure applications. Isolating program in dynamic languages such as JavaScript is even more challenging since reflective operations can circumvent simple mechanisms that could protect program parts. In this article we present SafeJS, an approach and implementation that offers isolation based on separate sandboxes and control of information exchanged between them. In SafeJS, sandboxes based on web workers do not share any data. Data exchanged between sandboxes is solely based on strings. Using different policies, this infrastructure supports the isolation of the different scripts that usually populate web pages. A foreign component cannot modify the main DOM tree in unexpected manner. Our SafeJS implementation is currently being used in an industrial setting in the context of the Resilience FUI 12 project.

Programming Languages,Cryptography and Security
Jbcdl: An Object-Oriented Component Description Language

Q Wu,Jc Chang,H Mei,Fq Yang

DOI: https://doi.org/10.1109/TOOLS.1997.713544

1998-01-01

Abstract:This paper introduces Jade Bird Component Description Language (JBCDL) which is a part of Jade Bird Component Library (JBCL). JBCDL is based on Jade Bird Component Model (JBCOM). JBCOM is a 3C-based hierarchic component model that is composed of specification and implementation layers and with uniformity and self-contained composition. The main purpose of JBCDL is to describe component interface. It mainly applies to component composition under the help of (semi-) automatic tools. JBCDL has the following features: 1) code-wares and design-wares that adopt object-oriented paradigm as the description objects; 2) adopting object-oriented paradigm itself; 3) uniformly describing components of different forms (such as class, framework, and etc.); 4) integrating well with Jade Bird Component Library.
Safety-Critical Java: Level 2 in Practice

Matt Luckcuck,Andy Wellings,Ana Cavalcanti

DOI: https://doi.org/10.1002/cpe.3951

2018-05-28

Abstract:Safety Critical Java (SCJ) is a profile of the Real-Time Specification for Java that brings to the safety-critical industry the possibility of using Java. SCJ defines three compliance levels: Level 0, Level 1 and Level 2. The SCJ specification is clear on what constitutes a Level 2 application in terms of its use of the defined API, but not the occasions on which it should be used. This paper broadly classifies the features that are only available at Level 2 into three groups:~nested mission sequencers, managed threads, and global scheduling across multiple processors. We explore the first two groups to elicit programming requirements that they support. We identify several areas where the SCJ specification needs modifications to support these requirements fully; these include:~support for terminating managed threads, the ability to set a deadline on the transition between missions, and augmentation of the mission sequencer concept to support composibility of timing constraints. We also propose simplifications to the termination protocol of missions and their mission sequencers. To illustrate the benefit of our changes, we present excerpts from a formal model of SCJ Level~2 written in Circus, a state-rich process algebra for refinement.

Software Engineering
JavaScript Language Design and Implementation in Tandem

Sukyoung Ryu,Jihyeok Park

DOI: https://doi.org/10.1145/3624723

IF: 22.7

2024-05-02

Communications of the ACM

Abstract:A proposal to first design a language in a mechanized specification, and the advantages that follow.

computer science, theory & methods, software engineering, hardware & architecture
jscefr: A Framework to Evaluate the Code Proficiency for JavaScript

Chaiyong Ragkhitwetsagul,Komsan Kongwongsupak,Thanakrit Maneesawas,Natpichsinee Puttiwarodom,Ruksit Rojpaisarnkit,Morakot Choetkiertikul,Raula Gaikovina Kula,Thanwadee Sunetnanta

2024-08-29

Abstract:In this paper, we present jscefr (pronounced jes-cee-fer), a tool that detects the use of different elements of the JavaScript (JS) language, effectively measuring the level of proficiency required to comprehend and deal with a fragment of JavaScript code in software maintenance tasks. Based on the pycefr tool, the tool incorporates JavaScript elements and the well-known Common European Framework of Reference for Languages (CEFR) and utilizes the official ECMAScript JavaScript documentation from the Mozilla Developer Network. jscefr categorizes JS code into six levels based on proficiency. jscefr can detect and classify 138 different JavaScript code constructs. To evaluate, we apply our tool to three JavaScript projects of the NPM ecosystem, with interesting results. A video demonstrating the tool's availability and usage is available at <a class="link-external link-https" href="https://youtu.be/Ehh-Prq59Pc" rel="external noopener nofollow">this https URL</a>.

Software Engineering
An Overview Of Jb (Jade Bird) Component Library System Jbcl

Kq Li,Lf Guo,H Mei,Fq Yang

DOI: https://doi.org/10.1109/TOOLS.1997.713545

1998-01-01

Abstract:This article introduces the JB (Jade Bird) Component Library system -- JBCL. The goal of JBCL is to describe, manage, store and retrieve components. Basing on the JB component model, the JB Component Library Data Model is developed. JBCL provides three sets of tools to assist users and managers to make best use of the JB Component Library, and uses faceted method as the main classification strategy, and uses some other methods as auxiliary. Accordingly, it provides multiple retrieval means.
Application of J2EE in Curatorial Management System

Wenjun Yan

2006-01-01

Abstract:The J2EE architecture and its component technologies are introduced, and the reason why J2EE technology is adopted here is discussed. With new demands of the curatorial management, the curatorial management system is designed and implemented by using J2EE component technology which has the feature of across-platform, real-time and expandability, and can unify various enterprise in- formation resources successfully. The management level and the economic benefit of the enterprise are improved, and the advantage of the distributed calculating platform of J2EE is shown.
Multi-Stage JavaScript

Anthony Savidis,Yannis Apostolidis,Yannis Lilis

DOI: https://doi.org/10.48550/arXiv.1807.01611

2018-07-04

Abstract:Multi-stage languages support generative metaprogramming via macros evaluated in a process preceding the actual interpretation or compilation of the program in which they are used. Macros update the source of their hosting program by emitting code that takes their place in the file, while their code may also be produced, fully or partially, by nested macros. All macros at the same nesting belong to the same stage, with the outer stage collecting the macros affect-ing only the main program. We extended JavaScript with staging annotations and implemented them in Spider Monkey, emitting pure JavaScript code as the final outcome of stage computation. We discuss how the original Spider Monkey system is minimally affected with extensions in the syntax, parser and internal AST structures, and the addition of an unparser, a staging loop, some library functions and a debugger backend component for AST inspection. Since stages have a generative metaprogramming role we do not foresee any interplay with the browser DOM, and thus there is no reason to repeat their evalua-tion on every page load. Hence, such JavaScript extensions are meant only for development-time, emitting pure JavaScript code that can be run in any browser. Finally, to enable debugging stages in any browser we implemented a pure JavaScript client, communicating with the extended Spider Monkey, and offering the necessary AST display and unparsing that a browser debugger does not provide.

Programming Languages

JSC : A JavaScript Object System

CodeCity for (and by) JavaScript

Dependent types for JavaScript

JSAI: Designing a Sound, Configurable, and Efficient Static Analyzer for JavaScript

JS-son -- A Lean, Extensible JavaScript Agent Programming Library

JSClassFinder: A Tool to Detect Class-like Structures in JavaScript

Advanced OOP and new syntax patterns for Javascript

Transaction-based Sandboxing for JavaScript

JAS: JVM-Based Active Storage Framework for Object-based Storage Systems

Spectroscopic electric-field measurement in laser-excited plasmas

JSBML: a flexible Java library for working with SBML

ECMAScript -- The journey of a programming language from an idea to a standard

SafeJS: Hermetic Sandboxing for JavaScript

Jbcdl: An Object-Oriented Component Description Language

Safety-Critical Java: Level 2 in Practice

JavaScript Language Design and Implementation in Tandem

jscefr: A Framework to Evaluate the Code Proficiency for JavaScript

An Overview Of Jb (Jade Bird) Component Library System Jbcl

Application of J2EE in Curatorial Management System

Multi-Stage JavaScript