The following pages link to Science of Computer Programming (Q169675):
Displaying 50 items.
- Graph transformation for specification and programming (Q1806128) (← links)
- Correctness of on-line partial evaluation for a Pascal-like language (Q1806129) (← links)
- Stores as homomorphisms and their transformations: A uniform approach to structured types in imperative languages (Q1806130) (← links)
- Specifications, programs, and total correctness (Q1806131) (← links)
- Theory of partial-order programming (Q1806132) (← links)
- A refinement calculus for tuple spaces (Q1806133) (← links)
- E3: A logic for reasoning equationally in the presence of partiality (Q1806134) (← links)
- Introduction to set constraint-based program analysis (Q1818069) (← links)
- Approximating the domains of functional and imperative programs (Q1818071) (← links)
- A faster solver for general systems of equations (Q1818073) (← links)
- Cache behavior prediction by abstract interpretation (Q1818075) (← links)
- Tractable constraints in finite semilattices (Q1818076) (← links)
- Automatic analysis of pointer aliasing for untyped programs (Q1818078) (← links)
- Special issue on SAS '96. Selected papers of the Third international static analysis symposium, Aachen, Germany, September 24--26, 1996 (Q1818079) (← links)
- Extracting and implementing list homomorphisms in parallel program development (Q1818304) (← links)
- Undulant-block elimination and integer-preserving matrix inversion (Q1818305) (← links)
- An inconsistency in procedures, parameters, and substitution in the refinement calculus (Q1818306) (← links)
- Special issue on SAS '94. Selected papers on the 1st international static analysis symposium (SAS '94), Namur, Belgium, September 28--30, 1994 (Q1818307) (← links)
- Two classes of Boolean functions for dependency analysis (Q1818309) (← links)
- Stackability in the simply-typed call-by-value lambda calculus (Q1818310) (← links)
- About synchronous programming and abstract interpretation (Q1818311) (← links)
- Abstract interpretation using typed decision graphs (Q1818312) (← links)
- Strictness and totality analysis (Q1818314) (← links)
- An abstract interpretation for estimating uncaught exceptions in Standard ML programs (Q1818315) (← links)
- Special issue on the 6th European symposium on programming. ESOP '96, Linköping, Sweden, April 22--26, 1996 (Q1818316) (← links)
- A transformation-based optimiser for Haskell (Q1818319) (← links)
- A sound polymorphic type system for a dialect of \(C\) (Q1818320) (← links)
- Constraints to stop deforestation (Q1818321) (← links)
- Linear-time hierarchies for a functional language machine model (Q1818323) (← links)
- Towards a logical semantics for pure Prolog (Q1818324) (← links)
- Optimal domains for disjunctive abstract interpretation (Q1818325) (← links)
- Special issue on Coordination models, languages and architectures (Q1818356) (← links)
- Multiparty negotiation of dynamic distributed object services (Q1818360) (← links)
- The discrete time TOOLBUS. -- A software coordination architecture (Q1818361) (← links)
- A logic for a coordination model with multiple spaces (Q1818362) (← links)
- Structured gamma (Q1818363) (← links)
- Distributed coordination with MESSENGERS (Q1818365) (← links)
- Coordination in the ImpUNITY framework (Q1818367) (← links)
- Solving the Linda multiple rd problem using the copy-collect primitive (Q1818368) (← links)
- Laura -- A service-based coordination language (Q1818370) (← links)
- Rewriting systems on FP expressions to reduce the number of sequences yielded (Q1819572) (← links)
- A formal development of an efficient supercombination compiler (Q1820575) (← links)
- Small programming exercises 16 (Q1820576) (← links)
- Small programming exercises 17 (Q1820577) (← links)
- Modalities for model checking: Branching time logic strikes back (Q1820578) (← links)
- Applications of a strategy for designing divide-and-conquer algorithms (Q1821558) (← links)
- Linear future semantics and its implementation (Q1822488) (← links)
- Calculating with pointers (Q1822921) (← links)
- Formal derivation of a pattern matching algorithm (Q1822923) (← links)
- Playing with patterns, searching for strings (Q1822928) (← links)
