"Olha Shkaravska" appeared in Books and Chapters

Click here to donate your five minutes and submit the table of contents of a book.

Search from the table of contents of 2.5 million books

Advanced Search (Beta)

Home > Olha Shkaravska

"Olha Shkaravska" appeared in Books and Chapters

entries per page

Filter:

Showing 1 to 2 of 2 entries

Book	Author(s)	Year	Publisher
Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers	Marko Eekelen; Olha Shkaravska	2010	Springer Berlin Heidelberg
Foundational and Practical Aspects of Resource Analysis: Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers	Ricardo Peña; Marko van Eekelen; Olha Shkaravska	2012	Springer Berlin Heidelberg
Boook	Author(s)	Year	Publisher

Showing 1 to 2 of 2 entries

«
‹
1
›
»

entries per page

Filter:

Showing 1 to 6 of 6 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Higher-Order Size Checking without Subtyping	Attila Góbi; Olha Shkaravska; Marko van Eekelen	Trends in Functional Programming: 13th International Symposium, TFP 2012, St Andrews, UK, June 12-14, 2012, Revised Selected Papers	Hans Wolfgang Loidl; Ricardo Peña	2013	Springer Berlin Heidelberg
Collected Size Semantics for Functional Programs over Lists	Olha Shkaravska; Marko van Eekelen; Alejandro Tamalet	Implementation and Application of Functional Languages: 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers	Sven-Bodo Scholz; Olaf Chitil	2011	Springer Berlin Heidelberg
Collected Size Semantics for Strict Functional Programs over General Polymorphic Lists	Olha Shkaravska; Marko van Eekelen; Alejandro Tamalet	Foundational and Practical Aspects of Resource Analysis: Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers	Ugo Dal Lago; Ricardo Peña	2014	Springer International Publishing
Polynomial Size Analysis of First-Order Functions	Olha Shkaravska; Ron van Kesteren; Marko van Eekelen	Typed Lambda Calculi and Applications: 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings	Simona Ronchi Della Rocca	2007	Springer Berlin Heidelberg
Automatic Certification of Heap Consumption	Lennart Beringer; Martin Hofmann; Alberto Momigliano; Olha Shkaravska	Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings	Franz Baader; Andrei Voronkov	2005	Springer Berlin Heidelberg
Interpolation-Based Height Analysis for Improving a Recurrence Solver	Manuel Montenegro; Olha Shkaravska; Marko van Eekelen; Ricardo Peña	Foundational and Practical Aspects of Resource Analysis: Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers	Ricardo Peña; Marko van Eekelen; Olha Shkaravska	2012	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 6 of 6 entries

«
‹
1
›
»