Affordable Access

Two-Level Semantics and Code Generation

Elsevier BV
Publication Date
  • A Two-Level Denotational Metalanguage That Is Suitable For Defining The Semantics Of Pascal-Like Lan
  • The Two Levels Allow For An Explicit Distinction Between Computations Taking Place At Compile-Time A
  • While This Distinction Is Perhaps Not Absolutely Necessary For Describing The Input-Output Semantics
  • It Is Necessary When Issues Such As Data Flow Analysis And Code Generation Are Considered
  • For An Example Stack-Machine
  • The Authors Show How To Generate Code For The Run-Time Computations And Still Perform The Compile-Ti
  • Using An Example
  • It Is Argued That Compiler-Tricks Such As The Use Of Activation Records Suggest How To Cope With Cer
  • The Correctness Of The Code Generation Is Proved Using Kripke-Like Relations And Using A Modified Ma


Publications journalExtension.journalNumber journalExtension.volume journalExtension.pages journalAssociation.title journalAssociation.ISSN journal.source:2008 journal.rating[fiSynchronization][fi][2008] journal.source:2009 journal.rating[fiSynchronization][fi][2009] journal.source:2010 journal.rating[fiSynchronization][fi][2010] journal.source:2011 journal.rating[fiSynchronization][fi][2011] journal.rating[baseDuFiJournalSynchronization][ISIIndexed][2011] journal.source:2012 journal.rating[fiSynchronization][fi][2012] journal.rating[baseDuFiJournalSynchronization][ISIIndexed][2012] mainResearchArea.mainResearchArea organisations[0] organisations[0].organisation.organisation organisations[1] organisations[1].organisation.organisation externalPublication persons[0] persons[0].person.employeeId persons[0].personRole persons[0].firstName persons[0].lastName persons[0].organisations persons[1] persons[1].person.employeeId persons[1].personRole persons[1].firstName persons[1].lastName persons[1].organisations title owner.owner abstract.text[en_GB] typeClassification.typeClassification publicationStatus.publicationStatus publicationDate.year uuid id created modified modifiedBy creator remoteOrigin keywordGroups[0].logicalName keywordGroups[0.0].freeKeywords[da_DK] sourceLicensesDismissed Source: orbit visibility language.language acceptedDuplicate submissionYear publicationCategory.publicationCategory peerReview workflowInformations[0] markedForRevalidation isiIndexed 1 56 59-133 3973084 Theoretical Computer Science 0304-3975 FI 2 FI 2 FI 2 ISI indexed 2 yes ISI indexed 2 yes Technical/natural sciences 4657 Computer Science and Engineering - Former organisational unit. 31/12/12. 4044 Department of Informatics and Mathematical Modeling - Former organisational unit. 31/12/12. Taken over by Department of Applied Mathematics and Computer Science 2177272 9539 Author Flemming Nielson Computer Science and Engineering, Department of I

There are no comments yet on this publication. Be the first to share your thoughts.