AsmL

Known as: ASML programming language 
Abstract State Machine Language (AsmL) is a programming language based on the Abstract State Machines formal method and developed by Microsoft. AsmL… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Beyond the well-studied problem of scale in Big Data systems, the high velocity at which new data is generated and moved around… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2009
Highly Cited
2009
Process mining techniques attempt to extract nontrivial and useful information from event logs. For example, there are many… (More)
  • figure 1
  • figure 2
  • table I
  • figure 3
Is this relevant?
2009
2009
Process mining allows for the automated discovery of process models from event logs. These models provide insights and enable… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2008
2008
Belief revision is a key functionality for any intelligent agent being able to perceive pieces of knowledge from its environment… (More)
Is this relevant?
Highly Cited
2005
Highly Cited
2005
The Abstract State Machine Language, AsmL, is a novel executable specification language based on the theory of Abstract State… (More)
  • figure 1
Is this relevant?
2005
2005
AsmL is a novel executable specification language based on the theory of Abstract State Machines (ASMs)). It represents one of… (More)
  • figure 1
Is this relevant?
2005
2005
SystemC is among a group of system level design languages proposed to raise the abstraction level for embedded system design and… (More)
Is this relevant?
Highly Cited
2003
Highly Cited
2003
We present work on a tool environment for model-based testing with the Abstract State Machine Language (AsmL). Our environment… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2003
2003
We present work on a tool environment for model-based testing with the Abstract State Machine Language (AsmL). Our environment… (More)
Is this relevant?
1997
1997
Creation of large and complex World Wide Web sites is hampered by the “page at a time” approach of many tools and the programming… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?