Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

3 relations
Finite-state machineFunctional programmingProgramming language

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
MAGNETICALLY LEVITATED LINEAR STAGE FOR IN-VACUUM TRANSPORTATION TASKS
INTRODUCTION The reticle handling task in photo lithography machines is becoming increasingly challenging in the extreme… 
2016
2016
Unified Syntax for Abstract State Machines
The paper presents our efforts in defining UASM, a unified syntax for Abstract State Machines ASMs, based on the syntaxes of two… 
2009
2009
Conformance analysis of ASML's test process
Process mining allows for the automated discovery of process models from event logs. These models provide insights and enable… 
2009
2009
Symbolic Bounded Model Checking of Abstract State Machines
Abstract State Machines (ASMs) allow modeling system behaviors at any desired level of abstraction, including a level with rich… 
Review
2008
Review
2008
Automated Fault Diagnosis in Embedded Systems
Automated fault diagnosis is emerging as an important factor in achieving an acceptable and competitive cost/dependability ratio… 
2008
2008
Chapter 4 Detecting behavioral conflicts among crosscutting concerns
Aspects have been successfully promoted as a means to improve the modularization of software in the presence of crosscutting… 
2007
2007
A Semantic Anchoring Infrastructure for the Design of Embedded Systems
Embedded systems are a key enabling technology for the recent vast increase in functionality of a huge list of critical… 
2006
2006
A semantic anchoring infrastructure for model-integrated computing
Model-Integrated Computing (MIC) is an approach for model-based design of embedded software and systems. MIC places strong… 
2006
2006
Applying AOP in an Industrial Context: An Experience Paper
2004
2004
Mapping UML into Abstract State Machines: A Framework to Simulate UML Models
The paper presents a simulation framework for UML models based upon a mapping schema of UML metamodel elements into Abstract… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)