Precise and scalable static analysis of jQuery using a regular expression domain

2017 ◽  
Vol 52 (2) ◽  
pp. 25-36 ◽  
Author(s):  
Changhee Park ◽  
Hyeonseung Im ◽  
Sukyoung Ryu
2002 ◽  
Vol 9 (24) ◽  
Author(s):  
Aske Simon Christensen ◽  
Anders Møller ◽  
Michael I. Schwartzbach

We describe the <em>summary graph</em> lattice for dataflow analysis of programs that dynamically construct XML documents. Summary graphs have successfully been used to provide static guarantees in the JWIG language for programming interactive Web services. In particular, the JWIG compiler is able to check validity of dynamically generated XHTML documents and to type check dynamic form data. In this paper we present summary graphs and indicate their applicability for various scenarios. We also show that summary graphs have exactly the same expressive power as the regular expression types from XDuce, but that the extra structure in summary graphs makes them more suitable for certain program analyses.


2016 ◽  
Vol 136 (10) ◽  
pp. 692-697
Author(s):  
Shuto Higa ◽  
Chikatoshi Yamada ◽  
Kei Miyagi ◽  
Shuichi Ichikawa

2019 ◽  
Author(s):  
Hossein Alimohammadi ◽  
Mostafa Dalvi Esfahani ◽  
Mohammadali Lotfollahi Yaghin

In this study, the seismic behavior of the concrete shear wall considering the opening with different shapes and constant cross-section has been studied, and for this purpose, several shear walls are placed under the increasingly non-linear static analysis (Pushover). These case studies modeled in 3D Abaqus Software, and the results of the ductility coefficient, hardness, energy absorption, added resistance, the final shape, and the final resistance are compared to shear walls without opening.


2017 ◽  
Vol 9 (1) ◽  
pp. 19-24 ◽  
Author(s):  
David Domarco ◽  
Ni Made Satvika Iswari

Technology development has affected many areas of life, especially the entertainment field. One of the fastest growing entertainment industry is anime. Anime has evolved as a trend and a hobby, especially for the population in the regions of Asia. The number of anime fans grow every year and trying to dig up as much information about their favorite anime. Therefore, a chatbot application was developed in this study as anime information retrieval media using regular expression pattern matching method. This application is intended to facilitate the anime fans in searching for information about the anime they like. By using this application, user can gain a convenience and interactive anime data retrieval that can’t be found when searching for information via search engines. Chatbot application has successfully met the standards of information retrieval engine with a very good results, the value of 72% precision and 100% recall showing the harmonic mean of 83.7%. As the application of hedonic, chatbot already influencing Behavioral Intention to Use by 83% and Immersion by 82%. Index Terms—anime, chatbot, information retrieval, Natural Language Processing (NLP), Regular Expression Pattern Matching


2012 ◽  
Vol 23 (9) ◽  
pp. 2261-2272 ◽  
Author(s):  
Ting-Wen LIU ◽  
Yong SUN ◽  
Dong-Bo BU ◽  
Li GUO ◽  
Bin-Xing FANG

Sign in / Sign up

Export Citation Format

Share Document