Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Programming Languages and Systems: 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings > Formal Small-Step Verification of a Call-by-Value Lambda Calculus Machine
Programming Languages and Systems: 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings |
Sukyoung Ryu
Springer International Publishing
Programming Languages and Systems: 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings
Formal Small-Step Verification of a Call-by-Value Lambda Calculus Machine
Authors

Fabian Kunze; Gert Smolka; Yannick Forster

ARI Id

1665155440977_5074249

Access

Not Available Free

Pages

264-283

DOI

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

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-030-02768-1_15

Table of Contents of Book
Showing 1 to 20 of 31 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
I-XI
Front Matter
1-1
Non-linear Pattern Matching with Backtracking for Non-free Data Types
Satoshi Egi; Yuichi Nishiwaki
3-23
Factoring Derivation Spaces via Intersection Types
Pablo Barenbaum; Gonzalo Ciruelos
24-44
Types of Fireballs
Beniamino Accattoli; Giulio Guerrieri
45-66
Front Matter
67-67
On the Soundness of Call Graph Construction in the Presence of Dynamic Language Features - A Benchmark and Tool Evaluation
Li Sui; Jens Dietrich; Michael Emery; Shawn Rasheed; Amjed Tahir
69-88
Complexity Analysis of Tree Share Structure
Xuan-Bach Le; Aquinas Hobor; Anthony W. Lin
89-108
Relational Thread-Modular Abstract Interpretation Under Relaxed Memory Models
Thibault Suzanne; Antoine Miné
109-128
Front Matter
129-129
Scallina: Translating Verified Programs from Coq to Scala
Youssef El Bakouny; Dani Mezher
131-145
HoIce: An ICE-Based Non-linear Horn Clause Solver
Adrien Champion; Naoki Kobayashi; Ryosuke Sato
146-156
Traf: A Graphical Proof Tree Viewer Cooperating with Coq Through Proof General
Hideyuki Kawabata; Yuta Tanaka; Mai Kimura; Tetsuo Hironaka
157-165
The Practice of a Compositional Functional Programming Language
Timothy Jones; Michael Homer
166-177
Front Matter
179-179
New Approaches for Almost-Sure Termination of Probabilistic Programs
Mingzhang Huang; Hongfei Fu; Krishnendu Chatterjee
181-201
Particle-Style Geometry of Interaction as a Module System
Ulrich Schöpp
202-222
Automated Synthesis of Functional Programs with Auxiliary Functions
Shingo Eguchi; Naoki Kobayashi; Takeshi Tsukada
223-241
Front Matter
243-243
Modular Verification of SPARCv8 Code
Junpeng Zha; Xinyu Feng; Lei Qiao
245-263
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 31 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings