On undecidability results of real programming languages

Raimund Kirner, W. Zimmermann, D. Richter

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

100 Downloads (Pure)

Fingerprint

Dive into the research topics of 'On undecidability results of real programming languages'. Together they form a unique fingerprint.

Keyphrases

Computer Science