Skip to search formSkip to main contentSkip to account menu

ASM

The ASM library is a project of the OW2 Consortium. It provides a simple API for decomposing, modifying, and recomposing binary Java classes (i.e… 
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Identifier names are often used by developers to convey additional information about the meaning of a program over and above the… 
2017
2017
Program analyses are an important tool to check if a system fulfills its specification. A typical implementation strategy for… 
2016
2016
Inshas strain of chicken was subjected to one cycle of early selection for body weight, keel length and breast circumference… 
2015
2015
Highly Cited
2012
Highly Cited
2012
The graph transformation is sweepingly used to express the model transformation. Most tools of graph transformation give a… 
2012
2012
A very simple model for train stopping is used as a vehicle for investigating how the development of a control system, initially… 
2011
2011
Formally capturing the transition from a continuous model to a discrete model is investigated using model based refinement… 
2011
2011
The Event-B method can be used to model all sorts of discrete event systems, among them sequential programs. In this article we… 
2002
2002
Abstract-State Machines have been introduced as “a computation model that is more powerful and more universal than standard…