標(biāo)題: Titlebook: Static Analysis; First International Baudouin Charlier Conference proceedings 1994 Springer-Verlag Berlin Heidelberg 1994 Abstract Interpr [打印本頁(yè)] 作者: Iodine 時(shí)間: 2025-3-21 16:54
書目名稱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é)科排名
作者: Implicit 時(shí)間: 2025-3-21 21:01
Efficient on-the-fly analysis of program behavior and static cache simulation, of each instruction. To our knowledge, no prior work has been done on predicting caching behavior statically. A detailed description is provided for instruction cache analysis, which is then discussed for a variety of applications ranging from fast instruction cache performance evaluation to analyt作者: 玉米 時(shí)間: 2025-3-22 03:43
Stackability in the simply-typed call-by-value lambda calculus,ment trapped in it must be a subenvironment of the global environment. This yields a dynamic criterion for stackability — indeed, it is the downwards funargs criterion of the LISP community. A safe static criterion can now be found via closure analysis.作者: 肌肉 時(shí)間: 2025-3-22 05:09 作者: evasive 時(shí)間: 2025-3-22 11:48
S. K. Debray,P. López García,M. Hermenegildo,N. -W. Lin作者: BUCK 時(shí)間: 2025-3-22 14:52 作者: arrogant 時(shí)間: 2025-3-22 19:59
The costs and benefits of abstract interpretation-driven Prolog optimization,作者: 打算 時(shí)間: 2025-3-23 00:59 作者: 鎮(zhèn)痛劑 時(shí)間: 2025-3-23 02:00 作者: 發(fā)酵 時(shí)間: 2025-3-23 05:40
Ed Harcourt,Jon Mauney,Todd Cookthe cat out of the bag: There is more to object-oriented programming than merely putting data as objects in the fore- ground, instead of algorithms to which the data are subject. It is more than purely an alternative view of programmed systems. To identify the essence of object-oriented programming,作者: Fibroid 時(shí)間: 2025-3-23 10:06 作者: 臥虎藏龍 時(shí)間: 2025-3-23 14:51 作者: 皺痕 時(shí)間: 2025-3-23 21:19 作者: 委屈 時(shí)間: 2025-3-23 23:44 作者: Itinerant 時(shí)間: 2025-3-24 04:03 作者: Eulogy 時(shí)間: 2025-3-24 09:44
Ed Harcourt,Jon Mauney,Todd Cookramming languages. Object-oriented programming is nothing new-it first arose in the sixties. The motivation came from the simulation of discrete event systems. The concept first manifested itself in the language Simula 67. It took nearly two decades for the method to gain impetus, and today object-o作者: 一大群 時(shí)間: 2025-3-24 10:49 作者: Detain 時(shí)間: 2025-3-24 15:39
Nicolas Halbwachs,Yann -Eric Proy,Pascal Raymonds completed, operational as well as planned missions on an international scale (Earth observations from space know no na- tional boundaries). A look into past activities is important for reasons of heritage, context and perspective. The document is intended for all who want to keep track of missions作者: 排出 時(shí)間: 2025-3-24 21:54 作者: Commentary 時(shí)間: 2025-3-24 23:44
Daniel Cabeza Gras,Manuel Hermenegildothat installs transmission lines all over the world.Includes.Overhead Power Lines. presents not only the scientific and engineering basis for the electric and mechanical design, but also comprehensively describes all aspects of most recent technology, including the selection and design of components作者: Flawless 時(shí)間: 2025-3-25 04:06 作者: Nonporous 時(shí)間: 2025-3-25 11:08
https://doi.org/10.1007/3-540-58485-4Abstract Interpretation; Abstrakte Interpretation; Functional Programming; Funktionales Programmieren; L作者: 收養(yǎng) 時(shí)間: 2025-3-25 12:23
978-3-540-58485-8Springer-Verlag Berlin Heidelberg 1994作者: 檔案 時(shí)間: 2025-3-25 19:21
Static Analysis978-3-540-49005-0Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Valves 時(shí)間: 2025-3-25 22:01 作者: PLIC 時(shí)間: 2025-3-26 02:08
Verification of linear hybrid systems by means of convex approximations,We present a new application of the abstract interpretation by means of convex polyhedra, to a class of hybrid systems, i.e., systems involving both discrete and continuous variables. The result is an efficient automatic tool for approximate, but conservative, verification of reachability properties of these systems.作者: 歌劇等 時(shí)間: 2025-3-26 07:50 作者: 信任 時(shí)間: 2025-3-26 12:07
From processor timing specifications to static instruction scheduling,rithms that operate on the labeled transition systems generated by the operational semantics of SCCS. From the labeled transition system we also employ a modal logic, the modal .-calculus to determine whether there are any illegal instruction sequences or instruction sequences that could be executed in parallel.作者: 狂亂 時(shí)間: 2025-3-26 16:02 作者: Cabg318 時(shí)間: 2025-3-26 16:59
Uniqueness and completeness analysis of array comprehensions,ty if all its elements are defined. Completeness is a necessary condition for strict arrays. We present an algorithm that tests for completeness and describe an implementation of the algorithm based on multivariate polynomials.作者: Discrete 時(shí)間: 2025-3-26 21:37
Mode analysis of functional logic programs,om logic programming. Such implementations can be largely improved if information about the run-time behavior, in particular the modes of function calls, is available at compile time. In this paper we present a framework to derive such globed information. The concrete operational semantics considere作者: VERT 時(shí)間: 2025-3-27 03:42 作者: ironic 時(shí)間: 2025-3-27 09:07
Constraint-based type inference and parametric polymorphism,lain it in a different and more intuitive way as a flow problem. The intuition is facilitated by a direct correspondence between run-time and analysis-time concepts..Precise analysis of polymorphism is hard; several algorithms have been developed to cope with it. Focusing on parametric polymorphism 作者: Osteons 時(shí)間: 2025-3-27 12:31
Efficient on-the-fly analysis of program behavior and static cache simulation,sis, . for program behavior analysis during execution using a small number of instrumentation points. The formal model is further refined for certain analyses by transforming a program‘s call graph into a function-instance graph. Performance evaluations show that the number of measurement points can作者: SNEER 時(shí)間: 2025-3-27 17:41
From processor timing specifications to static instruction scheduling,m used is SCCS, a synchronous process algebra for specifying timed, concurrent systems. We illustrate the technique by specifying a hypothetical processor that shares many properties of commercial processors (such as the MIPS or SuperSparc) including delayed loads and branches, interlocked floating-作者: ICLE 時(shí)間: 2025-3-27 21:35 作者: 喪失 時(shí)間: 2025-3-27 22:08
Generalized boxings, congruences and partial inlining,Peyton-Jones‘ techniques for optimizing boxings (allocations) and unboxings (field selection) away in strongly-typed functional programs. Our techniques achieve this goal, while not needing types any more (so it applies to Lisp as well as to ML), and providing a finer analysis; moreover, our techniq作者: micronutrients 時(shí)間: 2025-3-28 02:52 作者: 殘廢的火焰 時(shí)間: 2025-3-28 09:39
Uniqueness and completeness analysis of array comprehensions,defines each array element at most once. Uniqueness is a necessary condition for correctness in single assignment languages such as Haskell, Id, and Sisal. The uniqueness problem can be stated as a data dependence problem, which in itself can be reformulated as an integer linear programming problem.作者: 惡臭 時(shí)間: 2025-3-28 12:10
Extent analysis of data fields,s functions explicitly restricted to a finite set. Data parallel functional languages based on this view would reach a very high level of abstraction. Here we consider two static analyses that, when successful, give information about the . of a data field with recursively defined elements, in the fo作者: CLEAR 時(shí)間: 2025-3-28 15:32 作者: Gobble 時(shí)間: 2025-3-28 20:18 作者: Supplement 時(shí)間: 2025-3-29 00:30 作者: avarice 時(shí)間: 2025-3-29 03:33
Deriving polymorphic type dependencies for logic programs using multiple incarnations of Prop,programs. We illustrate how dependencies can be derived in the presence of both monomorphic and polymorphic type information. Type dependencies generalize the recently proposed notion of directional types as well as the more common notion of groundness dependencies. Directional types have proven use作者: GROG 時(shí)間: 2025-3-29 09:45 作者: 補(bǔ)角 時(shí)間: 2025-3-29 13:49
Directional type checking of logic programs,rrectness. We present lower bound complexity results for the general type checking problem where types are given as arbitrary set expressions, as well as for the restrictive class of discriminative directional types. For discriminative directional types the type checking procedure is shown to be sound and complete.作者: 神圣不可 時(shí)間: 2025-3-29 19:18
Selective thunkification, necessarily evaluated under call-by-name, so the transformation does not need to generate thunks for them. The dataflow analysis is formulated as the solution to a set of constraints. We show that any solution to the constraints is sound, and that any such solution justifies the resulting transformation.作者: 形上升才刺激 時(shí)間: 2025-3-29 21:53
Compile-time detection of uncaught exceptions in Standard ML programs, lines..We introduce semantic sparse analysis to reduce the analysis cost without compromising the analysis accuracy. In this method, expressions will only be analyzed when their evaluations are relevant to our analysis.作者: 確定方向 時(shí)間: 2025-3-30 01:59
Estimating the computational cost of logic programs, estimate the number of solutions in order to give nontrivial upper bound cost estimates; on the other hand, the possibility of failure has to be taken into account while estimating lower bounds. Here we discuss techniques to address these problems to some extent.作者: 妨礙 時(shí)間: 2025-3-30 06:03
Conference proceedings 1994eneric algorithms for fixpoint computations; program optimization, transformation and verification; strictness-related analyses; type-based analyses and type inference; dependency analyses and abstract domain construction.作者: 夜晚 時(shí)間: 2025-3-30 09:49 作者: Ischemic-Stroke 時(shí)間: 2025-3-30 12:30
Conference proceedings 1994ceedings comprise 25 full refereed papers selected from 70 submissions as well as four invited contributions by Charles Consel, Saumya K. Debray, Thomas W. Getzinger, and Nicolas Halbwachs. The papers address static analysis aspects for various programming paradigms and cover the following topics: g作者: enumaerate 時(shí)間: 2025-3-30 17:54
Boolean functions for dependency analysis: Algebraic properties and efficient representation,ams (ROBDDs), disjunctive normal form, conjunctive normal form, Blake canonical form, dual Blake canonical form, and a form specific to definite functions. We give an empirical comparison of these different representations for groundness analysis.作者: 棲息地 時(shí)間: 2025-3-30 21:47
Deriving polymorphic type dependencies for logic programs using multiple incarnations of Prop,carnation of Prop. We illustrate the use of a semantics for open logic programs in maintaining space efficient analyses. Time efficiency is also maintained due to approximation of the type domain in a boolean lattice calling on results of universal algebra.作者: 貪婪的人 時(shí)間: 2025-3-31 01:35
Extracting Non-strict independent and-parallelism using sharing and freeness information, parallelism. The approach is based on the knowledge of certain properties regarding the run-time instantiations of program variables —sharing and freeness— for which compile-time technology is available, with new approaches being currently proposed.作者: 起皺紋 時(shí)間: 2025-3-31 05:37
0302-9743 4..The proceedings comprise 25 full refereed papers selected from 70 submissions as well as four invited contributions by Charles Consel, Saumya K. Debray, Thomas W. Getzinger, and Nicolas Halbwachs. The papers address static analysis aspects for various programming paradigms and cover the following作者: CHURL 時(shí)間: 2025-3-31 09:33
Deep Belief Networks (DBNs)m CD-k are able to attain deep learning of objects. A robust learning adaptive size method is presented. Moreover, a GPU parallel implementation yields high speedups as compared to conventional implementations. Results in benchmark data sets are presented as well as further discussion of these model作者: 材料等 時(shí)間: 2025-3-31 14:59
Real-Time News Grouping: Detecting the Same-Content News on Turkish News Streamstering approach only with embeddings. The system proposed in these study has a structure that can be used in real life applications in terms of real-time clustering with a high F-score rate of over 90%.作者: 并入 時(shí)間: 2025-3-31 18:34
Who Cares About Climate Change ?,other environmental issues of concern to Australians. We ask to what extent Australians believe that climate change is occurring, and what they think causes it. We show how a range of social and political background characteristics, and the type of media Australians rely upon for their news and info作者: Neonatal 時(shí)間: 2025-3-31 23:27 作者: 玉米 時(shí)間: 2025-4-1 04:36
