MPG.eBooks - Search Results

1

Verification, Model Checking, and Abstract Interpretation : 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings

Published 2004

Springer Berlin Heidelberg

Table of Contents: “...Tutorial -- Security, Protocols, and Trust -- Security -- Security Types Preserving Compilation...”

Read Now

2

Leveraging Applications of Formal Methods, Verification and Validation : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, Octo...

Published 2021

Springer International Publishing

Subjects: “...Compilers (Computer programs)...”

Read Now

3

Leveraging Applications of Formal Methods : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers

Published 2006

Springer Berlin Heidelberg

Table of Contents: “... of Transformations in Compiler Back-Ends -- Accurate Theorem Proving for Program Verification -- Designing Safe...”

Read Now

4

Computing and Software Science : State of the Art and Perspectives

Published 2019

Springer International Publishing

Subjects: “...Compilers (Computer programs)...”

Read Now

5

Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

Published 2012

Springer Berlin Heidelberg

Subjects: “...Compilers (Computer programs)...”

Read Now

6

Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I...

Published 2012

Springer Berlin Heidelberg

Subjects: “...Compilers (Computer programs)...”

Read Now

7

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece,...

Published 2014

Springer Berlin Heidelberg

Subjects: “...Compilers (Computer programs)...”

Read Now

8

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Octobe...

Published 2014

Springer Berlin Heidelberg

Table of Contents: “... -- Compiling SCCharts — A Case-Study on Interactive Model-Based Compilation -- Domain-Specific Code Generator...”

Read Now

9

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2...

Published 2016

Springer International Publishing

Subjects: “...Compilers (Computer programs)...”

Read Now

10

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece,...

Published 2016

Springer International Publishing

Table of Contents: “... Modeling and Design for Embedded Systems - a Personal View -- Interactive Model-Based Compilation Continued...”

Read Now

11

Leveraging Applications of Formal Methods, Verification and Validation. Modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part...

Published 2018

Springer International Publishing

Table of Contents: “... Compilation Models -- From Computational Thinking to Constructive Design with Simple Models -- Design...”

Read Now

12

Leveraging Applications of Formal Methods, Verification and Validation. Verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, P...

Published 2018

Springer International Publishing

Subjects: “...Compilers (Computer programs)...”

Read Now

13

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceed...

Published 2018

Springer International Publishing

Subjects: “...Compilers (Computer programs)...”

Read Now

14

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceed...

Published 2018

Springer International Publishing

Subjects: “...Compilers (Computer programs)...”

Read Now

15

Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-2...

Published 2010

Springer Berlin Heidelberg

Table of Contents: “... Development Put into Practice -- Timely Time Estimates -- Compiler-Support for Robust Multi-core Computing...”

Read Now

16

Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-2...

Published 2010

Springer Berlin Heidelberg

Table of Contents: “... Analysis -- On the Role of Non-functional Properties in Compiler Verification...”

Read Now

17

Verification, Model Checking, and Abstract Interpretation : 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings

by Steffen, Bernhard
Published 2004

Springer Berlin Heidelberg

Subjects: “...Programming Languages, Compilers, Interpreters...”

Read Now

18

Correct System Design : Recent Insights and Advances

by Olderog, Ernst-Rüdiger
Published 1999

Springer-Verlag Berlin Heidelberg

Subjects: “...Programming Languages, Compilers, Interpreters...”

Read Now

19

Transactions on Foundations for Mastering Change I

Published 2016

Springer International Publishing

Subjects: “...Programming Languages, Compilers, Interpreters...”

Read Now

20

Leveraging Applications of Formal Methods, Verification and Validation: Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes,...

Published 2020

Springer International Publishing

Table of Contents: “... at the Virtual Machine Level -- Compiling Quantitative Type Theory to Michelson for Compile-Time Verification...”

Narrow Search