- Radboud Repository
- →
- Browsing by Author
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing by Author "Shkaravska, O."
Now showing items 1-36 of 36
-
Polynomial solutions of algebraic dierence equations and homogeneous symmetric polynomials 2018, External research report -
Preface of the special issue on Foundational and Practical Aspects of Resource Analysis (FOPARA) 2009 & 2011 Shkaravska, O. ; Rocca, S.R. Della; Eekelen, M.C.J.D. van2015, Article / Letter to editor (Science of Computer Programming, vol. 111, iss. 3, (2015), pp. 363-364) -
Special Issue on Foundational and Practical Aspects of Resource Analysis (FOPARA) 2009 and 2011 Shkaravska, O. ; Rocca, S.R.D.; Eekelen, M.C.J.D. van2015, Article / Letter to editor (Science of Computer Programming, vol. 111, Part, (2015), pp. 363-557)
-
Collected Size Semantics for Strict Functional Programs over General Polymorphic Lists 2014, Part of book or chapter of book (Lago, U. Dal; Peña, R. (ed.), Foundational and Practical Aspects of Resource Analysis, pp. 143-159)
-
ResAna: a resource analysis toolset for (real-time) JAVA Kersten, R.W.J. ; Gastel, B.E. van; Shkaravska, O. ; Montenegro, M.; Eekelen, M.C.J.D. van2014, Article / Letter to editor (Concurrency and Computation: Practice and Experience, vol. 26, iss. 14, (2014), pp. 2432-2455) -
Univariate polynomial solutions of algebraic difference equations 2014, Article / Letter to editor (Journal of Symbolic Computation, vol. 60, (2014), pp. 15-28)
-
Higher-Order Size Checking without Subtyping Góbi, A.; Shkaravska, O. ; Eekelen, M.C.J.D. van2013, Part of book or chapter of book (Loidl, H.-W.; Peña, R. (ed.), Trends in Functional Programming : 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers, pp. 53-68)
-
Interpolation-based height analysis for improving a recurrence solver Montenegro, M.; Shkaravska, O. ; Eekelen, M.C.J.D. van ; Pena, R.2012, Part of book or chapter of book (Pena, R.; Eekelen, M. Van; Shkaravska, O. (ed.), Foundational and Practical Aspects of Resource Analysis, Second International Workshop, FOPARA 2011 : Madrid, Spain, May 19, 2011, Revised Selected Papers, pp. 36-53)
-
Making resource analysis practical for real-time Java Kersten, R.; Shkaravska, O. ; Gastel, B. van; Montenegro, M.; Eekelen, M.C.J.D. van2012, Article in monograph or in proceedings (Schoeberl, M. (ed.), JTRES 2012 : Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems, pp. 135-144)
-
Preface : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Peña, R.; Eekelen, M.C.J.D. van ; Shkaravska, O.2012, Part of book or chapter of book (Eekelen, M. van (ed.), Foundational and Practical Aspects of Resource Analysis : Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011 : Revised Selected Papers, pp. IV)
-
A higher-order size system for a higher-order functional language Gobi, A.; Shkaravska, O. ; Eekelen, M.C.J.D. van2012, External research report
-
Size Calculus for a higher-order functional language Gobi, A.; Shkaravska, O. ; Eekelen, M.C.J.D. van2012, External research report
-
Interpolation-based height analysis for improving a recrurrence solver Montenegro, M.; Shkaravska, O. ; Eekelen, M.C.J.D. van2011, Article in monograph or in proceedings (Pena, R. (ed.), Proceedings of the 2th International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA2011), pp. 95-110)
-
Size Analysis of Higher-Order Functions Gobi, A.; Shkaravska, O. ; Eekelen, M.C.J.D. van2011, Article in monograph or in proceedings (Pena, R.; Eekelen, M. Van (ed.), Proceedings of the 12th International Symposium on Trends in Functional Programming (TFP2011), pp. 77-91)
-
Collected Size Semantics for Functional Programs over Lists 2010, Part of book or chapter of book (Scholz, S. (ed.), Selected Papers of the 20th Symposium on Implementation and Application of Functional Programming, IFL 2008, University of Hertfordshire, UK, 2008, pp. 1-21)
-
Univariate Polynomial Solutions of Nonlinear Polynomial Recurrence Relations 2010, External research report
-
Test-based inference of polynomial loop-bound functions 2010, Article in monograph or in proceedings (Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java, PPPJ 2010, pp. 99-108)
-
Preface 2010, Part of book or chapter of book (Foundational and Practical Aspects of Resource Analysis, First International Workshop, FOPARA 2009; Eindhoven; The Netherlands, November 6, 2009, Revised selected papers, pp. V-VI)
-
Size Analysis of Algebraic Data Types 2009, Article in monograph or in proceedings (Achten, Peter; Koopman, Pieter; Morazán, {Marco T.} (ed.), Trends in Functional Programming, pp. 33-48)
-
Collected Size Semantics for Functional Programs over Polymorphic Nested Lists 2009, Article in monograph or in proceedings (10th Symposium on Trends in Functional Programming, pp. 207-221)
-
Collected Size Semantics for Functional Programs over Polymorphic Nested Lists -- Full version: 28 pages 2009, External research report
-
Polynomial Size Analysis of First-Order Shapely Functions 2009, Article / Letter to editor (Logical Methods in Computer Science, vol. 5, iss. 2:10, (2009), pp. 1-35)
-
-
-
Non-monotonic Polynomial Size Bounds for Functional Programs 2008, Article in monograph or in proceedings (Scholz, Sven-Bodo (ed.), Proceedings of the 20th Symposium on Implementation and Application of Functional Languages, IFL 2008, Hartfield, Hertfordshire, UK, Sept. 10-12 2008, pp. 145-148)
-
Inferring Static Non-monotone Size-aware Types Through Testing 2008, Article in monograph or in proceedings (Echahed, R. (ed.), Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2007), pp. 45-63)
-
-
Size Analysis of Algebraic Data Types 2008, Article in monograph or in proceedings (Achten, Peter; Koopman, Pieter; Morazán, Marco T. (ed.), Draft Proceedings of The Ninth Symposium on Trends in Functional Programming (TFP), May 26-28 2008, Center Parcs “Het Heijderbos”, The Netherlands, pp. 209-224)
-
AHA: Amortized Heap Space Usage Analysis Eekelen, M.C.J.D. van ; Shkaravska, O. ; Kesteren, R.H.C. van ; Jacobs, B. ; Poll, E. ; Smetsers, J.E.W.2008, Article in monograph or in proceedings (Morazán, Marco (ed.), Trends in Functional Programming : Selected Papers of the 8th International Symposium on Trends in Functional Programming (TFP'07), New York, USA, pp. 36-53)
-
Inferring static non-monotonically sized types through testing Kesteren, R. van; Shkaravska, O. ; Eekelen, M. van2007, Article in monograph or in proceedings (Echahed, Rachid (ed.), 16^th International Workshop on Functional and (Constraint) Logic Programming (WFLP07), Paris, France, pp. 123-139)
-
Type Checking and Weak Type Inference for Polynomial Size Analysis of First--Order Functions Shkaravska, O. ; Kesteren, R. van; Eekelen, M.C.J.D. van2007, External research report
-
AHA: Amortized Heap Space Usage Analysis. Project Paper Eekelen, M.C.J.D. van ; Shkaravska, O. ; Kesteren, R.H.C. van ; Jacobs, Bart ; Poll, Erik ; Smetsers, Sjaak2007, Article in monograph or in proceedings (Proceedings of the Eighth Symposium on Trends in Functional Programming, TFP 2007, pp. XVI-116)
-
Polynomial Size Analysis of First-Order Functions 2007, Article in monograph or in proceedings (TLCA, pp. 351-365)
-
Static Inference of Non-Monotonic Polynomial Sized Types 2007, Article in monograph or in proceedings (Chitil, Olaf (ed.), Proceedings of the 19th Symposium on Implementation and Application of Functional Languages, IFL 2007, Freiburg, Germany, Sept. 27-29 2007, pp. 254-258)
-
Now showing items 1-36 of 36
Search Repository
Browse
-
All of Repository
Upload Full Text