mtmtMagyar Tudományos Művek Tára

XML JSON Átlépés a keresőbe In English

Programming Languages and Systems

Kiselyov, O. [szerk.]

Angol nyelvű Konferenciakötet (Könyv) Tudományos

Megjelent: Springer, Singapore, Szingapúr 2025

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

Azonosítók

MTMT: 35863944
ISBN: 9789819789429

Fejezetek

Liesnikov Bohdan et al. Building a Correct-by-Construction Type Checker for a Dependently Typed Core Language. (2025) Megjelent: Programming Languages and Systems pp. 63-83
Alves Sandra et al. Extending the Quantitative Pattern-Matching Paradigm. (2025) Megjelent: 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) Megjelent: 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) Megjelent: Programming Languages and Systems pp. 325-345

Hivatkozás stílusok: IEEE ACM APA Chicago Harvard CSLMásolásNyomtatás

2025-12-13 11:22

×

Lista exportálása irodalomjegyzékként

Hivatkozás stílusok: IEEE ACM APA Chicago HarvardNyomtatásMásolás