A practical application of sharing and freeness inference

García de la Banda, M. and Hermenegildo, Manuel V. (1992). A practical application of sharing and freeness inference. In: "WSA'92 Workshop on Static Analysis", 23-25 September 1992, Bordeaux, France.

Description

Title: A practical application of sharing and freeness inference
Author/s:
  • García de la Banda, M.
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: WSA'92 Workshop on Static Analysis
Event Dates: 23-25 September 1992
Event Location: Bordeaux, France
Title of Book: Actes WSA'92 Workshop on Static Analysis
Date: September 1992
Volume: 81-82
Subjects:
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[thumbnail of HERMENE_IPT_1992-1.pdf]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (460kB) | Preview

Abstract

Abstract is not available.

More information

Item ID: 14559
DC Identifier: https://oa.upm.es/14559/
OAI Identifier: oai:oa.upm.es:14559
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 27 Feb 2013 07:35
Last Modified: 21 Apr 2016 14:17
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM