Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
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… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2017
2017
Program analyses are an important tool to check if a system fulfills its specification. A typical implementation strategy for… Expand
  • table 1
  • figure 1
  • figure 3
  • figure 2
Is this relevant?
2016
2016
Inshas strain of chicken was subjected to one cycle of early selection for body weight, keel length and breast circumference… Expand
Is this relevant?
2015
2015
ContextIt has become common practice to build programs by using libraries. While the benefits of reuse are well known, an often… Expand
Is this relevant?
2012
2012
A very simple model for train stopping is used as a vehicle for investigating how the development of a control system, initially… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2012
Highly Cited
2012
The graph transformation is sweepingly used to express the model transformation. Most tools of graph transformation give a… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
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… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2011
2011
Formally capturing the transition from a continuous model to a discrete model is investigated using model based refinement… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2008
2008
The inverse problem of parameter structure identification in a distributed parameter system remains challenging. Identifying a… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
Is this relevant?
2002
2002
Abstract-State Machines have been introduced as “a computation model that is more powerful and more universal than standard… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?