Entwicklung eines korrekten Assemblierers. Sekerinski, E. Ph.D. Thesis, Universität Karlsruhe, 1989. Paper abstract bibtex In dieser Arbeit wird ein Assemblierer für den MC68020 Prozessor entwickelt und gegenüber einer formalen Spezifikation als korrekt bewiesen. Die Spezifikation ist in Prädikatenlogik gegeben, und die angewandte Beweismethode ist ein auf Prädikatenlogik aufgesetzter Kalkül. Die Implementierung ist in Modula-2 geschrieben und hat, neben ihrer Korrektheit, die Vorzüge, extrem kompakt und effizient zu sein.
@phdthesis{Sekerinski89,
type = {Diplomarbeit},
title = {Entwicklung eines korrekten {Assemblierers}},
url = {https://www.cas.mcmaster.ca/~emil/pubs/Sekerinski89.pdf},
abstract = {In dieser Arbeit wird ein Assemblierer für den MC68020 Prozessor entwickelt und gegenüber einer formalen Spezifikation als korrekt bewiesen. Die Spezifikation ist in Prädikatenlogik gegeben, und die angewandte Beweismethode ist ein auf Prädikatenlogik aufgesetzter Kalkül. Die Implementierung ist in Modula-2 geschrieben und hat, neben ihrer Korrektheit, die Vorzüge, extrem kompakt und effizient zu sein.},
school = {Universität Karlsruhe},
author = {Sekerinski, Emil},
year = {1989},
}
Downloads: 0
{"_id":"udqNu5uBNRfbK7kgK","bibbaseid":"sekerinski-entwicklungeineskorrektenassemblierers-1989","author_short":["Sekerinski, E."],"bibdata":{"bibtype":"phdthesis","type":"Diplomarbeit","title":"Entwicklung eines korrekten Assemblierers","url":"https://www.cas.mcmaster.ca/~emil/pubs/Sekerinski89.pdf","abstract":"In dieser Arbeit wird ein Assemblierer für den MC68020 Prozessor entwickelt und gegenüber einer formalen Spezifikation als korrekt bewiesen. Die Spezifikation ist in Prädikatenlogik gegeben, und die angewandte Beweismethode ist ein auf Prädikatenlogik aufgesetzter Kalkül. Die Implementierung ist in Modula-2 geschrieben und hat, neben ihrer Korrektheit, die Vorzüge, extrem kompakt und effizient zu sein.","school":"Universität Karlsruhe","author":[{"propositions":[],"lastnames":["Sekerinski"],"firstnames":["Emil"],"suffixes":[]}],"year":"1989","bibtex":"@phdthesis{Sekerinski89,\n\ttype = {Diplomarbeit},\n\ttitle = {Entwicklung eines korrekten {Assemblierers}},\n\turl = {https://www.cas.mcmaster.ca/~emil/pubs/Sekerinski89.pdf},\n\tabstract = {In dieser Arbeit wird ein Assemblierer für den MC68020 Prozessor entwickelt und gegenüber einer formalen Spezifikation als korrekt bewiesen. Die Spezifikation ist in Prädikatenlogik gegeben, und die angewandte Beweismethode ist ein auf Prädikatenlogik aufgesetzter Kalkül. Die Implementierung ist in Modula-2 geschrieben und hat, neben ihrer Korrektheit, die Vorzüge, extrem kompakt und effizient zu sein.},\n\tschool = {Universität Karlsruhe},\n\tauthor = {Sekerinski, Emil},\n\tyear = {1989},\n}\n","author_short":["Sekerinski, E."],"key":"Sekerinski89","id":"Sekerinski89","bibbaseid":"sekerinski-entwicklungeineskorrektenassemblierers-1989","role":"author","urls":{"Paper":"https://www.cas.mcmaster.ca/~emil/pubs/Sekerinski89.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"phdthesis","biburl":"https://api.krunk.cn/emil/bib.php","dataSources":["So4gmSWFmbQRNEuFs","HEdahWqKBpmSGmDwq","yBNL6zg4bd77wFNse","CvQYP6Tmpapx74Mgr","RWydLHbBJqgdeh5jr"],"keywords":[],"search_terms":["entwicklung","eines","korrekten","assemblierers","sekerinski"],"title":"Entwicklung eines korrekten Assemblierers","year":1989}