"Clara Segura" 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 > Clara Segura

"Clara Segura" appeared in Books and Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Boook	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

«
‹
›
»

entries per page

Filter:

Showing 1 to 9 of 9 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Sized Types for Typing Eden Skeletons	Ricardo Pena; Clara Segura	Implementation of Functional Languages: 13th International Workshop, IFL 2001 Stockholm, Sweden, September 24-26, 2001 Selected Papers	Thomas Arts; Markus Mohnen	2002	Springer Berlin Heidelberg
A Polynomial-Cost Non-determinism Analysis	Ricardo Pena; Clara Segura	Implementation of Functional Languages: 13th International Workshop, IFL 2001 Stockholm, Sweden, September 24-26, 2001 Selected Papers	Thomas Arts; Markus Mohnen	2002	Springer Berlin Heidelberg
Non-determinism Analysis in a Parallel-Functional Language	Ricardo Peña; Clara Segura	Implementation of Functional Languages: 12th International Workshop, IFL 2000 Aachen, Germany, September 4-7, 2000. Selected Papers	Markus Mohnen; Pieter Koopman	2001	Springer Berlin Heidelberg
A Space Consumption Analysis by Abstract Interpretation	Manuel Montenegro; Ricardo Peña; Clara Segura	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
A Simple Region Inference Algorithm for a First-Order Functional Language	Manuel Montenegro; Ricardo Peña; Clara Segura	Functional and Constraint Logic Programming: 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers	Santiago Escobar	2010	Springer Berlin Heidelberg
An Inference Algorithm for Guaranteeing Safe Destruction	Manuel Montenegro; Ricardo Peña; Clara Segura	Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers	Michael Hanus	2009	Springer Berlin Heidelberg
Adding Traces to a Lazy Monadic Evaluator	Cristóbal Pareja; Ricardo Peña; Fernando Rubio; Clara Segura	Computer Aided Systems Theory - EUROCAST 2001: A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001. Revised Papers	Roberto Moreno-Diaz; Bruno Buchberger; Jose-Luis Freire	2001	Springer Berlin Heidelberg
Liquid Types for Array Invariant Synthesis	Manuel Montenegro; Susana Nieva; Ricardo Peña; Clara Segura	Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings	Deepak D'Souza; K. Narayan Kumar	1st ed. 2017	Springer International Publishing
Interactive Learning of Data Structures and Algorithmic Schemes	Clara Segura; Isabel Pita; Rafael del Vado Vírseda; Ana Isabel Saiz; Pablo Soler	Computational Science – ICCS 2008: 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part I	Marian Bubak; Geert Dick van Albada; Jack Dongarra; Peter M.A. Sloot	2008	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 9 of 9 entries

«
‹
1
›
»