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

TOTAL DOCUMENTS

24

(FIVE YEARS 24)

H-INDEX

1

(FIVE YEARS 1)

Published By Springer International Publishing

9783030341749, 9783030341756

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Simulations in Rank-Based Büchi Automata Complementation

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-34175-6_23 ◽

2019 ◽

pp. 447-467

Author(s):

Yu-Fang Chen ◽

Vojtěch Havlena ◽

Ondřej Lengál

Keyword(s):

Büchi Automata ◽

Download Full-text

Mimalloc: Free List Sharding in Action

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-34175-6_13 ◽

2019 ◽

pp. 244-265

Author(s):

Daan Leijen ◽

Benjamin Zorn ◽

Leonardo de Moura

Keyword(s):

Download Full-text

Formal Verifications of Call-by-Need and Call-by-Name Evaluations with Mutual Recursion

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-34175-6_10 ◽

2019 ◽

pp. 181-201

Author(s):

Masayuki Mizuno ◽

Eijiro Sumii

Download Full-text

Dissecting Widening: Separating Termination from Information

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-34175-6_6 ◽

2019 ◽

pp. 95-114

Author(s):

Graeme Gange ◽

Jorge A. Navas ◽

Peter Schachte ◽

Harald Søndergaard ◽

Peter J. Stuckey

Download Full-text

On Strings in Software Model Checking

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-34175-6_2 ◽

2019 ◽

pp. 19-30

Author(s):

Hossein Hojjat ◽

Philipp Rümmer ◽

Ali Shamakhi

Keyword(s):

Model Checking ◽

Software Model Checking ◽

Download Full-text

Completeness of Cyclic Proofs for Symbolic Heaps with Inductive Definitions

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-34175-6_19 ◽

2019 ◽

pp. 367-387

Author(s):

Makoto Tatsuta ◽

Koji Nakazawa ◽

Daisuke Kimura

Keyword(s):

Inductive Definitions

Download Full-text

Compositional Verification of Heap-Manipulating Programs Through Property-Guided Learning

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-34175-6_21 ◽

2019 ◽

pp. 405-424

Author(s):

Long H. Pham ◽

Jun Sun ◽

Quang Loc Le

Keyword(s):

Compositional Verification ◽

Guided Learning

Download Full-text

LiFtEr: Language to Encode Induction Heuristics for Isabelle/HOL

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-34175-6_14 ◽

2019 ◽

pp. 266-287 ◽

Author(s):

Yutaka Nagashima

Download Full-text

A Dependently Typed Multi-stage Calculus

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-34175-6_4 ◽

2019 ◽

pp. 53-72

Author(s):

Akira Kawata ◽

Atsushi Igarashi

Keyword(s):

Download Full-text

Factorization and Normalization, Essentially

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-34175-6_9 ◽

2019 ◽

pp. 159-180

Author(s):

Beniamino Accattoli ◽

Claudia Faggian ◽

Giulio Guerrieri

Download Full-text