Show simple item record

AuthorPartsch, Helmuthdc.contributor.author
AuthorSchulte, Wolframdc.contributor.author
AuthorVullinghs, Tondc.contributor.author
Date of accession2021-02-20T08:53:33Zdc.date.accessioned
Available in OPARU since2021-02-20T08:53:33Zdc.date.available
Date of first publication1999dc.date.issued
AbstractThis paper describes the program transformation system Ultra. The intended use of Ultra is to assist programmers in the formal derivation of correct and effcient programs from high-level descriptive or operational specifications. The most salient features of Ultra are its sound theoretical foundation, its lean, and portable implementation, its extendability, its exible and convenient way to express transformation tasks, and its comfortable user interface.dc.description.abstract
Languageendc.language.iso
PublisherUniversität Ulmdc.publisher
LicenseStandarddc.rights
Link to license texthttps://oparu.uni-ulm.de/xmlui/license_v3dc.rights.uri
KeywordEquational reasoningdc.subject
Dewey Decimal GroupDDC 000 / Computer science, information & general worksdc.subject.ddc
LCSHProgram transformation (Computer programming)dc.subject.lcsh
LCSHFunctional programming (Computer science)dc.subject.lcsh
LCSHComputer algorithmsdc.subject.lcsh
TitleSystem Support for the Interactive Transformation of Functional Programsdc.title
Resource typeBeitrag zu einer Konferenzdc.type
DOIhttp://dx.doi.org/10.18725/OPARU-35282dc.identifier.doi
URNhttp://nbn-resolving.de/urn:nbn:de:bsz:289-oparu-35344-5dc.identifier.urn
GNDFunktionale Programmierungdc.subject.gnd
FacultyFakultät für Ingenieurwissenschaften, Informatik und Psychologieuulm.affiliationGeneral
InstitutionAbteilung Programmiermethodik und Compilerbauuulm.affiliationSpecific
DCMI TypeTextuulm.typeDCMI
CategoryPublikationenuulm.category
Conference nameICSE99 - International Workshop on Software Transformation Systems (STS'99)uulm.conferenceName
Conference placeLos Angelesuulm.conferencePlace
Conference start date1999-05-16uulm.conferenceStartDate
Conference end date1999-05-16uulm.conferenceEndDate
Bibliographyuulmuulm.bibliographie


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record