formal methods 15 posts [Program Synthesis #13] Deductive Synthesis: Specification에서 프로그램을 유도하기 Mar 21, 2026 [Program Synthesis #12] Type-Guided Synthesis: 타입으로 탐색 공간을 줄이는 방법 Mar 21, 2026 [Program Synthesis #10] Constraint-Based Synthesis: 논리로 프로그램을 만드는 방법 Mar 21, 2026 [Program Synthesis #7] Representation의 확장: FTA와 E-graph로 보는 프로그램 공간 Mar 21, 2026 [Program Synthesis #6] Representation-Based Synthesis: 탐색 공간을 압축하는 방법 Mar 21, 2026 [Program Synthesis #5] Search Prioritization: 어떤 프로그램부터 볼 것인가? Mar 21, 2026 [Program Synthesis #4] Enumerative Synthesis: 가능한 프로그램을 전부 만들어보면? Mar 21, 2026 [Program Synthesis #3] CEGIS: 반례로 프로그램을 찾아가는 방법 Mar 21, 2026 [Program Synthesis #2] SyGuS 심화: SMT와 Grammar로 프로그램 합성 이해하기 Mar 20, 2026 [Program Synthesis #1] SyGuS 입문: 프로그램을 자동으로 만드는 방법 Mar 19, 2026 [Programming Languages #5] Polymorphism: 하나의 코드가 여러 타입을 가지는 이유 Mar 18, 2026 [Programming Languages #4] Type Inference: 타입을 자동으로 추론하는 방법 Mar 18, 2026 [Programming Languages #3] 타입 시스템: 프로그램이 안전하다는 것을 어떻게 보장할까? Mar 18, 2026 [Programming Languages #2] Structural Induction과 프로그램의 의미 정의 Mar 18, 2026 [Programming Languages #1] 프로그래밍 언어는 무엇을 배우는 학문인가? Mar 17, 2026