logo
program transformations

会议结果 (2)

International Symposium on Functional and Logic Programming (FLOPS)

Rank: National: JapanOffline
Tsukuba, Japan
May 26, 2026
functional programminglogic programmingfunctional-logic programming+7 更多

Verification, Model Checking and Abstract Interpretation (VMCAI)

Rank: BOffline
Rennes, France
Jan 12, 2026 - Jan 13, 2026
program verificationmodel checkingabstract interpretation+23 更多