mtmtThe Hungarian Scientific Bibliography

XML JSON Public search Magyarul

Programming Languages and Systems

Kiselyov, O. [ed.]

English Conference proceedings (Book) Scientific

Published: Springer, Singapore, Singapore 2025

Series: Lecture Notes in Computer Science 0302-9743 1611-3349, 15194 LNCS

Identifiers

MTMT: 35863944
ISBN: 9789819789429

Chapters

Liesnikov Bohdan et al. Building a Correct-by-Construction Type Checker for a Dependently Typed Core Language. (2025) In: Programming Languages and Systems pp. 63-83
Alves Sandra et al. Extending the Quantitative Pattern-Matching Paradigm. (2025) In: Programming Languages and Systems pp. 84-105
Thi Thu Ha Doan et al. A Formal Verification Framework for Tezos Smart Contracts Based on Symbolic Execution. (2025) In: Programming Languages and Systems pp. 305-324
Katsura H. et al. Mode-based Reduction from Validity Checking of Fixpoint Logic Formulas to Test-Friendly Reachability Problem. (2025) In: Programming Languages and Systems pp. 325-345

Citation styles: IEEE ACM APA Chicago Harvard CSLCopyPrint

2026-01-22 20:13

×

Export list as bibliography

Citation styles: IEEE ACM APA Chicago HarvardPrintCopy