Exhaustive program generation by interpretation of Herbelin's LJT variant
-
- 片山 晋
- 宮崎大学
書誌事項
- タイトル
- Exhaustive program generation by interpretation of Herbelin's LJT variant
- 著者
- Susumu Katayama
収録刊行物
-
- Proceedings of the ACM SIGPLAN International Workshop on Approaches and Applications of Inductive Programming
-
Proceedings of the ACM SIGPLAN International Workshop on Approaches and Applications of Inductive Programming 85-86, 2009