標題: Titlebook: Mathematics of Program Construction; 7th International Co Dexter Kozen Conference proceedings 2004 Springer-Verlag Berlin Heidelberg 2004 D [打印本頁] 作者: Glycemic-Index 時間: 2025-3-21 17:29
書目名稱Mathematics of Program Construction影響因子(影響力)
書目名稱Mathematics of Program Construction影響因子(影響力)學科排名
書目名稱Mathematics of Program Construction網(wǎng)絡(luò)公開度
書目名稱Mathematics of Program Construction網(wǎng)絡(luò)公開度學科排名
書目名稱Mathematics of Program Construction被引頻次
書目名稱Mathematics of Program Construction被引頻次學科排名
書目名稱Mathematics of Program Construction年度引用
書目名稱Mathematics of Program Construction年度引用學科排名
書目名稱Mathematics of Program Construction讀者反饋
書目名稱Mathematics of Program Construction讀者反饋學科排名
作者: Generalize 時間: 2025-3-22 00:11
Greg Nelsonded with this book gives a wide variety of illustrative non- linear examples solved with Maple. In addition, numerous annotated examples are sprinkled throughout the text and also placed on the CD. An accompanying set of experimental activities keyed to the theory developed in Part I of the book is 作者: 死亡 時間: 2025-3-22 01:19 作者: 傾聽 時間: 2025-3-22 07:53 作者: 使害羞 時間: 2025-3-22 11:31
Frank Atanassow,Johan Jeuringded with this book gives a wide variety of illustrative non- linear examples solved with Maple. In addition, numerous annotated examples are sprinkled throughout the text and also placed on the CD. An accompanying set of experimental activities keyed to the theory developed in Part I of the book is 作者: Credence 時間: 2025-3-22 14:02 作者: outskirts 時間: 2025-3-22 19:20 作者: 輕率的你 時間: 2025-3-22 23:04 作者: Keratin 時間: 2025-3-23 03:06
Mathematics of Program Construction978-3-540-27764-4Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Migratory 時間: 2025-3-23 05:47 作者: GLIB 時間: 2025-3-23 10:06 作者: Gentry 時間: 2025-3-23 14:23
Compiling Exceptions Correctly article we show that the basic method of compiling exceptions using stack unwinding can be explained and verified both simply and precisely, using elementary functional programming techniques. In particular, we develop a compiler for a small language with exceptions, together with a proof of its correctness.作者: 審問,審訊 時間: 2025-3-23 19:21 作者: 有罪 時間: 2025-3-24 02:10 作者: 越自我 時間: 2025-3-24 02:47
Probabilistic Predicative ProgrammingThis paper shows how probabilistic reasoning can be applied to the predicative style of programming.作者: 破譯 時間: 2025-3-24 09:13 作者: 繼而發(fā)生 時間: 2025-3-24 12:08 作者: 真實的人 時間: 2025-3-24 18:20
Extended Static Checking for Javaned in a recent PLDI paper [1]. The checker described in the talk and in the PLDI paper is a research prototype on which work ceased several years ago, but Joe Kiniry and David Cok have recently produced a more up-to-date checker, ESC/Java 2 [2].作者: Obloquy 時間: 2025-3-24 22:54 作者: 可卡 時間: 2025-3-25 02:14
Inferring Type Isomorphisms Genericallyoercions between base types. We explain how this technique has been used to drastically improve the usability of a Haskell–XML Schema data binding, and suggest how it might be applied to improve other type-safe language embeddings.作者: licence 時間: 2025-3-25 03:42
Chasing Bottomssting properties of programs in the presence of partial and infinite values. By testing before proving we avoid wasting time trying to prove statements that are not valid. Then we prove that the programs we have written are in fact (more or less) inverses using first fixpoint induction and then the approximation lemma.作者: 強制令 時間: 2025-3-25 07:34 作者: sleep-spindles 時間: 2025-3-25 13:39
Modelling Nondeterminisme.ned into functions that can be translated into an appropriate functional programming language. We now propose to go one step further, since the domain of relations can be used to describe only angelic or demonic nondeterminism, but not both.作者: abolish 時間: 2025-3-25 19:04
An Injective Language for Reversible Computationng a history. The language is presented with many examples, and its relationship with Bennett’s reversible Turing machine is explained. The language serves as a good model for program construction and reasoning for reversible computers, and hopefully for modelling bi-directional updating in an editor.作者: infatuation 時間: 2025-3-25 20:10
Prototyping Generic Programming in Template Haskellng languages, PolyP and Generic Haskell, using Template Haskell, an extension to Haskell that enables compile-time meta-programming. In doing this we also gain a better understanding of the differences and similarities between the two languages.作者: vasospasm 時間: 2025-3-26 02:27
Friends Need a Bit More: Maintaining Invariants Over Shared Staten exisiting ownership type systems because they link objects that are not in the same ownership domain. Friendship permits the modular verification of cooperating classes. This paper defines friendship, sketches a soundness proof, and provides several realistic examples.作者: 貪婪地吃 時間: 2025-3-26 04:57 作者: Perineum 時間: 2025-3-26 11:30
Transposing Relations: From , Functions to Hash Tablesble to simple relations only..Our illustration of the usefulness of the generic transpose takes advantage of the . of a polymorphic function. We show how to derive laws of relational combinators as free theorems of their transposes. Finally, we relate the topic of functional transposition with the . technique for efficient data representation.作者: Defiance 時間: 2025-3-26 15:55
Augmenting Types with Unbounded Demonic and Angelic Nondeterminacyminacy arises naturally in specification and programming languages, we speculate that it combines fruitfully with function theory to the extent that it can play an important role in facilitating proofs of programs that have no apparent connection with nondeterminacy.作者: Cirrhosis 時間: 2025-3-26 17:05
Pointer Theory and Weakest Preconditions without Addresses and Heaposition of them. Those ./.-definitions and the concept of trace equivalence are the result of the paper. They are intended as a foundation for program design; in particular, for an object-oriented one.作者: fibula 時間: 2025-3-26 22:07 作者: Constituent 時間: 2025-3-27 01:12
Constructing Polymorphic Programs with Quotient Typesrphism has been one of the most successful approaches to date but, as of yet, has not been applicable to programming with quotient datatypes such as unordered pairs, cyclic lists, bags etc. This paper provides the basis for writing polymorphic programs over quotient datatypes by extending our recent作者: 閃光東本 時間: 2025-3-27 08:44
Optimizing Generic Functionsne acquires this operation over any particular type. An instance on a specific type is generated by interpretation of the type’s structure. A direct translation leads to extremely inefficient code that involves many conversions between types and their structural representations. In this paper we pre作者: Diatribe 時間: 2025-3-27 10:15
Inferring Type Isomorphisms Genericallypair of binary products. In some canonical cases, the conversion function is uniquely determined solely by the two types involved. In this article we describe and implement a program in Generic Haskell which automatically infers this function by normalizing types w.r.t. an algebraic theory of canoni作者: 文件夾 時間: 2025-3-27 16:36
Friends Need a Bit More: Maintaining Invariants Over Shared Stateefined. Friendship is a flexible protocol that allows invariants expressed over shared state. Such invariants are more expressive than those allowed in exisiting ownership type systems because they link objects that are not in the same ownership domain. Friendship permits the modular verification of作者: Circumscribe 時間: 2025-3-27 18:03 作者: 滑動 時間: 2025-3-27 23:43
Describing Gen/Kill Static Analysis Techniques with Kleene Algebra, we formalize four instances of a static data flow analysis technique known as gen/kill analysis. This formalization clearly reveals the dualities between the four instances; although these dualities are known, the standard formalization does not reveal them in such a clear and concise manner. We p作者: Agronomy 時間: 2025-3-28 04:29
A Free Construction of Kleene Algebras with Tests free Kleene algebra with tests generated by a pair of sets. We also show that the category . of Kleene algebras with tests and the category .. of Kozen’s Kleene algebras with tests are related by an adjunction. This fact shows that an infinitely-generated free Kleene algebra with tests in the sense作者: ALLEY 時間: 2025-3-28 08:34
Streaming Representation-Changersld after a fold; typically, it will convert from one data representation to another. In general, metamorphisms are less interesting than hylomorphisms: there is no automatic . to . the intermediate virtual data structure. However, under certain conditions fusion is possible: some of the work of the 作者: 去世 時間: 2025-3-28 10:46 作者: SPURN 時間: 2025-3-28 17:17
Compiling Exceptions Correctly article we show that the basic method of compiling exceptions using stack unwinding can be explained and verified both simply and precisely, using elementary functional programming techniques. In particular, we develop a compiler for a small language with exceptions, together with a proof of its co作者: Bureaucracy 時間: 2025-3-28 19:40
Modelling Nondeterminism of this domain is that it can only be used to describe deterministic programs: those that deliver only one output for each input. More recently, the development of the relational calculus for program derivation [BdM97] has allowed programmers to reason about programs together with their speci.catio作者: sphincter 時間: 2025-3-29 02:23
Lazy Kleene Algebraomputation calculus, Cohen’s omega algebra and von Wright’s demonic refinement algebra. Moreover, by adding domain and codomain operators we can also incorporate modal operators. Finally, it is shown that predicate transformers form lazy Kleene algebras again, the disjunctive and conjunctive ones ev作者: foreign 時間: 2025-3-29 06:12 作者: 縫紉 時間: 2025-3-29 10:14
An Injective Language for Reversible Computationcomputers that use energy more effectively. A more recent motivation to understand reversible transformations also comes from the design of editors where editing actions on a view need to be reflected back to the source data. In this paper we present a point-free functional language, with a relation作者: 脫離 時間: 2025-3-29 13:29 作者: 擴大 時間: 2025-3-29 18:30
Transposing Relations: From , Functions to Hash Tables.This paper attempts to develop a basis for .. Two instances of this construction are considered, one applicable to any relation and the other applicable to simple relations only..Our illustration of the usefulness of the generic transpose takes advantage of the . of a polymorphic function. We show 作者: 刺激 時間: 2025-3-29 20:27
Pointer Theory and Weakest Preconditions without Addresses and Heapion concepts. The aim of this paper is a theory that formalizes pointers in terms of concepts from high-level programming languages. We begin with a graph theory, which formalizes the implementation concepts but avoids some common distinctions. From it, we calculate the theory of trace equivalences,作者: 羽飾 時間: 2025-3-30 00:18 作者: Consensus 時間: 2025-3-30 06:59
Greg Nelsons an introduction to some simple related nonlinear experimental activities. Students in engineering, phys- ics, chemistry, mathematics, computing science, and biology should be able to successfully use this book. In an effort to provide the reader with a cutting edge approach to one of the most dyna作者: 合群 時間: 2025-3-30 09:14 作者: 杠桿 時間: 2025-3-30 16:25
Artem Alimarine,Sjaak Smetsersto solving the nonlinear ordinary and partial differential equations of physics. For many nonlinear systems, particularly those where the nonlinear terms are not small corrections to an otherwise linear behavior, the numerical route may be the best or only feasible way to travel. For the nonlinear O作者: essential-fats 時間: 2025-3-30 17:43 作者: THROB 時間: 2025-3-30 21:46 作者: 漫步 時間: 2025-3-31 01:08 作者: Dorsal-Kyphosis 時間: 2025-3-31 06:05 作者: hidebound 時間: 2025-3-31 10:53
James Beattie2 deals with 3D multimodal interaction, designing for usable and natural interaction and creating realistic object simulation. Primarily written for first level graduates, advanced undergraduates and IT professionals will also find this a valuable guide..978-1-85233-958-6978-1-84628-230-0作者: biosphere 時間: 2025-3-31 16:58 作者: 兩棲動物 時間: 2025-3-31 19:22 作者: Patrimony 時間: 2025-4-1 00:42
The EU and the Middle East Peace Process: From Hope to Despair (1991-1999), important changes in European foreign policy-making that took place in this period, with special reference to those innovations relevant to EU policy towards the Middle East. Lastly, the chapter analyses the evolution of the EU’s strategy and initiatives towards the region, from the inception of th作者: 感染 時間: 2025-4-1 04:01 作者: arrhythmic 時間: 2025-4-1 07:58
,Open Air — Massenveranstaltungen der Popul?ren Musik 1969 – 1994,t“ (.), sagt ., 1967 Mitinitiator des ?Zauberberg-Musikfestivals“ auf dem Mount Tamalpais und 1968 Mitinitiator des Miami Pop Festivals. Und was die Musik betrifft, pr?zisiert er: ?Ich meine, wer Musik h?ren will, kann sie zu Hause mit dem Plattenspieler besser h?ren, auch wenn die Tonanlagen auf den Festivals noch so gewaltig sind“ (.).
