A Sharing Analysis for SAFE

  1. Pena, Ricardo
  2. Segura, Clara
  3. Montenegro, Manuel
Col·lecció de llibres:
TRENDS IN FUNCTIONAL PROGRAMMING, VOL 7
  1. Nilsson, H (coord.)

ISSN: 1743-4505

ISBN: 978-1-84150-993-8,  978-1-84150-188-8

Any de publicació: 2007

Volum: 7

Pàgines: 109-128

Congrés: 7th Symposium on Trends in Functional Programming (TFP)

Tipus: Aportació congrés

GOOGLE SCHOLAR
Fuente de los datos: WoS