Alejandro Tamalet

According to our database, Alejandro Tamalet authored at least 6 papers between 2008 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Collected Size Semantics for Strict Functional Programs over General Polymorphic Lists.

Olha Shkaravska, Marko C. J. D. van Eekelen, Alejandro Tamalet

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2013

2010

Reasoning about Assignments in Recursive Data Structures.

Alejandro Tamalet, Ken Madlener

Proceedings of the Formal Methods: Foundations and Applications, 2010

2009

Preemption Abstraction.

Erik Schierboom, Alejandro Tamalet, Hendrik Tews, Marko C. J. D. van Eekelen, Sjaak Smetsers

Proceedings of the Formal Methods for Industrial Critical Systems, 2009

A Formal Connection between Security Automata and JML Annotations.

Marieke Huisman, Alejandro Tamalet

Proceedings of the Fundamental Approaches to Software Engineering, 2009

2008

Size Analysis of Algebraic Data Type.

Alejandro Tamalet, Olha Shkaravska, Marko C. J. D. van Eekelen

Proceedings of the Nineth Symposium on Trends in Functional Programming, 2008

Collected Size Semantics for Functional Programs over Lists.

Olha Shkaravska, Marko C. J. D. van Eekelen, Alejandro Tamalet

Proceedings of the Implementation and Application of Functional Languages, 2008