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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(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

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-02768-1_4 ◽

2018 ◽

pp. 69-88 ◽

Cited By ~ 2

Author(s):

Li Sui ◽

Jens Dietrich ◽

Michael Emery ◽

Shawn Rasheed ◽

Amjed Tahir

Keyword(s):

Call Graph ◽

Tool Evaluation ◽

Dynamic Language

Download Full-text

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

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-02768-1_8 ◽

2018 ◽

pp. 146-156 ◽

Cited By ~ 7

Author(s):

Adrien Champion ◽

Naoki Kobayashi ◽

Ryosuke Sato

Keyword(s):

Horn Clause ◽

Non Linear

Download Full-text

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

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-02768-1_15 ◽

2018 ◽

pp. 264-283

Author(s):

Fabian Kunze ◽

Gert Smolka ◽

Yannick Forster

Keyword(s):

Lambda Calculus ◽

Small Step

Download Full-text

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

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-02768-1_9 ◽

2018 ◽

pp. 157-165

Author(s):

Hideyuki Kawabata ◽

Yuta Tanaka ◽

Mai Kimura ◽

Tetsuo Hironaka

Keyword(s):

Tree Viewer ◽

Proof Tree

Download Full-text

Shallow Effect Handlers

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-02768-1_22 ◽

2018 ◽

pp. 415-435 ◽

Cited By ~ 3

Author(s):

Daniel Hillerström ◽

Sam Lindley

Download Full-text

The Practice of a Compositional Functional Programming Language

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-02768-1_10 ◽

2018 ◽

pp. 166-177

Author(s):

Timothy Jones ◽

Michael Homer

Keyword(s):

Programming Language ◽

Functional Programming ◽

Functional Programming Language

Download Full-text

Certifying CPS Transformation of Let-Polymorphic Calculus Using PHOAS

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-02768-1_20 ◽

2018 ◽

pp. 375-393 ◽

Cited By ~ 1

Author(s):

Urara Yamada ◽

Kenichi Asai

Download Full-text

Complexity Analysis of Tree Share Structure

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-02768-1_5 ◽

2018 ◽

pp. 89-108

Author(s):

Xuan-Bach Le ◽

Aquinas Hobor ◽

Anthony W. Lin

Keyword(s):

Complexity Analysis ◽

Share Structure

Download Full-text

On the Complexity of Pointer Arithmetic in Separation Logic

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-02768-1_18 ◽

2018 ◽

pp. 329-349 ◽

Cited By ~ 1

Author(s):

James Brotherston ◽

Max Kanovich

Keyword(s):

Separation Logic

Download Full-text

New Approaches for Almost-Sure Termination of Probabilistic Programs

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-02768-1_11 ◽

2018 ◽

pp. 181-201 ◽

Cited By ~ 4

Author(s):

Mingzhang Huang ◽

Hongfei Fu ◽

Krishnendu Chatterjee

Keyword(s):

New Approaches ◽

Probabilistic Programs

Download Full-text

Programming Languages and Systems - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

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

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

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

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

Shallow Effect Handlers

The Practice of a Compositional Functional Programming Language

Certifying CPS Transformation of Let-Polymorphic Calculus Using PHOAS

Complexity Analysis of Tree Share Structure

On the Complexity of Pointer Arithmetic in Separation Logic

New Approaches for Almost-Sure Termination of Probabilistic Programs

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