Location of Repository

Differential logic programs: programming methodologies and semantics

By A. Bossi, M. Bugliesi, M. Gabbrielli, G. Levi, M.C Meo and Padua Univ. (Italy). Dipartimento di Matematica Pura e Applicata

Abstract

A preliminary version of this paper appeared in Proceedings ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '93, pages 359-370. ACM, 1993Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio Nazionale delle RichercheSIGLEITItal

Topics: 12A - Pure mathematics, 09H - Computer software, programming
Year: 1995
OAI identifier:
Provided by: OpenGrey Repository
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://hdl.handle.net/10068/31... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.