Show simple item record

AuthorPartsch, Helmutdc.contributor.author
Date of accession2016-03-15T09:03:40Zdc.date.accessioned
Available in OPARU since2016-03-15T09:03:40Zdc.date.available
Year of creation1994dc.date.created
AbstractThis paper deals with two aspects of transformational programming, viz. the formal derivation of logic programs from non-operational specifications and the construction of algorithms to solve problems formally specified by "inverse properties". Both aspects are illustrated by sarnple derivations of standard algorithms for recognition and parsing of context-free grammars.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
KeywordContext-free grammarsdc.subject
KeywordTransformational programmingdc.subject
Dewey Decimal GroupDDC 004 / Data processing & computer sciencedc.subject.ddc
LCSHParsing (Computer grammar)dc.subject.lcsh
TitleAgain on recognition and parsing of context free grammars: two exercises in transformational programmingdc.title
Resource typeBerichtdc.type
DOIhttp://dx.doi.org/10.18725/OPARU-2438dc.identifier.doi
PPN1651668388dc.identifier.ppn
URNhttp://nbn-resolving.de/urn:nbn:de:bsz:289-vts-81676dc.identifier.urn
GNDParserdc.subject.gnd
GNDSyntaktische Analysedc.subject.gnd
FacultyFakultät für Ingenieurwissenschaften und Informatikuulm.affiliationGeneral
Date of activation2012-08-15T17:53:49Zuulm.freischaltungVTS
Peer reviewneinuulm.peerReview
Shelfmark print versionQAA 5/A4.94,17uulm.shelfmark
DCMI TypeTextuulm.typeDCMI
VTS ID8167uulm.vtsID
CategoryPublikationenuulm.category
uulm seriesUlmer Informatik-Berichteuulm.seriesUlmName
Bibliographyuulmuulm.bibliographie


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record