Analysis of meta-programs: An example

Analysis of meta-programs: An example

10.1142/S0218194006002689

Saved in:

書目詳細資料
Main Authors:	Jarzabek, S., Zhang, H., Shen, R.U., Lam, V.T., Zhenxin, S.
其他作者:	COMPUTER SCIENCE
格式:	Conference or Workshop Item
出版:	2013
主題:	Debugging Meta-programs Program analysis Program queries Program understanding
在線閱讀:	http://scholarbank.nus.edu.sg/handle/10635/40663
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!
機構:	National University of Singapore

相似書籍

Analysis and debugging of meta-programs in XVCL
由: CHEN LIANG
出版: (2010)

Design of flexible static program analyzers with PQL
由: Jarzabek, S.
出版: (2014)

SEMANTIC PROGRAM REPAIR
由: MECHTAEV SERGEY
出版: (2018)

Eliminating redundancies with a "composition with adaptation" meta-programming technique
由: Jarzabek, S., et al.
出版: (2013)

Eliminating Redundancies with a "Composition with Adaptation" Meta-programming Technique
由: Jarzabek, S., et al.
出版: (2013)

Accurately choosing execution runs for software fault localization
由: Guo, L., et al.
出版: (2013)

Automated path generation for software fault localization
由: Wang, T., et al.
出版: (2013)

Dynamic slicing on Java bytecode traces
由: Wang, T., et al.
出版: (2013)

Collection of dynamic programming prototype examples
由: Khu, Esperanza L., et al.
出版: (1982)

Symbolic Execution for Advanced Program Reasoning
由: VIJAYARAGHAVAN MURALI
出版: (2014)

Profile-guided program simplification for effective testing and analysis
由: JIANG, Lingxiao, et al.
出版: (2008)

Performance debugging of Esterel specifications
由: Ju, L., et al.
出版: (2013)

PROGRAM QUERY & TRANSFORMATION SYSTEM FOR SOFTWARE RE-ENGINEERING PROJECTS
由: DING XIN
出版: (2020)

Beyond templates: A study of clones in the STL and some general implications
由: Basit, H.A., et al.
出版: (2013)

OVER-FITTING IN PROGRAM REPAIR AND SYNTHESIS
由: GAO XIANG
出版: (2021)

TOTO: TOol for Tracing Objects in Oz
由: Henz, Martin, et al.
出版: (2021)

Transformation-based diagnosis of student programs for programming tutoring systems
由: Xu, S., et al.
出版: (2013)

Automatic recovery of root causes from bug-fixing changes
由: THUNG, Ferdian, et al.
出版: (2013)

Break the dead end of dynamic slicing: localizing data and control omission bug
由: LIN, Yun, et al.
出版: (2018)

Goal programming: The modified simplex method
由: Duque, Ma. Victorina, et al.
出版: (1982)

Dynamic programming
由: Modelo, Cynthia Yap
出版: (1978)

S3: Syntax- and semantic-guided repair synthesis via programming by examples
由: LE, Xuan-Bach D., et al.
出版: (2017)

Things structural clones tell that simple clones don't
由: Basit, H.A., et al.
出版: (2013)

A framework for program reasoning based on constraint traces
由: ANDREW EDWARD SANTOSA
出版: (2010)

Compactly representing parallel program executions
由: Goel, A., et al.
出版: (2013)

Compactly representing parallel program executions
由: Goel, A., et al.
出版: (2013)

Troubleshooting guide for accounting system problems
由: Garing, Arnel Roland T.
出版: (2009)

Repairing Windows Vista using startup repair
由: Resurreccion, Mark Gil F.
出版: (2008)

Beyond tamaki-sato style unfold/fold transformations for normal logic programs
由: Roychoudhury, A., et al.
出版: (2014)

Meta-Interpretive LEarning with Reuse
由: WANG, Rong, et al.
出版: (2024)

Program evaluation for Easy, C, Pascal programming languages
由: Garcia, Arnaldo, et al.
出版: (1989)

Identifying at-risk novice java programmers through the analysis of online protocols
由: EMILY, TABANAO
出版: (2011)

Optimization algorithms combining (meta)heuristics and mathematical programming and its application in engineering
由: Rodríguez, Nibaldo, et al.
出版: (2019)

Industrial experience with building a web portal product line using a lightweight, reactive approach
由: Pettersson, U., et al.
出版: (2013)

Equivalence and similarity refutation for probabilistic programs
由: CHATTERJEE, Krishnendu, et al.
出版: (2025)

A mathematical programming model for personnel-equipment task rostering
由: Ng, K.M., et al.
出版: (2014)

A computer program on some operations on simple graphs using Turbo Pascal 5.5
由: Bitong, Eric John S.
出版: (1996)

Overfitting in automated program repair: Challenges and solutions
由: LE, Dinh Xuan Bach
出版: (2018)

A comparison of YAPLU against the C programming language
由: Ng, Spencer, et al.
出版: (2011)

Post-Mortem Dynamic analysis for software debugging
由: WANG TAO
出版: (2010)