A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Filters
Alias Types
[chapter]
2000
Lecture Notes in Computer Science
Preserved Fulltext
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
1998
Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation - PLDI '98
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
1998
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
1998
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '98
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2003
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
1998
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2001
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
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
2011
Proceedings of the 7th ACM SIGPLAN workshop on Types in language design and implementation - TLDI '11
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2006
Archives of Dermatology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
1980
Journal of combinatorial theory. Series A
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2018
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
2018
Jurnal Pengurusan
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2019
Finanţe: Provocările viitorului
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
1969
Pakistan Journal of Medical Sciences
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
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
2015
International Education Studies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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