Pages that link to "Item:Q1169808"
From MaRDI portal
The following pages link to Mixed computation: potential applications and problems for study (Q1169808):
Displaying 17 items.
- Polyvariant mixed computation for analyzer programs (Q796970) (← links)
- Essence of generalized partial computation (Q808278) (← links)
- Mixed computation and compilation: New approaches to old problems (Q912601) (← links)
- Partial evaluation and \(\omega\)-completeness of algebraic specifications (Q1084849) (← links)
- Annotated bibliography on partial evaluation and mixed computation (Q1104069) (← links)
- Mixed computation of Prolog programs (Q1108777) (← links)
- Partial evaluation of metaprograms in a ``multiple worlds'' logic language (Q1108779) (← links)
- Explanation-based generalisation \(=\) partial evaluation (Q1109580) (← links)
- An algebra of mixed computation (Q1179696) (← links)
- Static semantics, types, and binding time analysis (Q1179698) (← links)
- Which data types have \(\omega\)-complete initial algebra specifications? (Q1318728) (← links)
- Parallel dynamic semantics of sequential programs with speculative and incremental computation (Q1364092) (← links)
- The GST load balancing algorithm for parallel and distributed systems (Q1606208) (← links)
- How to invent a Prolog machine (Q1819928) (← links)
- Transformation methods and tools for design of efficient and reliable programs (Q1895007) (← links)
- (Q4339951) (← links)
- Using transformations in the implementation of higher-order functions (Q4939691) (← links)
