Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Programming Languages and Systems: 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings > Counters in Kappa: Semantics, Simulation, and Static Analysis
Programming Languages and Systems: 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings |
Luís Caires
Springer International Publishing
Programming Languages and Systems: 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Counters in Kappa: Semantics, Simulation, and Static Analysis
Authors

Pierre Boutillier; Ioana Cristescu; Jérôme Feret

ARI Id

1665177880212_5175285

Access

Open/Free Access

Pages

176-204

DOI

10.1007/978-3-030-17184-1_7

PDF URL

https://link.springer.com/content/pdf/10.1007/978-3-030-17184-1_7?pdf=chapter%20toc

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-030-17184-1_7

Table of Contents of Book
Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings