咨询与建议

限定检索结果

文献类型

  • 4 篇 期刊文献

馆藏范围

  • 4 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 4 篇 工学
    • 4 篇 计算机科学与技术...
    • 3 篇 软件工程

主题

  • 4 篇 logic meta-progr...
  • 1 篇 change distillin...
  • 1 篇 program analysis
  • 1 篇 generic transfor...
  • 1 篇 software evoluti...
  • 1 篇 java
  • 1 篇 conditional tran...
  • 1 篇 structural regul...
  • 1 篇 concrete syntax ...
  • 1 篇 change querying
  • 1 篇 smalltalk
  • 1 篇 design patterns
  • 1 篇 object-oriented ...
  • 1 篇 gentl
  • 1 篇 best practice pa...

机构

  • 1 篇 univ bonn dept c...
  • 1 篇 free univ brusse...
  • 1 篇 catholic univ lo...
  • 1 篇 vrije univ bruss...
  • 1 篇 maxflow bvba leu...
  • 1 篇 vrije univ bruss...
  • 1 篇 univ mons serv g...

作者

  • 1 篇 stevens reinout
  • 1 篇 appeltauer malte
  • 1 篇 de roover coen
  • 1 篇 kellens andy
  • 1 篇 mens t
  • 1 篇 kniesel gunter
  • 1 篇 d'hondt theo
  • 1 篇 castro sergio
  • 1 篇 brichau johan
  • 1 篇 fabry j
  • 1 篇 molderez tim

语言

  • 2 篇 英文
  • 2 篇 其他
检索条件"主题词=logic meta-programming"
4 条 记 录,以下是1-10 订阅
排序:
Querying distilled code changes to extract executable transformations
收藏 引用
EMPIRICAL SOFTWARE ENGINEERING 2019年 第1期24卷 491-535页
作者: Stevens, Reinout Molderez, Tim De Roover, Coen Maxflow BVBA Leuven Belgium Vrije Univ Brussel Software Languages Lab Ixelles Belgium
Change distilling algorithms compute a sequence of fine-grained changes that, when executed in order, transform a given source AST into a given target AST. The resulting change sequences are used in the field of minin... 详细信息
来源: 评论
Enforcing structural regularities in software using IntensiVE
收藏 引用
SCIENCE OF COMPUTER programming 2010年 第4期75卷 232-246页
作者: Brichau, Johan Kellens, Andy Castro, Sergio D'Hondt, Theo Catholic Univ Louvain Louvain Belgium Vrije Univ Brussel Brussels Belgium
The design and implementation of a software system is often governed by a variety of coding conventions, design patterns, architectural guidelines, design rules, and other so-called structural regularities. To prevent... 详细信息
来源: 评论
Towards Concrete Syntax Patterns for logic-based Transformation Rules
收藏 引用
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 2008年 第C期219卷 113-132页
作者: Appeltauer, Malte Kniesel, Gunter Univ Bonn Dept Comp Sci 3 Bonn Germany
logic meta-programming in Prolog is a powerful way to express program analysis and transformation. However, its use can be difficult and error-prone because it requires programmers to know the meta-level representatio... 详细信息
来源: 评论
Language-independent detection of object-oriented design patterns
收藏 引用
COMPUTER LANGUAGES SYSTEMS & STRUCTURES 2004年 第1-2期30卷 21-33页
作者: Fabry, J Mens, T Free Univ Brussels Programming Technol Lab B-1050 Brussels Belgium Univ Mons Serv Genie Logiciel B-7000 Mons Belgium
This paper shows that one can reason at a meta level about the structure of object-oriented source code in a language-independent way. To achieve this, we propose a language-independent meta-level interface to extract... 详细信息
来源: 评论