ANTLR

作品数：38被引量：83H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：胡军王立松杨鹤标王海燕刘派更多>>
相关机构：南京航空航天大学北京邮电大学西安电子科技大学国防科学技术大学更多>>
相关期刊：《计算技术与自动化》《中国集成电路》《沈阳工程学院学报（自然科学版）》《电脑编程技巧与维护》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划江苏省自然科学基金湖南省科技计划项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于Antlr与微前端架构的通信录实现方案被引量：1
《信息化研究》2023年第4期60-65,共6页周梦璐 邓克波 钟山 田建芳 
本文针对军事领域多样化的指挥控制需求,提出一种基于Antlr与微前端架构的通信录子模块实现方案,以Antlr语义分析库为基础,建立了基于Antlr的通信录过滤领域语言,通过对语法规则的解析处理进一步实现了以全量通信录数据、过滤语句为输入...
关键词：通信录 ANTLR 微前端 
“编译原理”课程的教学改革实践被引量：3
《中国信息技术教育》2023年第10期96-99,共4页邢建国 
作者针对计算机专业“编译原理”课程教学实践中存在的一些问题,提出了在编译原理课程中要引入两个基于λ-演算的小语言,通过对这两个小语言的文法和解释器实现的介绍,使学生了解课程体系结构和课程目标,掌握编程语言重要的基本概念和...
关键词：编译原理 λ-演算 解释器 ANTLR 
安全检查工具中Java前端框架设计方法研究
《电脑编程技巧与维护》2023年第3期30-32,46,共4页罗雅丽 
随着Java程序应用范围越来越广,其安全性也成为软件行业重点关注的问题。相关研究人员深入分析了各种安全检查软件的特点,并根据Java安全需求,基于预处理环节与中间表示环节,搭建了Java前端框架。重点分析了Java Compiler Tree API预处...
关键词：安全检查工具 Java前端 ANTLR工具 
基于Antlr的函数式动态解释执行语言Effect设计与实现
《信息系统工程》2022年第10期70-74,共5页郑晓东 顿梦军 栾国森 
宜昌市2019年应用基础研究项目(A19-302-14)。
Effect语言是一门风格上类似JavaScript的函数式编程语言,它使用Java实现并可以在JVM上跨平台动态解释执行。为了简化代码编写和程序调试,Effect语言的实现严格遵守函数式编程语言的五大特性。Effect语言通过Antlr实现语法和词法分析,...
关键词：编程语言 动态解释执行 ANTLR JAVA 基于原型 
基于SQL模版的大数据批处理设计与实现
《沈阳工程学院学报（自然科学版）》2022年第2期90-96,共7页曾姣艳 高宋俤 曾美艳 
大数据的组件种类繁多,选择合适的组件及其调用方式能极大地降低大数据平台的使用成本。基于SQL模版的大数据处理平台,让业务方仅需掌握SQL语句就可以选择平台底层不同的计算引擎完成数据分析工作。平台选用了基于ANTLR解析SQL的大数据...
关键词：大数据平台 SQL模版 Hive Spark SQL Presto ANTLR AIRFLOW 
一种基于国产异构众核处理器的C++智能源码转换框架被引量：3
《计算机工程与科学》2021年第6期997-1005,共9页俞茂学 贾东宁 魏志强 许佳立 马广浩 
山东省重大科研平台建设项目(2018SDPT01)。
国产异构众核处理器是我国打破国际技术壁垒,在高性能计算领域取得突破的关键环节。围绕国产超算的软件生态环境建设,采用智能源码转换的方法盘活海量多核架构的遗产代码是加速软件研发效率,推动领域发展的重要途径。针对国产运算核心...
关键词：异构众核 源码转换 OpenACC 并行计算 ANTLR C++ 
一种AltaRica 3.0模型中类的平展化方法被引量：1
《计算机科学》2021年第5期51-59,共9页祁健 胡军 谷青范 荣灏 展万里 董彦宏 
国家重点基础研究发展计划(973计划)项目(2014CB744900);2020年度重庆市出版专项资金资助项目。
AltaRica是一类面向复杂安全关键系统的建模语言,卫士转换系统(Guarded Transition System,GTS)是最新的AltaRica 3.0的执行语义模型。AltaRica 3.0层次结构语法模型中类的平展化是将AltaRica 3.0语法模型转换为等价的平展化GTS语义模...
关键词：ANTLR AltaRica 3.0 GTS 模型转换 类的平展化 
一种AltaRica3.0模型到NuSMV模型的转换方法被引量：1
《计算机科学》2020年第12期73-86,共14页陈朔 胡军 唐红英 石梦烨 
国家重点基础研究发展计划(973计划)(2014CB744904);南京航空航天大学研究生创新基地(实验室)开放基金(kfjj20181607)。
AltaRica 3.0是一类面向复杂关键系统的安全性建模与分析语言,缺乏时态属性的模型检验技术,不支持穷尽式的空间检验,而NuSMV支持穷尽式的模型检验技术,因此对AltaRica 3.0模型进行扩展,提出了基于语言解析器生成器ANTLR(Another Tool fo...
关键词：ANTLR AltaRica 3.0 GTS AST NUSMV 模型转换 
基于ANTLR的AltaRica 3.0模型平展化算法设计与实现被引量：5
《小型微型计算机系统》2020年第7期1476-1487,共12页陈朔 胡军 王立松 
国家“九七三”重点基础研究发展计划项目(2014CB744903)资助;南京航空航天大学研究生创新基地(实验室)开放基金项目(kfjj20181607);中央高校基本科研业务费专项资金项目资助。
AltaRica 3.0是一类面向复杂关键系统的安全性建模与分析语言,由于AltaRica 3.0的结构模型S2ML(System Structure Modeling Language)是描述真实系统的层次结构信息,无法进行模型的安全性分析,而AltaRica 3.0的语义模型GTS(Guarded Tran...
关键词：ANTLR AltaRica 3.0 平展化 AST A2GTS 转换算法 
一种基于ANTLR的面向Scratch3.0的特征提取和检测系统被引量：4
《北京邮电大学学报》2019年第6期70-75,共6页刘派 孙岩 任玮 
国家自然科学基金项目(61672109,61772085,61877005).
Scratch是一种适合少年儿童使用的可视化编程语言,并在全球的编程教育领域中受到广泛地关注.由于目前各大教育编程平台都开始使用Scratch3.0版本,而已有的特征提取和检测系统并不支持新版本,为此,提出了一种基于链表数据结构和一种语言...
关键词：SCRATCH 一种语言识别工具 特征检测 特征提取 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部