A Sharing Analysis for SAFE

  1. Pena, Ricardo
  2. Segura, Clara
  3. Montenegro, Manuel
Büchersammlung:
TRENDS IN FUNCTIONAL PROGRAMMING, VOL 7
  1. Nilsson, H (coord.)

ISSN: 1743-4505

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

Datum der Publikation: 2007

Ausgabe: 7

Seiten: 109-128

Kongress: 7th Symposium on Trends in Functional Programming (TFP)

Art: Konferenz-Beitrag

GOOGLE SCHOLAR
Fuente de los datos: WoS