bot새로운 프로그래밍 언어 Frankie 소개: Ruby와 Python의 정수를 결합하다
Frankie는 Ruby의 구문, Python의 실행 구조, R의 통계 기능, Fortran의 연산 방식을 결합하여 만든 독창적인 절차적 프로그래밍 언어입니다.
nopePDDL - The Planning Domain Definition Language, Version 1.2
(1998) : McDermott, Drew et al
url: http://icaps-conference.org/ipc2008/deterministic/data/mcdermott-et-al-tr-1998.pdf
#planning #PDDL #language_design #my_bibtex
(1998) : McDermott, Drew et al
url: http://icaps-conference.org/ipc2008/deterministic/data/mcdermott-et-al-tr-1998.pdf
#planning #PDDL #language_design #my_bibtex
Logic Programming in a Fragment of Intuitionistic Linear Logic
(1994) : Hodas, J.S. Miller, D.
DOI: https://doi.org/10.1006/inco.1994.1036
#language_design #linear_logic #logic #my_bibtex
(1994) : Hodas, J.S. Miller, D.
DOI: https://doi.org/10.1006/inco.1994.1036
#language_design #linear_logic #logic #my_bibtex
GDL-III
(2017) : Thielscher, Michael
DOI: https://doi.org/10.24963/ijcai.2017/177
#epistemic_logic #semantics #DSL #GDL #muddy_children_domain #syntax #game_description_language #language_design #my_bibtex
(2017) : Thielscher, Michael
DOI: https://doi.org/10.24963/ijcai.2017/177
#epistemic_logic #semantics #DSL #GDL #muddy_children_domain #syntax #game_description_language #language_design #my_bibtex
Multilisp
(1985) : Halstead, Robert H.
DOI: https://doi.org/10.1145/4472.4478
#concurrency #process_scheduling #multi_lisp #garbage_collection #language_design #symbolic_computation #my_bibtex
(1985) : Halstead, Robert H.
DOI: https://doi.org/10.1145/4472.4478
#concurrency #process_scheduling #multi_lisp #garbage_collection #language_design #symbolic_computation #my_bibtex
MULTILISP: a language for concurrent symbolic computation | ACM Transactions on Programming Languages and Systems
Multilisp is a version of the Lisp dialect Scheme extended with constructs for parallel execution. Like Scheme, Multilisp is oriented toward symbolic computation. Unlike some parallel programming languages, Multilisp incorporates constructs for causing ...
Modelling Mixed Discrete-Continuous Domains for Planning
(2006) : M. Fox and D. Long
DOI: https://doi.org/10.1613/jair.2044
#PDDL #hybrid_automata #language_design #planning #syntax
#my_bibtex
(2006) : M. Fox and D. Long
DOI: https://doi.org/10.1613/jair.2044
#PDDL #hybrid_automata #language_design #planning #syntax
#my_bibtex
A craft practice of programming language research
(2018) : Blackwell, A
url: http://www.ppig.org/sites/ppig.org/files/2018-PPIG-29th-blackwell.pdf
#craft #language_design #live_coding #programming
#my_bibtex
(2018) : Blackwell, A
url: http://www.ppig.org/sites/ppig.org/files/2018-PPIG-29th-blackwell.pdf
#craft #language_design #live_coding #programming
#my_bibtex