Towards Logic-Based Verification of Java']JavaScript Programs

被引：1

作者：

Santos, Jose Fragoso ^{[1
]}

Gardner, Philippa ^{[1
]}

Maksimovic, Petar ^{[1
,2
]}

Naudziuniene, Daiva ^{[1
]}

机构：

[1] Imperial Coll London, London, England

[2] Serbian Acad Arts & Sci, Math Inst, Belgrade, Serbia

来源：

AUTOMATED DEDUCTION - CADE 26 | 2017年 / 10395卷

基金：

英国工程与自然科学研究理事会;

关键词：

D O I：

10.1007/978-3-319-63046-5_2

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

In this position paper, we argue for what we believe is a correct pathway to achieving scalable symbolic verification of JavaScript based on separation logic. We highlight the difficulties imposed by the language, the current state-of-the-art in the literature, and the sequence of steps that needs to be taken. We briefly describe JaVerT, our semiautomatic toolchain for JavaScript verification.

引用

页码：8 / 25

页数：18

共 50 条

[1] Towards a Program Logic for Java']JavaScript
Gardner, Philippa
Maffeis, Sergio
Smith, Gareth
POPL 12: PROCEEDINGS OF THE 39TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2012, : 31 - 44
[2] Towards a Program Logic for Java']JavaScript
Gardner, Philippa
Maffeis, Sergio
Smith, Gareth
ACM SIGPLAN NOTICES, 2012, 47 (01) : 31 - 44
[3] Towards Specializing Java']JavaScript Programs
Thiemann, Peter
PERSPECTIVES OF SYSTEM INFORMATICS, PSI 2014, 2015, 8974 : 320 - 334
[4] A fuzzy logic-based autonomous car control system for the Java']JavaScript Racer game
Etlik, Ugur Bugra
Korkmaz, Berk
Beke, Aykut
Kumbasar, Tufan
TRANSACTIONS OF THE INSTITUTE OF MEASUREMENT AND CONTROL, 2021, 43 (05) : 1028 - 1038
[5] Towards Verification and Testing of Java']Java Programs
de Melo, Ana C. V.
Nunes, Paulo R. F.
Xavier, Kleber S.
APPLIED COMPUTING 2008, VOLS 1-3, 2008, : 730 - 734
[6] Towards Verification of Java']Java Programs in √erICS
Zbrzezny, Andrzej
Wozna, Bozena
FUNDAMENTA INFORMATICAE, 2008, 85 (1-4) : 533 - 548
[7] Towards a type system for analyzing Java']JavaScript programs
Thiemann, P
PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2005, 3444 : 408 - 422
[8] Mashup Services Based on Java']JavaScript Logic
Li Tengfei
Cheng Bo
Chen Junliang
PROCEEDINGS OF 2012 2ND INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND NETWORK TECHNOLOGY (ICCSNT 2012), 2012, : 1131 - 1136
[9] Towards the automated verification of multithreaded Java']Java programs
Delzanno, G
Raskin, JF
Van Begin, L
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANAYLSIS OF SYSTEMS, PROCEEDINGS, 2002, 2280 : 173 - 187
[10] A dynamic Logic for the formal verification of Java']Java Card programs
Beckert, B
JAVA ON SMART CARDS: PROGRAMMING AND SECURITY, 2001, 2041 : 6 - 24

← 1 2 3 4 5 →