Programming Languages and Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

22
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer International Publishing

9783030027674, 9783030027681
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On the Soundness of Call Graph Construction in the Presence of Dynamic Language Features - A Benchmark and Tool Evaluation

2018 ◽  
pp. 69-88 ◽  
Author(s):  
Li Sui ◽  
Jens Dietrich ◽  
Michael Emery ◽  
Shawn Rasheed ◽  
Amjed Tahir
Keyword(s):  
Call Graph ◽  
Tool Evaluation ◽  
Dynamic Language

HoIce: An ICE-Based Non-linear Horn Clause Solver

2018 ◽  
pp. 146-156 ◽  
Author(s):  
Adrien Champion ◽  
Naoki Kobayashi ◽  
Ryosuke Sato
Keyword(s):  
Horn Clause ◽  
Non Linear

scholarly journals Formal Small-Step Verification of a Call-by-Value Lambda Calculus Machine

2018 ◽  
pp. 264-283
Author(s):  
Fabian Kunze ◽  
Gert Smolka ◽  
Yannick Forster
Keyword(s):  
Lambda Calculus ◽  
Small Step

Traf: A Graphical Proof Tree Viewer Cooperating with Coq Through Proof General

2018 ◽  
pp. 157-165
Author(s):  
Hideyuki Kawabata ◽  
Yuta Tanaka ◽  
Mai Kimura ◽  
Tetsuo Hironaka
Keyword(s):  
Tree Viewer ◽  
Proof Tree

scholarly journals Shallow Effect Handlers

2018 ◽  
pp. 415-435 ◽  
Author(s):  
Daniel Hillerström ◽  
Sam Lindley

scholarly journals Complexity Analysis of Tree Share Structure

2018 ◽  
pp. 89-108
Author(s):  
Xuan-Bach Le ◽  
Aquinas Hobor ◽  
Anthony W. Lin
Keyword(s):  
Complexity Analysis ◽  
Share Structure

scholarly journals On the Complexity of Pointer Arithmetic in Separation Logic

2018 ◽  
pp. 329-349 ◽  
Author(s):  
James Brotherston ◽  
Max Kanovich
Keyword(s):  
Separation Logic

scholarly journals New Approaches for Almost-Sure Termination of Probabilistic Programs

2018 ◽  
pp. 181-201 ◽  
Author(s):  
Mingzhang Huang ◽  
Hongfei Fu ◽  
Krishnendu Chatterjee
Keyword(s):  
New Approaches ◽  
Probabilistic Programs
Load More ...
Sign in / Sign up

Export Citation Format

Share Document