- Radboud Repository
- →
- Browsing by Author
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing by Author "Tamalet, A.N."
Now showing items 1-14 of 14
-
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) -
Reasoning about Assignments in Recursive Data Structures Tamalet, A.N. ; Madlener, K.2011, Part of book or chapter of book (Davies, J.; Silva, L.; Simao, A. (ed.), Formal Methods: Foundations and Applications, pp. 161-176)
-
Collected Size Semantics for Functional Programs over Lists 2010, Article in monograph or in proceedings (Scholz, S. (ed.), Implementation and Application of Functional Languages: 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers, pp. 118-137)
-
A Formal Connection between Security Automata and JML Annotations 2009, Article in monograph or in proceedings (Chechik, M.; Wirsing, M. (ed.), Fundamental Approaches to Software Engineering, pp. 340-354) -
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
-
Preemption Abstraction: A Lightweight Approach to Modelling Concurrency Schierboom, E.G.H.; Tamalet, Alejandro ; Tews, H. ; Eekelen, M.C.J.D. van ; Smetsers, Sjaak2009, Article in monograph or in proceedings (Alpuente, M.; Cook, B. (ed.), Formal Methods for Industrial Critical Systems (FMICS 2009) : 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings, pp. 149-164)
-
-
-
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) -
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)
-
Now showing items 1-14 of 14
Search Repository
Browse
-
All of Repository
Upload Full Text