Downloads & Free Reading Options - Results

390p. ; 24 cm

This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 31 regular papers presented in this volume were carefully reviewed and selected from 98 submissions. The papers cover topics such as categorical models and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency theory and process calculi; rewriting theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification and refinement; models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems; emerging models of computation; logical aspects of computational complexity; models of software security; and logical foundations of data bases.​

The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024. The 24 full papers included in this book were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows: Part I: Infinite games; categorical semantics; automata and synthesis; Part II: Types and programming languages; logic and proofs; infinite-state systems.

Foundations of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings Author: Jerzy Tiuryn Published by Springer Berlin Heidelberg ISBN: 978-3-540-67257-9 DOI: 10.1007/3-540-46432-8 Table of Contents: Norm Functions for Probabilistic Bisimulations with Delays Constructor Subtyping in the Calculus of Inductive Constructions Verifying Performance Equivalence for Timed Basic Parallel Processes On Word Rewriting Systems Having a Rational Derivation Proof Nets and Explicit Substitutions Typing Local Definitions and Conditional Expressions with Rank 2 Intersection (Extended Abstract) Hierarchical Graph Transformation A Program Refinement Framework Supporting Reasoning about Knowledge and Time A Higher-Order Simulation Relation for System F Probabilistic Asynchronous π-Calculus Constructive Data Refinement in Typed Lambda Calculus On Recognizable Stable Trace Languages The State Explosion Problem from Trace to Bisimulation Equivalence A Proof System for Timed Automata Categorical Models for Intuitionistic and Linear Type Theory Locality and Polyadicity in Asynchronous Name-Passing Calculi On Rational Graphs Sequential and Concurrent Abstract Machines for Interaction Nets On Synchronous and Asynchronous Mobile Processes Type Inference for First-Order Logic

Foundations of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings Author: Jerzy Tiuryn Published by Springer Berlin Heidelberg ISBN: 978-3-540-67257-9 DOI: 10.1007/3-540-46432-8 Table of Contents: Norm Functions for Probabilistic Bisimulations with Delays Constructor Subtyping in the Calculus of Inductive Constructions Verifying Performance Equivalence for Timed Basic Parallel Processes On Word Rewriting Systems Having a Rational Derivation Proof Nets and Explicit Substitutions Typing Local Definitions and Conditional Expressions with Rank 2 Intersection (Extended Abstract) Hierarchical Graph Transformation A Program Refinement Framework Supporting Reasoning about Knowledge and Time A Higher-Order Simulation Relation for System F Probabilistic Asynchronous π-Calculus Constructive Data Refinement in Typed Lambda Calculus On Recognizable Stable Trace Languages The State Explosion Problem from Trace to Bisimulation Equivalence A Proof System for Timed Automata Categorical Models for Intuitionistic and Linear Type Theory Locality and Polyadicity in Asynchronous Name-Passing Calculi On Rational Graphs Sequential and Concurrent Abstract Machines for Interaction Nets On Synchronous and Asynchronous Mobile Processes Type Inference for First-Order Logic

Foundations of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings Author: Jerzy Tiuryn Published by Springer Berlin Heidelberg ISBN: 978-3-540-67257-9 DOI: 10.1007/3-540-46432-8 Table of Contents: Norm Functions for Probabilistic Bisimulations with Delays Constructor Subtyping in the Calculus of Inductive Constructions Verifying Performance Equivalence for Timed Basic Parallel Processes On Word Rewriting Systems Having a Rational Derivation Proof Nets and Explicit Substitutions Typing Local Definitions and Conditional Expressions with Rank 2 Intersection (Extended Abstract) Hierarchical Graph Transformation A Program Refinement Framework Supporting Reasoning about Knowledge and Time A Higher-Order Simulation Relation for System F Probabilistic Asynchronous π-Calculus Constructive Data Refinement in Typed Lambda Calculus On Recognizable Stable Trace Languages The State Explosion Problem from Trace to Bisimulation Equivalence A Proof System for Timed Automata Categorical Models for Intuitionistic and Linear Type Theory Locality and Polyadicity in Asynchronous Name-Passing Calculi On Rational Graphs Sequential and Concurrent Abstract Machines for Interaction Nets On Synchronous and Asynchronous Mobile Processes Type Inference for First-Order Logic

This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 28 regular papers presented in this volume were carefully reviewed and selected from 88 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.

This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 28 regular papers presented in this volume were carefully reviewed and selected from 88 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.

artificial intelligence; computer software; selection and evaluation; formal logic; graph theory; modal logic; petri nets; program compilers; programming language; semantics; separation logic; software engineering; theorem proving; type systems; verification

This open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019. The 29 papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with foundational research with a clear significance for software science.

This open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 23 regular papers presented in this volume were carefully reviewed and selected from 77 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.

The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024. The 24 full papers included in this book were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows: Part I: Infinite games; categorical semantics; automata and synthesis; Part II: Types and programming languages; logic and proofs; infinite-state systems.

This open access book constitutes the proceedings of the 26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 26 regular papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.

1English Fairy Tales

By Joseph Jacobs

A collection of traditional English fairy tales. (description by Joy Chan)

2Monkey's Paw

By W. W. Jacobs

