Skip to search formSkip to main contentSkip to account menu

Alloy (specification language)

Known as: Alloy (disambiguation) 
In computer science and software engineering, Alloy is a declarative specification language for expressing complex structural constraints and… 
Wikipedia (opens in a new tab)

Related topics

Related topics

16 relations
APCBAlloy AnalyzerComputer scienceCorrectness (computer science)

Broader (1)

Z notation

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Aqueous solubility of Cr(VI) compounds in ferrochrome bag filter dust and the implications thereof
The production of ferrochrome (FeCr) is a reducing process. However, it is impossible to completely exclude oxygen from all of… 
2010
2010
Effect of moulding sand on statistically controlled hybrid rapid casting solution for zinc alloys
The purpose of the present investigations is to study the effect of moulding sand on decreasing shell wall thickness of mould… 
2007
2007
Decidable Fragments of Many-Sorted Logic
We investigate the possibility of developing a decidable logic which allows expressing a large variety of real world… 
2005
2005
Pulsed laser crystallization of silicon–germanium films
2004
2004
Automating commutativity analysis at the design level
Two operations commute if executing them serially in either order results in the same change of state. In a system in which… 
2004
2004
AlGaN/AlN/GaN High Electron Mobility Transistors with Improved Carrier Transport
Geo-magneto-resistance measurements have been made on AlGaN/GaN HEMT structures both with and without an AlN interlayer. The… 
2001
2001
Supporting Formal Verification of Crosscutting Concerns
This paper presents an approach to formal verification of the properties of systems composed of multiple crosscutting concerns… 
2000
2000
Microstructural development inside the stress induced martensite variant in a Ti-Ni-Nb shape memory alloy
1988
1988
On the Role of Crack Closure Mechanisms in Influencing Fatigue Crack Growth Following Tensile Overloads in a Titanium Alloy: Near Threshold Versus Higher Δ K Behavior
: A comparative study has been made of the transient fatigue crack growth rate behavior following tensile overloads at low (near… 
1974
1974
Safety in the preparation of multimetallic catalysts
THERE is presently an extensive research effort in the field of catalysis concerned with alloy systems. Many researchers are… 
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)