Mathematical foundations for program transformations

R. Ben Ayed, J. Desharnais, M. Frappier, A. Mili

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationLogic-Based Program Synthesis and Transformation - 8th International Workshop, LOPSTR 1998, Selected Papers
EditorsPierre Flener
PublisherSpringer Verlag
Pages319-321
Number of pages3
ISBN (Print)3540657657, 9783540657651
StatePublished - 1998
Externally publishedYes
Event8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 1998 - Manchester, United Kingdom
Duration: Jun 15 1998Jun 19 1998

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1559
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 1998
Country/TerritoryUnited Kingdom
CityManchester
Period6/15/986/19/98

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • General Computer Science

Cite this