In a procedurally reflective programming language, all programs are executed not through the agency of a primitive and inaccessible interpreter, but rather by the explicit running of a program that represents that interpreter. In the corresponding virtual machine, therefore, there are an infinite number of levels at which programs are processed, all simultaneously active. It is therefore a substantial question to show whether, and why, a reflective language is computationally tractable. We answer this question by showing how to produce an efficient implementation of a procedurally reflective language, based on the notion of a
在过程反射型编程语言中,所有程序均不是通过原始且无法访问的解释器的代理程序执行的,而是通过代表该解释器的程序的明确运行来执行的。因此,在相应的虚拟机中,有无数个级别的程序被处理,所有这些级别同时处于活动状态。因此,显示反射语言是否以及为什么在计算上易于处理是一个实质性的问题。我们通过显示如何基于
机译:反射并行逻辑编程语言RKL1的实现
机译:程序化与语法发展:评论“语言开发作为程序化和技能学习”(Kamhi,2019)
机译:将程序知识嵌入到建筑信息模型中:IFC程序语言及其在柔性过渡曲线表示中的应用
机译:面向对象的并发反射语言可以有效地实现
机译:图表搜索作为必要/程序编程语言的功能
机译:聋儿语言世界。第一部分基本原理:母体反射法
机译:LVIV大学的尼克。系列律师关键词滥用权威,滥用权力,滥用官方地位,滥用欧盟办公室行为,国际法律监管,就业,自由运动倡导,倡导活动,倡导科学,倡导性宣传理论,倡导呼吁的理论,理由修改,法院调查结果的不一致事实,判决慈善组织的实际情况,取消或改变判决慈善机构,慈善组织的创始人,慈善机构资产,组成文件刑事诉讼,刑事诉讼主题,嫌疑人,嫌疑法,刑事诉讼,国际标准雇主的责任,道德伤害赔偿权,社会保险从工业事故,社会需求,劳动争端形式的员工历史和法律科学部的法律行为,科学活动执法设备,个人法律法案,制定执法法案的内容,法律法律公式(建设)行为的个人法律法案(属性),犯罪的合格犯罪,社会危险程度,犯罪形成特征法律社会社会法律技术,技术,法律法,法律制度,立法合法性,犯罪调查,犯罪概念,犯罪建议,战术方法旨在提供刑事诉讼,程序制裁,货币罚款,预审调查预审国家实施,执行形式,实施实践,欧洲国家,国际条约参与者,股东,伙伴关系,收购,不断变化,暂停证明,概率,可能性,可信度在证据,可靠性科学学校,研究,开发土地,农业和环境法,利沃科学校园,农业和环境法律议理乌克兰的冰,波兰共和国国家司法委员会,法官的独立,国际标准的司法部门劳动法人的推定开放期刊系统期刊帮助用户用户名密码记住我登录通知查看订阅语言选择lobsumberubmit期刊内容搜索搜索范围搜索按问题浏览作者标题在间接刑事定罪方面,再次对刑法的追溯效应及时
机译:快速实现一系列程序语言的语义原语。