The Monkey’s Paw was written in 1902 by W.W. Jacobs. It’s a dark brooding tale which promises from the start that the light you see at the end of the tunnel is actually an oncoming train. Mr and Mrs White of Laburnum Villas step out toward that light by taking up the three wishes granted to the owner of the Monkey’s Paw. Terrible things have happened to previous owners of this artifact but surely the Whites will fare better than those who have gone before… (Summary by Jim Mowatt.)

3Incidents in the Life of a Slave Girl, Written by Herself

By Harriet Jacobs

Harriet Jacobs' autobiography, written under the pseudonym Linda Brent, details her experiences as a slave in North Carolina, her escape to freedom in the north, and her ensuing struggles to free her children. The narrative was partly serialized in the New York Tribune, but was discontinued because Jacobs' depictions of the sexual abuse of female slaves were considered too shocking. It was published in book form in 1861. (Summary by Elizabeth Klett).

4Celtic Fairy Tales

By Joseph Jacobs

Celtic Fairy Tales is a collection of 25 folk and fairy stories collected from Ireland and Scotland. At what I imagine is the Frontispiece, or the dedication page, is the phrase:<br /> _SAY THIS /Three times, with your eyes shut_/ <br /> Mothuighim boladh an Éireannaigh bhinn bhreugaigh faoi m'fhóidín dúthaigh. <br /> _And you will see/What you will see_ <br /> A loose translation of this Gaelic phrase is "I sense the smell of a sweet, enchanting Irishman around my dear homeplace." <br /> Translation provided by www.irishgaelictranslator.com/ (Summary by Pete Lutz)

5Celtic Folk and Fairy Tales

By Joseph Jacobs

A collection of folk and fairy tales from the Emerald Isle. There is an earlier version of this book - <a >Celtic Fairy Tales</a>, but this recording was done from a different book in Project Gutenberg. Same book, new readers! (Summary by Ann Boulais)

6Indian Fairy Tales

By Joseph Jacobs

This book is a fine collection of Indian fairy tales, some are folklore, some are from the Jataka tales, and some from panchatantra. (Summary by sidhu177)

7Night Watches

By W. W. Jacobs

A most popular Jacobs character, a night watchman along the English coast, remembers troubles his friends got into during shore leave. At least part of the fault lay with those friends, who were both careless and naïve. But not all the stories are linked to just shore leave even though they relate to the sea in some way. Included are a ghost story, a warehouse worker playing sick, a couple sparring for new income, and even a makeover story. (Bill Boerst based on Wikipedia)

8More English Fairy Tales

By Joseph Jacobs

"This volume will come, I fancy, as a surprise both to my brother folk-lorists and to the public in general. It might naturally have been thought that my former volume (English Fairy Tales) had almost exhausted the scanty remains of the traditional folk-tales of England. Yet I shall be much disappointed if the present collection is not found to surpass the former in interest and vivacity, while for the most part it goes over hitherto untrodden ground, the majority of the tales in this book have either never appeared before, or have never been brought between the same boards." - Summary from the preface

9Story of Geographical Discovery: How the World Became Known, Version 2

By Joseph Jacobs

From the time of the Ancients to expeditions to the North Pole, Jacobs tells the adventure story of the discovery of the different lands and cultures up to the present day (1897) - Summary by SkyRider

More fairy tales from the early days of the British Isles, collected and edited by Joseph Jacobs. - Summary by bookworm360

11Skipper's Wooing

By W. W. Jacobs

The crew of the ship come together in a syndicate to find the missing father of the lady whom their skipper should like to favour. Their resulting escapades prove to be highly amusing - Summary by Alan Lord

12Story of Geographical Discovery: How the World Became Known

By Joseph Jacobs

This book was first published in 1897. It's a short work, but it encompasses a vast subject—nothing less than determining the detailed geographical plan of our entire world! In the process, Jacobs feeds us dates and names and events and places and maps in a dense stream. It's a bit like drinking from a fire hose, but see it through, and the reader (or listener) will acquire a surprisingly complete overview of world history as well as geography. It's well worth absorbing, even by those not so geographically inclined, if only as a source for winning endless bar bets. Beginning in ancient times, the author identifies three main forces that have contributed to our present understanding: wars of conquest, competition for trade, and (eventually) pure scientific curiosity. The Egyptians, Phoenicians, early Greeks, Babylonians, and many other Mediterranean peoples contributed, often unwillingly, the streams of knowledge that Ptolemy of Alexandria summed up in the great Ptolemaei Orbis (ca.150 AD), the first “real” map of the whole known world. The evolution of world maps to incorporate (and sometime conceal) new discoveries is a key theme of this fascinating work. (Summary by Steven Seitel)

13Light Freights

By W. W. Jacobs

A collection of weird and humorous short stories known for their good twists featuring a trio attempting some get-rich-quick schemes, the goings on at a small village, sailors attempting to stand up to bullies, more sailors dealing with orphans, hypnotists and accidental stowaways, wives trying to scare their husbands straight and what telling tall tales in inns can lead to. (Summary by Inkell)

14Lady of the Barge

By W. W. Jacobs

Another collection of short stories, a mixture of the humorous and the horrifying all with unexpected twists - Summary by Inkell