ECOOP 2012 -- Object-Oriented Programming
ECOOP 2012 -- Object-Oriented Programming

Author: James Noble

Publisher: Springer

Published: 2012-06-28

Total Pages: 778

ISBN-13: 3642310575

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 26th European Conference on Object-Oriented Programming, ECOOP 2012, held in Beijing, China, in June 2012. The 27 revised full papers presented together with two keynote lectures were carefully reviewed and selected from a total of 140 submissions. The papers are organized in topical sections on extensibility, language evaluation, ownership and initialisation, language features, special-purpose analyses, javascript, hardcore theory, modularity, updates and interference, general-purpose analyses.

ECOOP 2014 -- Object-Oriented Programming
ECOOP 2014 -- Object-Oriented Programming

Author: Richard Jones

Publisher: Springer

Published: 2014-07-17

Total Pages: 721

ISBN-13: 3662442027

DOWNLOAD EBOOK

This book constitutes the proceedings of the 28th European Conference on Object-Oriented Programming, ECOOP 2014, held in Uppsala, Sweden, in July/August 2014. The 27 papers presented in this volume were carefully reviewed and selected from 101 submissions. They are organized in topical sections named: analysis; design; concurrency; types; implementation; refactoring; JavaScript, PHP and frameworks; and parallelism.

ECOOP 2013 -- Object-Oriented Programming
ECOOP 2013 -- Object-Oriented Programming

Author: Giuseppe Castagna

Publisher: Springer

Published: 2013-06-25

Total Pages: 761

ISBN-13: 3642390382

DOWNLOAD EBOOK

This book constitutes the proceedings of the 27th European Conference on Object-Oriented Programming, ECOOP 2013, held in Montpellier, France, in July 2013. The 29 papers presented in this volume were carefully reviewed and selected from 116 submissions. They are organized in topical sections on aspects, components, and modularity; types; language design; concurrency, parallelism, and distribution; analysis and verification; modelling and refactoring; testing, profiling, and empirical studies; and implementation.

Aliasing in Object-Oriented Programming
Aliasing in Object-Oriented Programming

Author: David Clarke

Publisher: Springer

Published: 2013-03-21

Total Pages: 521

ISBN-13: 3642369464

DOWNLOAD EBOOK

This book presents a survey of the state-of-the-art on techniques for dealing with aliasing in object-oriented programming. It marks the 20th anniversary of the paper The Geneva Convention On The Treatment of Object Aliasing by John Hogg, Doug Lea, Alan Wills, Dennis de Champeaux and Richard Holt. The 22 revised papers were carefully reviewed to ensure the highest quality.The contributions are organized in topical sections on the Geneva convention, ownership, concurrency, alias analysis, controlling effects, verification, programming languages, and visions.

Formal Methods and Software Engineering
Formal Methods and Software Engineering

Author: Jing Sun

Publisher: Springer

Published: 2018-11-05

Total Pages: 480

ISBN-13: 3030024504

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD, Australia, in November 2018. The 22 revised full papers presented together with 14 short papers were carefully reviewed and selected from 66 submissions. The conference focuses on all areas related to formal engineering methods, such as verification; network systems; type theory; theorem proving; logic and semantics; refinement and transition systems; and emerging applications of formal methods.

Programming Languages and Systems
Programming Languages and Systems

Author: Xinyu Feng

Publisher: Springer

Published: 2015-12-08

Total Pages: 507

ISBN-13: 3319265296

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 13th Asian Symposium on Programming Languages and Systems, APLAS 2015, held in Pohang, South Korea, in November/December 2015. The 24 regular papers presented together with 1 short paper were carefully reviewed and selected from 74 submissions. The papers cover a variety of foundational and practical issues in programming languages and systems and have been organized in topical sections on compilers, separation logic, static analysis and abstract interpretation, Hoare logic and types, functional programming and semantics, model checking, program analysis, medley, and programming models.

Active Object Languages
Active Object Languages

Author: Frank de Boer

Publisher: Springer Nature

Published: 2024

Total Pages: 383

ISBN-13: 3031510607

DOWNLOAD EBOOK

Active Objects are a programming paradigm that supports a non-competitive, data-driven concurrency model. This renders active object languages to be well-suited for simulation, data race-free programming, and formal verification. Concepts from active objects made their way into languages such as Rust, ABS, Akka, JavaScript, and Go. This is the first comprehensive state-of-art overview on the subject, the invited contributions are written by experts in the areas of distributed systems, formal methods, and programming languages.

Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems

Author: Axel Legay

Publisher: Springer

Published: 2017-03-30

Total Pages: 620

ISBN-13: 3662545772

DOWNLOAD EBOOK

The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017. The 48 full papers, 4 tool demonstration papers, and 12 software competition papers presented in these volumes were carefully reviewed and selected from 181 submissions to TACAS and 32 submissions to the software competition. They were organized in topical sections named: verification techniques; learning; synthesis; automata; concurrency and bisimulation; hybrid systems; security; run-time verification and logic; quantitative systems; SAT and SMT; and SV COMP.

Grand Timely Topics in Software Engineering
Grand Timely Topics in Software Engineering

Author: Jácome Cunha

Publisher: Springer

Published: 2017-06-28

Total Pages: 247

ISBN-13: 3319600745

DOWNLOAD EBOOK

This tutorial volume includes the revised and extended tutorials (briefings) held at the 5th International Summer School on Grand Timely Topics in Software Engineering, GTTSE 2015, in Braga, Portugal, in August 2015. GTTSE 2015 applied a broader scope to include additional areas of software analysis, empirical research, modularity, and product lines. The tutorials/briefings cover probabilistic program analysis, ontologies in software engineering, empirical evaluation of programming and programming languages, model synchronization management of software product families, "people analytics" in software development, DSLs in robotics, structured program generation techniques, advanced aspects of software refactoring, and name binding in language implementation.