Algebraic translations, correctness and algebraic compiler construction (Q1129121): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q122665227 / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Update semantics of relational views / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5618896 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4342082 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3677148 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3995890 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Institutions: abstract model theory for specification and programming / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4346205 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Initial Algebra Semantics and Continuous Algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3712304 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4331781 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4061988 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Semantics of context-free languages / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3902952 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5674962 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4068067 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the structural simplicity of machines and languages / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Semantics-directed compiler generation. Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Modular compiler verification. A refinement-algebraic approach advocating stepwise abstraction / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Mathematical methods in linguistics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Compiler specification and verification / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4840207 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4102722 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3899535 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An algebraic model for programming languages / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraic construction of compilers / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4127966 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4199499 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5680089 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3995133 / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/s0304-3975(97)00267-3 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2067041071 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 11:28, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Algebraic translations, correctness and algebraic compiler construction |
scientific article |
Statements
Algebraic translations, correctness and algebraic compiler construction (English)
0 references
13 August 1998
0 references
translation
0 references
correctness
0 references
compiler
0 references
embedding
0 references
view update
0 references
parsing
0 references
natural language
0 references
commutative diagram
0 references
0 references
0 references