爱国者
发表于 2025-3-30 11:11:21
http://reply.papertrans.cn/88/8710/870916/870916_51.png
冰河期
发表于 2025-3-30 12:41:39
Dark Knowledge and Graph Grammars in Automated Software Designystems. We explain how graph grammars provide a framework to encode expert knowledge, produce correct-by-construction derivations of dataflow applications, enable the generation of high-performance code, and improve how software design of dataflow applications can be taught to undergraduates.
Expurgate
发表于 2025-3-30 19:30:22
http://reply.papertrans.cn/88/8710/870916/870916_53.png
chastise
发表于 2025-3-30 21:15:16
http://reply.papertrans.cn/88/8710/870916/870916_54.png
存在主义
发表于 2025-3-31 01:17:27
Method and Tool Support for Classifying Software Languages with ,tributes (i.e., metrics) such as depth are visualized. Irrelevant edges and nodes may be excluded. These exclusions are documented while using a manageable and well-defined set of ‘exclusion types’ as comments.
Insatiable
发表于 2025-3-31 06:29:35
Circular Higher-Order Reference Attribute Grammarsbe well defined. We introduce a generalized evaluation algorithm that can handle grammars where circular attributes and rewrites are interdependent. To this end, we introduce circular higher-order attributes, and show how RAG rewrites are a special form of such attributes.
–DOX
发表于 2025-3-31 13:01:55
http://reply.papertrans.cn/88/8710/870916/870916_57.png
动物
发表于 2025-3-31 16:59:07
http://reply.papertrans.cn/88/8710/870916/870916_58.png
Trypsin
发表于 2025-3-31 21:29:22
A Pretty Good Formatting Pipelineto produce indented code that is fairly readable for humans, without reaching the level of purpose-built reformatting tools, such as those built into IDEs. This paper presents a library of pluggable components, built to support style-based formatting and reformatting of code, and to enable further experimentation with code formatting.
动脉
发表于 2025-4-1 00:41:01
0302-9743perspectives. The papers are organized in topical sections on domain-specific languages; language patterns and evolution; grammars; tools; language analysis; and meta- and megamodelling.978-3-319-02653-4978-3-319-02654-1Series ISSN 0302-9743 Series E-ISSN 1611-3349