A Multi-target Code Generator for High-Level B
| Autor: | Michael Leuschel, Fabian Vu, Philipp Körner, Dominik Hansen |
|---|---|
| Rok vydání: | 2019 |
| Předmět: |
050101 languages & linguistics
Multi target Computer science Programming language 05 social sciences 0202 electrical engineering electronic engineering information engineering Code (cryptography) 020201 artificial intelligence & image processing 0501 psychology and cognitive sciences Code generation 02 engineering and technology computer.software_genre computer |
| Zdroj: | Lecture Notes in Computer Science ISBN: 9783030349677 IFM |
| DOI: | 10.1007/978-3-030-34968-4_25 |
| Popis: | Within high-level specification languages such as B, code is refined in many steps until a small “implementable” subset of the language is reached. Then, code generators are used, targeting programming languages such as C or Ada. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|