標(biāo)題: Titlebook: Static Analysis; 7th International Sy Jens Palsberg Conference proceedings 2000 Springer-Verlag Berlin Heidelberg 2000 Action.Constraint.mo [打印本頁] 作者: 難免 時(shí)間: 2025-3-21 20:04
書目名稱Static Analysis影響因子(影響力)
書目名稱Static Analysis影響因子(影響力)學(xué)科排名
書目名稱Static Analysis網(wǎng)絡(luò)公開度
書目名稱Static Analysis網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Static Analysis被引頻次
書目名稱Static Analysis被引頻次學(xué)科排名
書目名稱Static Analysis年度引用
書目名稱Static Analysis年度引用學(xué)科排名
書目名稱Static Analysis讀者反饋
書目名稱Static Analysis讀者反饋學(xué)科排名
作者: 可能性 時(shí)間: 2025-3-21 20:26 作者: 衣服 時(shí)間: 2025-3-22 04:22
Tree Schemata and Fair Termination is a representation which can be used for practical analysis using abstract interpretation techniques. It is more powerful than traditional techniques, and deals well with approximation strategies. We show on a simple example, fair termination, how the expressiveness of the representation can be used to obtain very simple and intuitive analysis.作者: 根除 時(shí)間: 2025-3-22 06:56 作者: abduction 時(shí)間: 2025-3-22 11:57
Enforcing Design Constraints with Object Logicesented: a logic for describing the constraints, and an analysis that can be used both to explore the constraints in isolation (and thus gain confidence in their correctness), and to check that they are obeyed by an implementation. Examples of applications of the logic and its analysis at various le作者: 天氣 時(shí)間: 2025-3-22 14:56 作者: 珍奇 時(shí)間: 2025-3-22 20:25
Abstract Interpretation Based Semantics of Sequent Calculiproach based on fixpoint semantics. Hence, we propose a treatment of sequent calculi similar in spirit to the treatment of Horn clauses in logic programming. We have three different semantic styles (operational, declarative, fixpoint) that agree on the set of all the proofs for a given calculus. Fol作者: 修正案 時(shí)間: 2025-3-22 21:30 作者: 其他 時(shí)間: 2025-3-23 03:58 作者: GROWL 時(shí)間: 2025-3-23 06:29
Safety of Strictness Analysis via Term Graph Rewritingmployed by the strictness analyser in the Concurrent Clean compiler. Programs written in a core functional language are interpreted as graph rewriting systems using a form of equational term graph rewriting due to Ariola and Arvind. Abstract graphs are defined by extending the signature of ordinary 作者: 搖曳 時(shí)間: 2025-3-23 11:52 作者: 反復(fù)拉緊 時(shí)間: 2025-3-23 17:36
Confidentiality Analysis of Mobile Systemsystem, without much knowledge about the rest of it..We restrict our study to mobile systems written in the .-calculus, and introduce a non-standard semantics which restores the link between channels and the processes that have created them. This semantics also allows to describe the interaction betw作者: Hemoptysis 時(shí)間: 2025-3-23 21:11 作者: Bereavement 時(shí)間: 2025-3-23 23:21 作者: 中古 時(shí)間: 2025-3-24 04:00
Efficient Inference of Static Types for Java Bytecoden of Java bytecode..By decoupling the type inference problem from the low level bytecode representation, and abstracting it into a ., we show that there exists verifiable bytecode that cannot be statically typed. Further, we show that, without transforming the program, the static typing problem is N作者: armistice 時(shí)間: 2025-3-24 08:53
Abstract Interpretation of Game Propertiesmporal logics, game properties can distinguish adversarial from collaborative relationships between the processes of a concurrent program, or the components of a parallel system. We consider two-player concurrent games –say, component vs. environment– and specify properties of such games –say, the c作者: overwrought 時(shí)間: 2025-3-24 14:40 作者: TSH582 時(shí)間: 2025-3-24 17:30 作者: sinoatrial-node 時(shí)間: 2025-3-24 20:24
TVLA: A System for Implementing Static Analysestional semantics, where the operational semantics is specified using logical formulae. TVLA has been implemented in Java and was successfully used to perform shape analysis on programs manipulating linked data structures (singly and doubly linked lists), to prove safety properties of Mobile Ambients作者: Vulnerary 時(shí)間: 2025-3-25 01:35 作者: atopic 時(shí)間: 2025-3-25 03:51
Abstract Interpretation of Probabilistic Semanticsics allows for random external inputs of known or unknown probability and random number generators..We then propose a method for analysing programs according to this semantics, in the general framework of abstract interpretation. This method lifts an “ordinary” abstract lattice, for non-probabilisti作者: rectocele 時(shí)間: 2025-3-25 10:45
Code Specialization Based on Value Profilesery skewed, with a small number of values occurring most of the time. Knowledge of such frequently occurring values can be exploited by a compiler to generate code that optimizes for the common cases without sacrificing the ability to handle the general case. The idea can be generalized to the notio作者: 修改 時(shí)間: 2025-3-25 15:34
Flattening Is an Improvementfine a sufficient syntactic condition for the correctness of flattening, providing a static approximation of Blelloch’s “containment”. This is acheived using a typing system that tracks the control flow of programs. Using a weak improvement preorder, we then show that the flattening transformations 作者: 抗體 時(shí)間: 2025-3-25 18:24
TVLA: A System for Implementing Static Analysesperform shape analysis on programs manipulating linked data structures (singly and doubly linked lists), to prove safety properties of Mobile Ambients, and to verify the partial correctness of several sorting programs.作者: inclusive 時(shí)間: 2025-3-25 21:45
Flattening Is an Improvementd using a typing system that tracks the control flow of programs. Using a weak improvement preorder, we then show that the flattening transformations are intensionally correct for all well-typed programs.作者: ARK 時(shí)間: 2025-3-26 01:25 作者: 共同給與 時(shí)間: 2025-3-26 08:19 作者: Spinal-Fusion 時(shí)間: 2025-3-26 11:50
Deriving Parallel Codes via Invariantsiants can be discovered and verified systematically, and demonstrate the power of our methodology by deriving a parallel code for maximum segment product. To the best of our knowledge, this is the first systematic parallelization for the maximum segment product problem.作者: 音的強(qiáng)弱 時(shí)間: 2025-3-26 15:44
Safety of Strictness Analysis via Term Graph Rewritingis used to define a notion of safety with respect to a variant of Ariola and Arvind’s direct approximation semantics, and this notion of safety is shown to be adequate for strictness analysis. Abstract reduction is defined as the union of the extended rewrite system with additional ‘heuristic’ reductions and shown to be safe.作者: exorbitant 時(shí)間: 2025-3-26 17:24
Polymorphic versus Monomorphic Flow-Insensitive Points-To Analysis for Clymorphism hardly makes any difference. We also gain some insight into the nature of polymorphism in points-to analysis of C. In particular, we find considerable polymorphism available in function parameters, but little or no polymorphism in function results, and we show how this observation explains our results.作者: 假 時(shí)間: 2025-3-26 21:16
Efficient Inference of Static Types for Java Bytecoderam transformations to simplify the hard cases..We have implemented this algorithm in the Soot framework. Our experimental results show that all of the 17,000 methods used in our tests were successfully typed, 99.8% of those required only the first stage, 0.2% required the second stage, and no methods required the third stage.作者: 譏諷 時(shí)間: 2025-3-27 03:22 作者: 誘拐 時(shí)間: 2025-3-27 07:00
Daniel Jacksonans of a neoclassical growth model which distinguishes overlapping generations within the population. The basic neoclassical growth model is extended to include various types of technical change, as well as investment in human capital or education. The research described in this book connects the an作者: construct 時(shí)間: 2025-3-27 09:37
Andreas Podelskians of a neoclassical growth model which distinguishes overlapping generations within the population. The basic neoclassical growth model is extended to include various types of technical change, as well as investment in human capital or education. The research described in this book connects the an作者: FLAG 時(shí)間: 2025-3-27 15:45
Gianluca Amato,Giorgio Levi excitable system — becomes amenable to complete understanding. The Gibbs symmetry and the Wigner symmetry, when taken into explicit regard, imply that to this observer, his world appears quite different from what one would expect at first sight — such as when one is doing a molecular dynamics simul作者: 要素 時(shí)間: 2025-3-27 21:04
S. Bensalem,M. Bozga,J. -C. Fernandez,L. Ghirvu,Y. Lakhnech excitable system — becomes amenable to complete understanding. The Gibbs symmetry and the Wigner symmetry, when taken into explicit regard, imply that to this observer, his world appears quite different from what one would expect at first sight — such as when one is doing a molecular dynamics simul作者: macular-edema 時(shí)間: 2025-3-27 23:18 作者: Minatory 時(shí)間: 2025-3-28 04:52 作者: 同義聯(lián)想法 時(shí)間: 2025-3-28 07:30
Stephen Fink,Kathleen Knobe,Vivek Sarkaror animal models. Because of differences in the pharmacology of carcinogens in different species, such extrapolations are of restricted value. Furthermore, there is a tendency to compare the effects of high carcinogen doses such as are used in experiments with cultured cells and rodents, with the ac作者: Cholesterol 時(shí)間: 2025-3-28 10:37
Jeffrey S. Foster,Manuel F?hndrich,Alexander Aiken identification of carcinogens rests on the retrospective assessment of subjects’ specific occupational exposures, beyond the basic assessment of their occupational titles. Various efforts have resulted in standardized methods for disease assessment and sophistication in various aspects of study des作者: 歡呼 時(shí)間: 2025-3-28 14:57
Etienne M. Gagnon,Laurie J. Hendren,Guillaume Marceauuf relationalen Strukturen beruht Es ist damit insbesondere zur optimalen Integration von CIM-Komponenten in ein CIM-System auf der Basis relationaler Datenbanksysteme geeignet Wie in Kapitel 4 dargestellt, l??t sich die betriebliche Organisation modellhaft als eine strukturierte Menge von Funktione作者: Subdue 時(shí)間: 2025-3-28 19:37
Thomas A. Henzinger,Rupak Majumdar,Freddy Mang,Jean-Fran?ois Raskinuf relationalen Strukturen beruht Es ist damit insbesondere zur optimalen Integration von CIM-Komponenten in ein CIM-System auf der Basis relationaler Datenbanksysteme geeignet Wie in Kapitel 4 dargestellt, l??t sich die betriebliche Organisation modellhaft als eine strukturierte Menge von Funktione作者: 完成才會征服 時(shí)間: 2025-3-28 23:09
Clara Jaramillo,Rajiv Gupta,Mary Lou Soffauf relationalen Strukturen beruht Es ist damit insbesondere zur optimalen Integration von CIM-Komponenten in ein CIM-System auf der Basis relationaler Datenbanksysteme geeignet Wie in Kapitel 4 dargestellt, l??t sich die betriebliche Organisation modellhaft als eine strukturierte Menge von Funktione作者: 終點(diǎn) 時(shí)間: 2025-3-29 06:50
Jens Knoop,Jean-Fran?ois Collard,Roy Dz-ching Ju More and more products have been implemented with the aid of object-oriented programming techniques and tools, usually as extensions of traditional languages in hybrid development systems. Some of the better known examples are OSF-Motif, News, Objective-C on the NeXT computer, the C extension C++, 作者: 難取悅 時(shí)間: 2025-3-29 10:23
Tal Lev-Ami,Mooly Sagiv More and more products have been implemented with the aid of object-oriented programming techniques and tools, usually as extensions of traditional languages in hybrid development systems. Some of the better known examples are OSF-Motif, News, Objective-C on the NeXT computer, the C extension C++, 作者: 痛苦一下 時(shí)間: 2025-3-29 13:20 作者: investigate 時(shí)間: 2025-3-29 17:30
Daniel JacksonDobell, 1970; Wan, 1971) attempts to describe and to explain the long-run development of an economic system (or, in short, economy). An economic system is essen978-3-540-51556-2978-3-642-83895-8Series ISSN 1431-8806 作者: sacrum 時(shí)間: 2025-3-29 23:12
Andreas PodelskiDobell, 1970; Wan, 1971) attempts to describe and to explain the long-run development of an economic system (or, in short, economy). An economic system is essen978-3-540-51556-2978-3-642-83895-8Series ISSN 1431-8806 作者: obnoxious 時(shí)間: 2025-3-30 02:38
Unified Analysis of Array and Object References in Strongly Typed Languages heap array representation; one identifies redundant loads, and the other identifies dead stores. Using strong typing to help disambiguation, these algorithms are more efficient than equivalent analyses for weakly typed languages. Using the results of these algorithms, we can perform scalar replacem作者: 載貨清單 時(shí)間: 2025-3-30 05:04
Abstract Interpretation of Game Propertiesrete semantics of a concurrent game in terms of controllable and uncontrollable predecessor predicates, which suffice for model checking all . properties by applying boolean operations and iteration. We then define the abstract semantics of a concurrent game in terms of abstractions for the controll作者: escalate 時(shí)間: 2025-3-30 11:54 作者: 低位的人或事 時(shí)間: 2025-3-30 14:49
Partial Redundancy Elimination on Predicated Codevability of computations. Together with extensions towards ., this results in a family of PRE-algorithms spanning a range from tamed to quite aggressive algorithms, which is illustrated by various meaningful examples.作者: REIGN 時(shí)間: 2025-3-30 17:02
Code Specialization Based on Value Profiless to discover when such specialization is profitable. Experimental results, using such an analysis and an implementation of low-level code specialization based on value and expression profiles within a link-time code optimizer, are given to validate our approach.作者: 膝蓋 時(shí)間: 2025-3-30 21:45 作者: 迅速成長 時(shí)間: 2025-3-31 03:50 作者: 生命層 時(shí)間: 2025-3-31 07:47 作者: opalescence 時(shí)間: 2025-3-31 12:30
Wei-Ngan Chin,Siau-Cheng Khoo,Zhenjiang Hu,Masato Takeichim Economist and the OPEC Bulletin, various issues. 2 After the Second World War petroleum has become the most important energy resource. During the fifties and sixties its price was relatively low compared to other energy 2 sources like coal and firewood and it tended to drive them out of the market作者: white-matter 時(shí)間: 2025-3-31 15:45 作者: SUGAR 時(shí)間: 2025-3-31 19:40
Stephen Fink,Kathleen Knobe,Vivek Sarkarchemopreventive agents in short-term intervention trials (Stich 1986a, b, 1987; Stich et al. 1984, 1988). In this paper, we place particular emphasis on the automated scoring of micronuclei, which would make this test applicable to large-scale studies of human population groups.作者: EVEN 時(shí)間: 2025-4-1 01:29 作者: 妨礙議事 時(shí)間: 2025-4-1 04:26
Etienne M. Gagnon,Laurie J. Hendren,Guillaume Marceaue, gilt das Datenmodell dann als optimal integriert, wenn das gesamte Datenaustauschvolumen des zugeh?rigen dezentralen Funktionsmodells minimal ist und eine den Anforderungen der Funktionen entsprechende logische Struktur der Menge aller Daten EDV-technisch abgebildet ist
