Abstract State Machine Language

programming language based on the Abstract State Machines formal method

en-GB/əbˈstɹækt ˈsteɪt məˈʃiːn ˈlæŋɡwɪd͡ʒ/
en-US/ˈæbˌstɹæktn ˈsteɪt məˈʃin ˈlæŋɡwɪd͡ʒ/

カテゴリ：

programming language