TY - CHAP AU - Kastens, Uwe DP - Universität Paderborn LA - eng PY - 2009 SN - 3-540-57186-8 SP - 1-11 T2 - Programming language implementation and logic programming TI - Executable specifications for language implementation UR - https://nbn-resolving.org/urn:nbn:de:hbz:466:2-4219 VL - 1993 Y2 - 2026-10-08T13:15:05 ER -