Daikon is an implementation of dynamic detection of likely invariants; that is, the Daikon invariant detector reports likely program invariants. An invariant is a property that holds at a certain point or points in a program; these are often used in assert statements, documentation, and formal speci
✦ LIBER ✦
The critical invariants for the dynamic susceptibility
✍ Scribed by B. Fugiel; B. Westwański
- Publisher
- Elsevier Science
- Year
- 1991
- Tongue
- English
- Weight
- 254 KB
- Volume
- 152
- Category
- Article
- ISSN
- 0375-9601
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
The Daikon system for dynamic detection
✍
Michael D. Ernst; Jeff H. Perkins; Philip J. Guo; Stephen McCamant; Carlos Pache
📂
Article
📅
2007
🏛
Elsevier Science
🌐
English
⚖ 264 KB
The static generalized susceptibility fo
✍
J. Milczarek; J. Kociński
📂
Article
📅
1974
🏛
Elsevier Science
🌐
English
⚖ 140 KB
Critical index of the susceptibility for
✍
S. Freeman; P.J. Wojtowicz
📂
Article
📅
1968
🏛
Elsevier Science
🌐
English
⚖ 154 KB
New results for the susceptibility of th
✍
Xiang-Peng Kong; Helen Au-Yang; Jacques H.H. Perk
📂
Article
📅
1986
🏛
Elsevier Science
🌐
English
⚖ 190 KB
The magnetic susceptibility of a compres
✍
J. Bruno; J. Sak
📂
Article
📅
1979
🏛
Elsevier Science
🌐
English
⚖ 263 KB
The Rotational Invariance Condition in L
✍
E. S. Rajagopal
📂
Article
📅
1960
🏛
John Wiley and Sons
🌐
English
⚖ 563 KB
The note discusses the validity of the rotational invariance condition used in lattice dynamics. It is pointed out that rotations of non-central fields cannot be represented by displacements alone. Formulating the equations of lattice dynamics referred to Lagrangean co-ordinates imbedded in the crys