The following pages link to Computer Languages (Q2713369):
Displaying 50 items.
- Simulating multiple inheritance and generics in Java (Q2713370) (← links)
- Dynamic composition of parameterised logic modules (Q2713371) (← links)
- Semantics of well-moded input-consuming logic programs (Q2745732) (← links)
- Lenient evaluation and parallelism (Q2745735) (← links)
- Lenient evaluation is neither strict nor lazy (Q2745736) (← links)
- Iteration constructs in data-flow visual programming languages (Q2755401) (← links)
- Associative definition of programming languages (Q2755402) (← links)
- A declarative coordination language (Q2755404) (← links)
- NP-SPEC: an executable specification language for solving all problems in NP (Q2755406) (← links)
- Symbolic execution of concurrent systems using Petri nets (Q3031902) (← links)
- Incremental attribute evaluation through recursive procedures (Q3031913) (← links)
- On display optimization for Algol-like languages (Q3031914) (← links)
- Concurrent applicative implementations of nondeterministic algorithms (Q3040520) (← links)
- Towards resource handling in logic programming: The PPL framework and fits semantics (Q3124453) (← links)
- A proposal to merge Multiple Tuple Spaces, Object Orientation, and Logic Programming (Q3124455) (← links)
- The denotational semantics of a functional tree-manipulation language (Q3142276) (← links)
- Heuristic chaining in directed acyclic graphs (Q3142277) (← links)
- Concurrency and backtracking in Vienna Parallel Logic (Q3142279) (← links)
- Static analysis of PostScript code (Q3142280) (← links)
- On the power of abstract interpretation (Q3142281) (← links)
- Optimizing structural recursion in functional programs (Q3142282) (← links)
- A methodology for procedure cloning (Q3142283) (← links)
- Designing programming languages for the analyzability of pointer data structures (Q3142284) (← links)
- Program structure as basis for the parallelization of global register allocation (Q3142286) (← links)
- Semantic specification using two-level grammars: Blocks, procedures and parameters (Q3206341) (← links)
- Constant folding within an expression by semantic attributes (Q3206342) (← links)
- Deep and shallow binding: The assignment operation (Q3206344) (← links)
- Using FP as a query language for relational data-bases (Q3327753) (← links)
- Implementation of CSP-S for description of distributed algorithms (Q3339271) (← links)
- Computation of logical effort in high level languages (Q3339278) (← links)
- A measure of program complexity (Q3339279) (← links)
- The design of Apple—A language for modular programs (Q3343408) (← links)
- A proposal for comparison of types in Pascal and associated semantic models (Q3343412) (← links)
- Program testing by specification mutation (Q3343418) (← links)
- Supporting control definition in programming languages (Q3345765) (← links)
- Translator inversion (Q3474902) (← links)
- The use of combinators in translating a purely functional language to low-level data-flow graphs (Q3659109) (← links)
- Result sequences (Q3659111) (← links)
- Characterization of program loops in code optimization (Q3666239) (← links)
- Implementing SNOBOL4 pattern matching in Icon (Q3666240) (← links)
- A distributed synchronization mechanism for interacting processes (Q3666270) (← links)
- Some proposals for improving Pascal (Q3674031) (← links)
- A closer look at export and import statements (Q3719789) (← links)
- An interpreter for slips—An applicative language based on LAMBDA-Calculus (Q3719792) (← links)
- Structuring FP-style functional programs (Q3725517) (← links)
- A constraint language and its interpreter (Q3725538) (← links)
- Interpreters from functions and grammars (Q3732936) (← links)
- Obtaining coroutines with continuations (Q3740199) (← links)
- Static checking of variable handling in Dijkstra's Guarded Commands language (Q3740200) (← links)
- Program derivation in type theory: A partitioning problem (Q3740203) (← links)
