標(biāo)題: Titlebook: International Symposium on Programming; 5th Colloquium, Turi Mariangiola Dezani-Ciancaglini,Ugo Montanari Conference proceedings 1982 Sprin [打印本頁] 作者: 休耕地 時間: 2025-3-21 19:53
書目名稱International Symposium on Programming影響因子(影響力)
書目名稱International Symposium on Programming影響因子(影響力)學(xué)科排名
書目名稱International Symposium on Programming網(wǎng)絡(luò)公開度
書目名稱International Symposium on Programming網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱International Symposium on Programming被引頻次
書目名稱International Symposium on Programming被引頻次學(xué)科排名
書目名稱International Symposium on Programming年度引用
書目名稱International Symposium on Programming年度引用學(xué)科排名
書目名稱International Symposium on Programming讀者反饋
書目名稱International Symposium on Programming讀者反饋學(xué)科排名
作者: objection 時間: 2025-3-21 21:02 作者: Hamper 時間: 2025-3-22 01:21
Tuning algebraic specifications by type merging,ave the disadvantage of being too much decomposed and hence not directly suited for finding efficient implementations. The paper presents a formal method for overcoming this drawback by combining suitable hierarchical types while simultaneously specifying new (combined) operations.作者: 凈禮 時間: 2025-3-22 06:29
978-3-540-11494-9Springer-Verlag Berlin Heidelberg 1982作者: disciplined 時間: 2025-3-22 11:04
International Symposium on Programming978-3-540-39184-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: appall 時間: 2025-3-22 13:06 作者: 進(jìn)步 時間: 2025-3-22 18:50
https://doi.org/10.1007/3-540-11494-7algorithm; algorithms; concurrency; logic; parallelism; program synthesis; program transformation; programm作者: 點(diǎn)燃 時間: 2025-3-23 00:28 作者: 運(yùn)氣 時間: 2025-3-23 01:34 作者: 說明 時間: 2025-3-23 08:12
ose systems. This data has the potential to form a major resource in respect of applications ranging from healthcare to energy systems, transport and manufacturing. However, the analysis and interpretation of the data, particularly when associated with the application of Artificial Intelligence (AI)作者: 內(nèi)行 時間: 2025-3-23 15:25
David B. Bensoneloping and implementing manufacturing processes and technologies that are required not only to keep productivity high but also to respond to the challenges of issues such as energy conservation and pollution preventions. Facing the central tension between manufacturing and environmental drivers is 作者: interior 時間: 2025-3-23 18:23 作者: DEVIL 時間: 2025-3-24 01:50 作者: Progesterone 時間: 2025-3-24 03:39 作者: Bureaucracy 時間: 2025-3-24 07:11 作者: Stagger 時間: 2025-3-24 11:28
Tzilla Elrad,Nissim Francezader should understand that this volume is a preliminary analysis of a problem that has not received much attention. The case histories, for example, are illustrative because one volume cannot include all histories, or even those in Europe. Consequently, case histories are lacking on many parts of t作者: 精致 時間: 2025-3-24 17:31 作者: Lucubrate 時間: 2025-3-24 20:41 作者: 連累 時間: 2025-3-25 01:58
M. P. Fle,G. Roucairolstrumenti comuni per la comprensione ed il trattamento delle varie problematiche ad essa legate nella pratica clinica quotidiana. L’informazione viene selezionata accuratamente e l’ecocardiografia è immersa nel contesto clinico, anatomico, fisiopatologico , terapeutico e chirurgico entro cui è abitu作者: 修剪過的樹籬 時間: 2025-3-25 06:33 作者: genuine 時間: 2025-3-25 10:29 作者: 歡笑 時間: 2025-3-25 14:16 作者: craven 時間: 2025-3-25 18:27 作者: Indurate 時間: 2025-3-25 20:20 作者: GUILT 時間: 2025-3-26 01:09
A. Laut,H. Partschtion is synonymous to urbanization. Aspiring to be equitable, cities should balance the needs of their various inhabitants, securing the prosperity of both affluent and vulnerable groups. For many years, slums and informal areas have been seen as geographies of blight and despair. However, these are作者: 柔軟 時間: 2025-3-26 06:32 作者: 航海太平洋 時間: 2025-3-26 08:51
A formalized proof system for total correctness of , programs,are‘s Logic HL (Σ, .) for partial correctness is defined as usual and on top of it a proof system (Σ, .) ? p → S ↓ for termination assertions is defined. The system is first order in nature, but we prove it sound and complete w.r.t. a second order semantics. We provide a translation of a standard pr作者: WAIL 時間: 2025-3-26 16:26 作者: arrogant 時間: 2025-3-26 17:49 作者: hermetic 時間: 2025-3-27 00:38
Perluette : A compilers producing system using abstract data types,compilers producing system Perluette. This system is based upon a formal semantics of programming languages. Programming languages are considered to be algebraic data types. Then it becomes possible to specify and prove their implementations as representations of an algebraic data type into another 作者: 流利圓滑 時間: 2025-3-27 02:18 作者: PARA 時間: 2025-3-27 05:47
Another characterization of weakest preconditions,e input-output behaviour of programs. These relations include an explicit representation of non-terminating computations. Based on the relational model we introduce a weakest precondition total correctness predicate transformer. We then show how to build up this predicate transformer starting from o作者: Immunotherapy 時間: 2025-3-27 10:09 作者: Phagocytes 時間: 2025-3-27 16:35
Optimizing for a multiprocessor: Balancing synchronization costs against parallelism in straight-lissor. We adopt a simplified model of a multiprocessor, consisting of several identical processors, all sharing access to a common memory. Synchronization must be done explicitly, using two special operations that take a period of time comparable to the cost of data operations. Our treatment differs 作者: FANG 時間: 2025-3-27 18:50 作者: Intact 時間: 2025-3-28 01:23
Proving the correctness of implementations of shared data abstractions,nsion of Hoare‘s method developed for proving the correctness of an implementation of abstract data types specified in a sequential programming environment. An example is given to illustrate the proposed proof method.作者: 夾死提手勢 時間: 2025-3-28 02:51 作者: PUT 時間: 2025-3-28 07:51
Tuning algebraic specifications by type merging,ave the disadvantage of being too much decomposed and hence not directly suited for finding efficient implementations. The paper presents a formal method for overcoming this drawback by combining suitable hierarchical types while simultaneously specifying new (combined) operations.作者: 值得贊賞 時間: 2025-3-28 11:43
An enlarged definition and complete axiomatization of observational congruence of finite processes,gruence ; a finite set of equational axioms is given for the congruence, which we prove to be a complete proof system by argumenting over canonical forms of programs. In a second time, our language is enriched by adding it the necessary operators for expressing the parallel composition of processes 作者: Immobilize 時間: 2025-3-28 15:02
From abstract model to efficient compilation of patterns, good performance at execution. The underlying problem is that good optimizing compilers are too complex to also serve as a modifiable definition of the language..Our strategy is based on the development of a simple formal definition of the problem. Then a pattern match interpreter in Lisp is develo作者: 忍受 時間: 2025-3-28 22:43
Powerdomains and nondeterministic recursive definitions,fied in the model if and only if they are identified by the corresponding operational preorder. The three different models are defined using three different powerdomains and these are shown to arise naturally by considering different properties of the semantic counter-part of the operator OR..Finall作者: 溝通 時間: 2025-3-28 23:55
Optimizing for a multiprocessor: Balancing synchronization costs against parallelism in straight-li the code generated by two heuristics, and observe how local optimization schemes can gradually improve its quality. We are implementing our techniques in an experimental compiler that will generate code for Cm*, a real multiprocessor, having several characteristics of our model computer.作者: Injunction 時間: 2025-3-29 03:12
lp systems designers in identifying those questions that need to be asked. For this reason, the chapter includes a wide-ranging, but by no means all-inclusive or fully comprehensive, bibliography as well as more conventional references as a means of directing and aiding systems designers in identify作者: Anguish 時間: 2025-3-29 11:11
Marco Bellia,Pierpaolo Degano,Giorgio Levi,Enrico Dameri,Maurizio Martellince criterion is to minimize total traveling time of the robot with the smallest consumed amount of battery energy in a given planning horizon. A mixed-integer programming (MIP) model is developed to find the optimal solutions for the problem. Two case studies are implemented at an impeller producti作者: 異常 時間: 2025-3-29 12:34
David B. Bensonnce criterion is to minimize total traveling time of the robot with the smallest consumed amount of battery energy in a given planning horizon. A mixed-integer programming (MIP) model is developed to find the optimal solutions for the problem. Two case studies are implemented at an impeller producti作者: BLUSH 時間: 2025-3-29 18:08 作者: dysphagia 時間: 2025-3-29 20:17
Ernesto J. F. Costance criterion is to minimize total traveling time of the robot with the smallest consumed amount of battery energy in a given planning horizon. A mixed-integer programming (MIP) model is developed to find the optimal solutions for the problem. Two case studies are implemented at an impeller producti作者: 構(gòu)想 時間: 2025-3-30 02:04
Ph. Darondeaubed areas following various clean-up techniques could be studied, and the effect of different practices would then be quantitatively documented. If we are to optimize the information gathered, a greater flexibility must exist between regulatory agencies, the industry or other organization responsibl作者: Commentary 時間: 2025-3-30 07:24
Ph. Deschamp the information necessary to analyze the problem was covered in sufficient depth by those in attendance and that other case histories would have been interesting, but would probably not have caused substantive changes in the conclusions or recommendations. The Workshop organizers did not selectivel作者: 斗志 時間: 2025-3-30 11:45
Tzilla Elrad,Nissim Francezgreed that the information necessary to analyze the problem was covered in sufficient depth by those in attendance and that other case histories would have been interesting, but would probably not have caused substantive changes in the conclusions or recommendations. The Workshop organizers did not selectivel978-1-4615-9452-9978-1-4615-9450-5作者: 陶瓷 時間: 2025-3-30 13:53
P?r Emanuelsony informative, solutions based on this technology were not yet sufficiently comprehensive to impact the entire school program nor did it enable researchers to investigate program variability over long periods of time. The purpose of this chapter is to discuss the development and application of ecobe作者: nuclear-tests 時間: 2025-3-30 16:59 作者: 復(fù)習(xí) 時間: 2025-3-31 00:00 作者: grotto 時間: 2025-3-31 02:32 作者: 亂砍 時間: 2025-3-31 06:31
J. R. Hindleyinto the aspects of capacity building in the reconstruction process and examines the factors that had significant influences. Factors accounted for are the socio-cultural context of the country, availability and distribution of resources, pre-disaster status of community capacity building efforts, a作者: 音樂會 時間: 2025-3-31 11:58 作者: resistant 時間: 2025-3-31 14:22 作者: 雕鏤 時間: 2025-3-31 18:17
Jaoek Leszczylowski,Martin Wirsingrds,?a diagnostic tool evolved from a holistic understanding of Earth’s?socio-ecological systems for maintaining homeostasis. Ecocity Standards?help cities assess their progress on the path to becoming ecocities.?The chapters provide an orientation to the importance of engaging people, where they li作者: Mendicant 時間: 2025-4-1 00:49 作者: chlorosis 時間: 2025-4-1 02:49
A machine-level semantics for nondeterministic, parallel programs,作者: 樂意 時間: 2025-4-1 06:32 作者: 愉快嗎 時間: 2025-4-1 14:10
Specification of communicating processes and process implementation correctness,作者: interrupt 時間: 2025-4-1 18:07 作者: Muscularis 時間: 2025-4-1 19:41
Applicative communicating processes in first order logic, procedures. An equivalent least fixed-point semantics is then presented which neatly copes with the above features of the language. It is worth noting that computations in our logical based model can be considered as formal proofs, thus making formal reasoning about programs easier.作者: Coterminous 時間: 2025-4-1 23:50
A formalized proof system for total correctness of , programs,ed. The system is first order in nature, but we prove it sound and complete w.r.t. a second order semantics. We provide a translation of a standard proof system HL.(A) for total correctness on a structure A into our format.作者: Concomitant 時間: 2025-4-2 02:52
