This book constitutes the refereed proceedings of the 14th International Conference on Software Reuse for Dynamic Systems in the Cloud and Beyond, ICSR 2015, held in Miami, FL, USA, in January 2015. The 21 revised ful...
详细信息
ISBN:
(数字)9783319141305
ISBN:
(纸本)9783319141299
This book constitutes the refereed proceedings of the 14th International Conference on Software Reuse for Dynamic Systems in the Cloud and Beyond, ICSR 2015, held in Miami, FL, USA, in January 2015. The 21 revised full papers presented together with 3 revised short papers were carefully reviewed and selected from 60 submissions. The papers cover several software engineering areas where software reuse is important, such as software product lines, domain analysis, open source, components, cloud, quality.
This book offers a comprehensive view of the best and thelatest work in functional programming. It is the proceedingsof a major international conference and contains 30 papersselected from 126 submitted. A num...
详细信息
ISBN:
(数字)9783540475996
ISBN:
(纸本)9783540543961
This book offers a comprehensive view of the best and the
latest work in functional programming. It is the proceedings
of a major international conference and contains 30 papers
selected from 126 submitted. A number of themes emerge. One
is a growing interest in types: powerful type systems or
type checkers supporting overloading, coercion, dynamic
types, and incremental inference; linear types to optimize
storage, and polymorphic types to optimize semantic
analysis. The hot topic of partial evaluation is well
represented: techniques for higher-order binding-time
analysis, assuring termination of partial evaluation, and
improving the residual programs a partial evaluator
generates. The thorny problem of manipulating state in
functional languages is addressed: one paper even argues
that parallel programs with side-effects can be "more
declarative" than purely functional ones. Theoretical work
covers a new model of types based on projections,
parametricity, a connection between strictness analysis and
logic, and a discussion of efficient implementations of the
lambda-calculus. The connection with computer architecture
and a variety of other topics are also addressed.
This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana, IL, USA, in July 2008. The 28 revised full papers prese...
详细信息
ISBN:
(数字)9783540799801
ISBN:
(纸本)9783540799795
This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana, IL, USA, in July 2008. The 28 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 58 submissions. Among the topics covered are all current issues in formal methods related to algebraic and logical foundations, software technology, and to programming methodology including concurrent and reactive systems, evolutionary software/adaptive systems, logic and functional programming, object paradigms, constraint programming and concurrency, program verification and transformation, programming calculi, specification languages and tools, formal specification and development case studies, logic, category theory, relation algebra, computational algebra, algebraic foundations for languages and systems, coinduction, theorem proving and logical frameworks for reasoning, logics of programs, as well as algebra and coalgebra.
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Rewriting Logic and its Applications, WRLA 2012, held as a satellite event of ETAPS 2012, in Tallinn, Estoni...
详细信息
ISBN:
(数字)9783642340055
ISBN:
(纸本)9783642340048
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Rewriting Logic and its Applications, WRLA 2012, held as a satellite event of ETAPS 2012, in Tallinn, Estonia, in March 2012.
The 8 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 12 initial submissions and 5 invited lectures. The papers address a great diversity of topics in the fields of rewriting logic such as: foundations and models, languages, logical and semantic framework, model-based software engineering, real-time and probabilistic extensions, verification techniques, and distributed systems.
Drawing on extensive research, this book explores the techniques that old computer games used to run on tightly-constrained platforms. Retrogame developers faced incredible challenges of limited space, computing powe...
详细信息
ISBN:
(数字)9783319300047
ISBN:
(纸本)9783319300023;9783319807034
Drawing on extensive research, this book explores the techniques that old computer games used to run on tightly-constrained platforms. Retrogame developers faced incredible challenges of limited space, computing power, rudimentary tools, and the lack of homogeneous environments.;Using examples from over 100 retrogames, this book examines the clever implementation tricks that game designers employed to make their creations possible, documenting these techniques that are being lost. However, these retrogame techniques have modern analogues and applications in general computer systems, not just games, and this book makes these contemporary connections. It also uses retrogames' implementation to introduce a wide variety of topics in computer systems including memory management, interpretation, data compression, procedural content generation, and software protection.;Retrogame Archeology targets professionals and advanced-level students in computer science, engineering, andmathematics but would also be of interest to retrogame enthusiasts, computer historians, and game studies researchers in the humanities.
This quick C# 8 guide is a condensed code and syntax reference to the C# programming language, updated with the latest features of C# 8 for .NET and Windows 10. This book presents the essential C# 8 syntax in a w...
详细信息
ISBN:
(数字)9781484255773
This quick C# 8 guide is a condensed code and syntax reference to the C# programming language, updated with the latest features of C# 8 for .NET and Windows 10. This book presents the essential C# 8 syntax in a well-organized format that can be used as a handy reference. Specifically, it covers nullable reference types, async streams, ranges and indices, default implementations of interface members, recursive patterns, switch expressions, target-typed new-expressions, platform dependencies and more.;In the;, you will find a concise reference to the C# language syntax: short, simple, and focused code examples; a well laid out table of contents; and a comprehensive index allowing easy review. You won’t find any technical jargon, bloated samples, drawn-out history lessons, or witty stories. What you will find is a language reference that is to the point and highly accessible. The book is packed with useful information and is a must-have for any C# programmer.;Those with some experience in programming, looking for a quick, handy reference. Some C# or .NET recommended but not necessary.
Die Nichtsequentielle Programmierung ist der gemeinsame Kern von Vorlesungen über Betriebssysteme, Parallele Algorithmen, Verteilte Systeme, Echtzeitprogrammierung und Datenbanktransaktionen.;In diesem Buch werde...
详细信息
ISBN:
(数字)9783642584312
Die Nichtsequentielle Programmierung ist der gemeinsame Kern von Vorlesungen über Betriebssysteme, Parallele Algorithmen, Verteilte Systeme, Echtzeitprogrammierung und Datenbanktransaktionen.;In diesem Buch werden die wichtigsten Konzepte zur Synchronisation und Kommunikation nebenläufiger Prozesse kompakt und systematisch dargestellt: Schloßvariable, Semaphore, Monitore, synchroner Botschaftenaustausch und Fernaufrufe.;Zur Ergänzung werden ein Prozeßmodell entwickelt, Verklemmungen charakterisiert und einige sprachabhängige Erweiterungen vorgestellt. Die Algorithmen sind in Pascal-FC formuliert, einem Dialekt, der über Sprachmittel zum Ausdruck aller genannten Synchronisationskonzepte verfügt.;Das Buch richtet sich an Studierende im fortgeschrittenen Grundstudium und umfaßt den Stoff einer Vorlesung im Umfang von zwei Semesterwochenstunden.
Software quality and software testing have for decades been decisive topics in software development. However their potential and their influence on the economical side of software development and operations has been u...
详细信息
ISBN:
(数字)9783642563331
ISBN:
(纸本)9783540426325
Software quality and software testing have for decades been decisive topics in software development. However their potential and their influence on the economical side of software development and operations has been understood more clearly only in the last years. This is illustrated by the increasing number of books such as this one and conferences such as SQM(Software Quality Management Congress) and ICSTEST (In ternational Conference on Software Testing). The era of the commercial Internet has brought about new requirements and new challenges for software quality and testing experts. They must cope with new technolo gies,but more importantly with new project structures where for example the market ing department takes on the role of software buyer, general IT service companies are awarded development outsourcing contracts and IT generalists provide IT infrastruc ture and the application framework, and untrained customers become users of the software systems. Also, tougher economical conditions and narrow time frames make software development more challenging today. This, the third volume in Springer's series "***@***", is a col lection of articles which focuses on these challenges. The authors are well-known ex perts of national and international reputation. They have described their current practices and experience taken from a variety of IT projects in large organisations.
暂无评论