The following pages link to Science of Computer Programming (Q169675):
Displaying 30 items.
- Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code (Q532398) (← links)
- Partial evaluation of Maple (Q532411) (← links)
- Contexts, refinement and determinism (Q541213) (← links)
- The universal resolving algorithm and its correctness: Inverse computation in a functional language (Q700978) (← links)
- Designing the automatic transformation of visual languages (Q701039) (← links)
- Architectural modifications to deployed software (Q703582) (← links)
- Efficient virtual machine support of runtime structural reflection (Q838165) (← links)
- Using established Web engineering knowledge in model-driven approaches (Q882455) (← links)
- On the reification of Java wildcards (Q955709) (← links)
- Showing programs on a screen (Q1057058) (← links)
- Morris' tree traversal algorithm reconsidered (Q1122985) (← links)
- The Esterel synchronous programming language: Design, semantics, implementation (Q1196296) (← links)
- Bottom-up tree acceptors (Q1263293) (← links)
- Dynamic configuration management in a graph-oriented distributed programming environment. (Q1400473) (← links)
- Formal methods for smart cards: an experience report (Q1776578) (← links)
- Two classes of Boolean functions for dependency analysis (Q1818309) (← links)
- Strictness and totality analysis (Q1818314) (← links)
- Composing programming languages by combining action-semantics modules. (Q1872749) (← links)
- A discipline of dynamic programming over sequence data (Q1881254) (← links)
- Reductivity (Q1916366) (← links)
- Systolic arrays for the recognition of permutation-invariant segments (Q1924628) (← links)
- Reasoned modelling critics: turning failed proofs into modelling guidance (Q1951639) (← links)
- Analyzing ambiguity of context-free grammars (Q2266946) (← links)
- Confining data and processes in global computing applications (Q2432761) (← links)
- The model transformation language of the VIATRA2 framework (Q2462430) (← links)
- Revisiting the \(\Delta\) IC approach to component recovery (Q2492952) (← links)
- Documenting software systems using types (Q2492956) (← links)
- An action environment (Q2499823) (← links)
- Efficient memory management for concurrent programs that use message passing (Q2500688) (← links)
- ConSpec - A formal language for policy specification (Q2517827) (← links)
