Static Analysis - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

22
(FIVE YEARS 22)

H-INDEX

3
(FIVE YEARS 3)

Published By Springer International Publishing

9783030323035, 9783030323042
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Temporal Verification of Programs via First-Order Fixpoint Logic

2019 ◽  
pp. 413-436 ◽  
Author(s):  
Naoki Kobayashi ◽  
Takeshi Nishikawa ◽  
Atsushi Igarashi ◽  
Hiroshi Unno
Keyword(s):  
First Order

Direct Manipulation for Imperative Programs

2019 ◽  
pp. 347-367
Author(s):  
Qinheping Hu ◽  
Roopsha Samanta ◽  
Rishabh Singh ◽  
Loris D’Antoni
Keyword(s):  
Direct Manipulation

A Temporal Logic for Higher-Order Functional Programs

2019 ◽  
pp. 437-458
Author(s):  
Yuya Okuyama ◽  
Takeshi Tsukada ◽  
Naoki Kobayashi
Keyword(s):  
Temporal Logic ◽  
Higher Order

scholarly journals Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis

2019 ◽  
pp. 48-72
Author(s):  
Hua Yan ◽  
Shiping Chen ◽  
Yulei Sui ◽  
Yueqian Zhang ◽  
Changwei Zou ◽  
...  
Keyword(s):  
Sensitive Analysis ◽  
Context Sensitive

scholarly journals Multiphase-Linear Ranking Functions and Their Relation to Recurrent Sets

2019 ◽  
pp. 459-480
Author(s):  
Amir M. Ben-Amram ◽  
Jesús J. Doménech ◽  
Samir Genaim
Keyword(s):  
Ranking Functions
Load More ...
Sign in / Sign up

Export Citation Format

Share Document