作者: FLAIL 時(shí)間: 2025-3-21 23:39
https://doi.org/10.1007/3-540-07623-9 fact that semantics-based program manipulation performs better when source programs are first transformed into CPS. As a result, specialized programs are expressed in CPS as well. The DS transformation maps them back to direct style.作者: 山頂可休息 時(shí)間: 2025-3-22 00:49
Die Entdeckung der Waldenschen Umkehrung,on tagged data. In this paper, we present a method for performing incremental copying garbage collection without tags. We then extend this method to work for polymorphically typed languages, and to provide breadth-first copying for improved performance and data locality.作者: 最有利 時(shí)間: 2025-3-22 08:25
Oracle RMAN Database Duplicationay only occur at data creation and data use points in a program and whether only primitive coercions or also induced coercions. For each of these classes any term has a . that is optimal in the sense that it contains no coercions that could be avoided by a another coercion in the same class. In part作者: 撕裂皮肉 時(shí)間: 2025-3-22 09:47 作者: landfill 時(shí)間: 2025-3-22 16:28
Back to direct style, fact that semantics-based program manipulation performs better when source programs are first transformed into CPS. As a result, specialized programs are expressed in CPS as well. The DS transformation maps them back to direct style.作者: landfill 時(shí)間: 2025-3-22 20:22 作者: 即席 時(shí)間: 2025-3-23 00:47 作者: Ccu106 時(shí)間: 2025-3-23 01:40
Proving safety of speculative load instructions at compile-time,作者: nonchalance 時(shí)間: 2025-3-23 07:21 作者: 證明無(wú)罪 時(shí)間: 2025-3-23 10:09 作者: Repetitions 時(shí)間: 2025-3-23 17:28 作者: Nmda-Receptor 時(shí)間: 2025-3-23 21:15
Conference proceedings 1992specification and implementation of programminglanguages and systems. It continues lines begun inFranceand Germany under the names "Colloque sur la Programmation"andthe GI workshop on "Programmiersprachen undProgrammentwicklung". The programme committee received 71submissions, from which 28 have beenselected for inclusionin this volume.作者: surrogate 時(shí)間: 2025-3-24 01:45 作者: 彩色的蠟筆 時(shí)間: 2025-3-24 05:52 作者: Analogy 時(shí)間: 2025-3-24 09:23 作者: 不規(guī)則 時(shí)間: 2025-3-24 11:39
A. Maréchal,E. Hugues,P. Givaudoncribe here how we specified a modular completion design in terms of inference rules and control language, using . itself. On another hand, the specific problems encountered to integrate a completion process in an already reductionoriented environment are pointed out.作者: 集合 時(shí)間: 2025-3-24 16:55
0302-9743 sur la Programmation"andthe GI workshop on "Programmiersprachen undProgrammentwicklung". The programme committee received 71submissions, from which 28 have beenselected for inclusionin this volume.978-3-540-55253-6978-3-540-46803-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: AUGER 時(shí)間: 2025-3-24 22:24
Oracle RMAN for Absolute Beginnersoogen et al. 89] enabled us to investigate the impact of various parallelization strategies on the runtimes and speedups. The strategy, which only allows the parallel execution of non-predefined function calls in strict positions, shows the best runtimes and reasonable speedup results.作者: 令人心醉 時(shí)間: 2025-3-25 01:47 作者: 空洞 時(shí)間: 2025-3-25 06:33 作者: muscle-fibers 時(shí)間: 2025-3-25 08:47
Elemental Sulfur and its Reactions,ion itself is linear in the program size. Furthermore, the output of symbolic interpretation lends itself to efficient incremental computation and can be reused for other tasks, such as constant propagation or code motion.作者: 高射炮 時(shí)間: 2025-3-25 12:57
Fully persistent arrays for efficient incremental updates and voluminous reads,cremental updates/voluminous reads execution pattern. Those applications can also be efficiently implemented by the proposed data structure..A comparison of our method to previous approaches to the array update problem is briefly discussed. Empirical results have been collected to measure the effectiveness of the proposed data structure.作者: Mri485 時(shí)間: 2025-3-25 18:40
Interprocedural type propagation for object-oriented languages,ion itself is linear in the program size. Furthermore, the output of symbolic interpretation lends itself to efficient incremental computation and can be reused for other tasks, such as constant propagation or code motion.作者: HARD 時(shí)間: 2025-3-25 23:41 作者: covert 時(shí)間: 2025-3-26 00:57
ELIOS-OBJ theorem proving in a specification language,cribe here how we specified a modular completion design in terms of inference rules and control language, using . itself. On another hand, the specific problems encountered to integrate a completion process in an already reductionoriented environment are pointed out.作者: Anterior 時(shí)間: 2025-3-26 08:07 作者: aphasia 時(shí)間: 2025-3-26 12:10 作者: MANIA 時(shí)間: 2025-3-26 13:37 作者: 類人猿 時(shí)間: 2025-3-26 20:37 作者: 知識(shí) 時(shí)間: 2025-3-27 00:15 作者: PRO 時(shí)間: 2025-3-27 02:26
ESOP ‘92978-3-540-46803-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: anagen 時(shí)間: 2025-3-27 07:58 作者: CUR 時(shí)間: 2025-3-27 12:04
https://doi.org/10.1007/BFb0049437eloped. The effect of adding or removing processors from the system is studied. A notion of strong bisimulation induced by the new semantics is defined. Issues related to a complete axiomatization of this congruence are examined and a complete equational system for a subset of CCS is presented.作者: septicemia 時(shí)間: 2025-3-27 13:44
Gestaltung der Datenintegration,ms is presented in this extended abstract. Its expressive power is discussed, and a general method to associate various formal systems with it is presented and illustrated on deriving the present . compiler.作者: 全部 時(shí)間: 2025-3-27 19:29 作者: anniversary 時(shí)間: 2025-3-27 23:18 作者: 樂(lè)章 時(shí)間: 2025-3-28 05:40 作者: 飾帶 時(shí)間: 2025-3-28 07:09
https://doi.org/10.1007/3-540-07623-9est of our knowledge, the transformation of CPS programs into direct style has not been investigated. This paper describes the mapping of continuation-passing λ-terms to their applicative-order direct style counterpart. We set up foundations and outline applications of the direct style transformatio作者: 莎草 時(shí)間: 2025-3-28 11:06 作者: indenture 時(shí)間: 2025-3-28 18:36 作者: beta-carotene 時(shí)間: 2025-3-28 21:03 作者: Fissure 時(shí)間: 2025-3-28 23:21 作者: 無(wú)彈性 時(shí)間: 2025-3-29 04:25 作者: 憤慨點(diǎn)吧 時(shí)間: 2025-3-29 08:01
Oracle RMAN for Absolute Beginnersgenerates an intermediate functional program, where a special syntactic construct ‘letpar’, which is semantically equivalent to the well-known .-construct, is used to indicate subexpressions for which a parallel execution is allowed. Only for sufficiently complex expressions a parallelization will b作者: 虛度 時(shí)間: 2025-3-29 14:12
https://doi.org/10.1007/BFb0049437eloped. The effect of adding or removing processors from the system is studied. A notion of strong bisimulation induced by the new semantics is defined. Issues related to a complete axiomatization of this congruence are examined and a complete equational system for a subset of CCS is presented.作者: Junction 時(shí)間: 2025-3-29 18:38
Elemental Sulfur and its Reactions, obtain a precise call graph in the presence of late binding for function names. Thus, it can be viewed as a preliminary step for interprocedural constant propagation and/or procedure integration in an object-oriented language. It uses a new efficient form of symbolic interpretation in order to limi作者: Intersect 時(shí)間: 2025-3-29 23:37 作者: 自由職業(yè)者 時(shí)間: 2025-3-30 00:49 作者: PACT 時(shí)間: 2025-3-30 07:33
SIGNAL as a model for real-time and hybrid systems,ms is presented in this extended abstract. Its expressive power is discussed, and a general method to associate various formal systems with it is presented and illustrated on deriving the present . compiler.作者: disrupt 時(shí)間: 2025-3-30 11:16 作者: ectropion 時(shí)間: 2025-3-30 15:43
Compositional refinements in multiple blackboard systems,uage Extended Shared Prolog (ESP). ESP is based on the integration of the blackboard paradigm with Logic Programming. CONESP is a hierarchy of entities, each consisting of a passive blackboard tree and a collection of active components including parallel agents and dynamic (sub) entities. An impleme作者: Detonate 時(shí)間: 2025-3-30 17:19
Fully persistent arrays for efficient incremental updates and voluminous reads, must be preserved to maintain referential transparency. We devise a very simple, fully persistent data structure to tackle this problem such that.An immediate consequence of the above result is that if a functional program is single-threaded, then the data structure provides a simple and efficient 作者: 鉤針織物 時(shí)間: 2025-3-30 22:07 作者: 可憎 時(shí)間: 2025-3-31 02:36
Extraction of strong typing laws from action semantics definitions,ion of a programming language. The type inference rules are guaranteed to enforce strong typing, since they are based on an underlying metasemantics for action semantics, which uses typing functions and natural transformations to give meaning. Next, we use the type checking semantics to extract a dy作者: 使殘廢 時(shí)間: 2025-3-31 07:20 作者: SLAG 時(shí)間: 2025-3-31 10:44 作者: 變色龍 時(shí)間: 2025-3-31 16:22
Approximate fixed points in abstract interpretation,ing fixed points in large (often infinite) lattices. The standard approach in the abstract interpretation of functional languages has been to work with small, finite lattices and this supposedly circumvents the need for such techniques. However, practical experience has shown that, in the presence o
