Filters








184,922 Hits in 2.8 sec

Alias Types [chapter]

Frederick Smith, David Walker, Greg Morrisett
2000 Lecture Notes in Computer Science  
Our type system is expressive enough to represent pointer aliasing and yet safely permit destructive operations.  ...  However, traditional linear type systems are too restrictive for use in low-level code where it is necessary to exploit pointer aliasing.  ...  Acknowledgements This work arose in the context of implementing the Typed Assembly Language compiler.  ... 
doi:10.1007/3-540-46425-5_24 fatcat:2p7f5ctj7rekbniwvtiu4v5hsi

Type-based alias analysis

Amer Diwan, Kathryn S. McKinley, J. Eliot B. Moss
1998 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation - PLDI '98  
This paper evaluates three alias analyses based on programming language types. The first analysis uses type compatibility to determine aliases.  ...  We perform both static and dynamic evaluations of type-based alias analyses for Modula-3, a statically-typed type-safe language.  ...  This paper describes and evaluates three fast alias analyses based on programming language types. The tirst analysis ('IjyeDecl) uses type compatibility to determine aliases. The second (Field?  ... 
doi:10.1145/277650.277670 dblp:conf/pldi/DiwanMM98 fatcat:lxtr2fd2p5cqbd7wmwcuc7oiwi

Type-based alias analysis

Amer Diwan, Kathryn S. McKinley, J. Eliot B. Moss
1998 SIGPLAN notices  
This paper evaluates three alias analyses based on programming language types. The first analysis uses type compatibility to determine aliases.  ...  We perform both static and dynamic evaluations of type-based alias analyses for Modula-3, a statically-typed type-safe language.  ...  This paper describes and evaluates three fast alias analyses based on programming language types. The tirst analysis ('IjyeDecl) uses type compatibility to determine aliases. The second (Field?  ... 
doi:10.1145/277652.277670 fatcat:dlbtnkijt5crxmnuuadorxe7ye

Ownership types for flexible alias protection

David G. Clarke, John M. Potter, James Noble
1998 Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '98  
Although necessary to construct linked data structures and networks of interacting objects, aliasing is problematic in that an aggregate object's state can change via an alias to one of its components,  ...  The type system is shown to be sound, and the specific aliasing properties that a system's object graph satisfies are formulated and proven invariant for well-typed programs.  ...  Flexible alias protection has an aliasing mode var which is described as a "loophole" to obtain normal reference semantics when required.  ... 
doi:10.1145/286936.286947 dblp:conf/oopsla/ClarkePN98 fatcat:k3guvl2qynbu7hlz7mnnoguy5a

Alias types for "environment-aware" computations

Ferruccio Damiani, Paola Giannini
2003 Electronical Notes in Theoretical Computer Science  
In this paper we define a type and effect system for the calculus.  ...  The type and effect system is sound w.r.t. the operational semantics of the language.  ...  The main novelty in the system is the use of alias constraints tracking not only the definition of attributes but also their absence or possible presence (with a given type).  ... 
doi:10.1016/s1571-0661(04)80805-3 fatcat:gqx7fwseqjfdxbjggzm3jonjbu

Ownership types for flexible alias protection

David G. Clarke, John M. Potter, James Noble
1998 SIGPLAN notices  
Although necessary to construct linked data structures and networks of interacting objects, aliasing is problematic in that an aggregate object's state can change via an alias to one of its components,  ...  The type system is shown to be sound, and the specific aliasing properties that a system's object graph satisfies are formulated and proven invariant for well-typed programs.  ...  Flexible alias protection has an aliasing mode var which is described as a "loophole" to obtain normal reference semantics when required.  ... 
doi:10.1145/286942.286947 fatcat:pxlz6gbhkjbypopxqhe53lwviy

Alias Types for Recursive Data Structures [chapter]

David Walker, Greg Morrisett
2001 Lecture Notes in Computer Science  
Linear type systems permit programmers to deallocate or explicitly recycle memory, but they are severly restricted by the fact that they admit no aliasing.  ...  This paper describes a pseudo-linear type system that allows a degree of aliasing and memory reuse as well as the ability to define complex recursive data structures.  ...  The problem is that our type system did not track aliasing beyond a certain compile-time "frontier", and in this respect, was similar to the k-limiting approaches used in alias analysis [12] .  ... 
doi:10.1007/3-540-45332-6_7 fatcat:ignvvtgdkrdezo3ntq2f5xnzvi

Extended alias type system using separating implication

Toshiyuki Maeda, Haruki Sato, Akinori Yonezawa
2011 Proceedings of the 7th ACM SIGPLAN workshop on Types in language design and implementation - TLDI '11  
The alias type system allows explicit memory management without the loss of type safety by statically tracking pointers and their aliases.  ...  In this paper, we propose an extension of the alias type system using separating implications, which are derived from separation logic.  ...  The alias type system prevents all the addresses mentioned in existential types from aliasing with other addresses.  ... 
doi:10.1145/1929553.1929559 dblp:conf/tldi/MaedaSY11 fatcat:5pkhvez43bhkbgeitwx64ksure

Thalidomide for Type 1 Cryoglobulinemic Vasculopathy

Alia Sampson
2006 Archives of Dermatology  
Further testing with immunofixation electrophoresis revealed an IgG monoclonal paraprotein with light-chain specificity of which 98% was a type I cryoglobulin.  ...  I cryoglobulins do not easily activate complement, patients with type I are asymptomatic until the level of cryoglobulinemia is sufficiently high to cause hyperviscosity syndrome. 2 Type II and type  ...  Type I is a monoclonal immunoglobulins that does not have a rheumatoid factor component.  ... 
doi:10.1001/archderm.142.8.972 pmid:16924045 fatcat:6s56frdrofal5avh4g2ti5lzyy

Sets of even type in PG(3, 4), alias the binary (85, 24) projective geometry code

J.W.P Hirschfeld, X Hubaut
1980 Journal of combinatorial theory. Series A  
Thas "Sets of type (1, 12, q $ 1) in PG(d, q)" to appear).  ...  Types l-7 are the singular types, obtained by joining a point P to all the points of a plane set of odd type. Types 8-l 1 are given by Theorems 5-8.  ...  (ii) The sets are listed in descending order of the dimension of their space of singular points: three for type 1, two for type 2, one for type 3, zero for types 4-7 and minus one for types 8-14.  ... 
doi:10.1016/0097-3165(80)90051-5 fatcat:37zdvvrfbzesvifqrowhacqhxm

A generalization of Apostol type of Hermite-Genocchi polynomials [article]

Beih S. El-Desouky, Rabab S. Gomaa, Alia M. Magar
2018 arXiv   pre-print
The main purpose of this paper is to introduce and investigate the various properties of a new generalization of Apostol Hermite-Genocchi polynomials. We derive many useful results involving new generalized Apostol Hermite-Genocchi polynomials. We also consider some statistical application of the new family in probability distribution theory and reliability.
arXiv:1708.06619v2 fatcat:6ppvxo6wbjcd3nyljgtmcseu24

Ownership Structure, Types of M&A and Long-Term Performance

Mohd Hasimi Yaacob, Norazlan Alias
2018 Jurnal Pengurusan  
The type of merger, whether focused or diversifying, that exhibits superior long-term performance is still a debated issue among researchers.  ...  Nonetheless, little has been done to study the implication of ownership structure variables and merger type on the outcome of long-term post-merger performance, which this study will address.  ... 
doi:10.17576/pengurusan-2018-52-19 fatcat:qnyla4vqsfcxfb33hk3iymtuda

Banking Relationship and Credit Risk: Another Type of Approach

Alia Gabriela DUŢĂ, Victor Mihăiță DUȚĂ
2019 Finanţe: Provocările viitorului  
Credit risk differs from all other types of significant risks (market risk, liquidity risk, etc.).  ...  Both types of collateral constitute a means of motivating the borrowers, but also a signal for banks.  ... 
doaj:c0f3d8041b0340b1a84346d17c7d5d18 fatcat:wt2wrewv5bf7zcusgg5av6bv44

Correlation between Microalbuminuria and Hypertension in Type 2 Diabetic Patients

Alia Ali
1969 Pakistan Journal of Medical Sciences  
Microalbuminuria is the first clinical sign of involvement of kidneys in patients with type 2 diabetes.  ...  Objectives: To determine the correlation between microalbuminuria and hypertension and their association with other risk factors in type 2 diabetic patients.  ...  2 diabetic patients Alia Ali et al.  ... 
doi:10.12669/pjms.303.5042 pmid:24948969 pmcid:PMC4048496 fatcat:dyvdbqn5orbf3mzjfa273io4cq

Culture Changes and Personality Types Relationship among UTM International Academic Staff

Siti Aminah Harun, Nur Salimah Alias
2015 International Education Studies  
Meanwhile the personality type measured which is introvert and extrovert.  ...  Meanwhile, the finding also show that the level of culture changed was high (3.97) and 63.5 percent of respondents had extrovert type of personality.  ...  The international lecturers' personality type measured introvert and extrovert type only.  ... 
doi:10.5539/ies.v8n13p47 fatcat:gtgvqnqwbvgj7p3gywpiie2lvq
« Previous Showing results 1 — 15 out of 184,922 results