The following pages link to Science of Computer Programming (Q169675):
Displaying 50 items.
- Abstracting cryptographic protocols with tree automata. (Q1398674) (← links)
- State space reduction based on live variables analysis. (Q1398676) (← links)
- Eliminating dead code on recursive data. (Q1398677) (← links)
- Partial redundancy elimination: A simple, pragmatic, and provably correct algorithm. (Q1400469) (← links)
- The semantics and execution of a synchronous block-diagram language. (Q1400471) (← links)
- Dynamic configuration management in a graph-oriented distributed programming environment. (Q1400473) (← links)
- A linear approximation algorithm for bin packing with absolute approximation factor \(\frac {3}{2}\) (Q1400475) (← links)
- Special issue: Static analysis symposium (SAS'99), Venice, Italy, September 22--24, 1999. Selected papers (Q1400862) (← links)
- A new algorithm for the construction of minimal acyclic DFAs. (Q1426028) (← links)
- A Boyer-Moore-style algorithm for regular expression pattern matching. (Q1426030) (← links)
- An analysis of the coupling effect. I: Single test data. (Q1426032) (← links)
- On logic programs that always succeed. (Q1426033) (← links)
- Computation calculus bridging a formalization gap (Q1566908) (← links)
- Generic downwards accumulations (Q1566909) (← links)
- Generalising monads to arrows (Q1566910) (← links)
- A semantic approach to secure information flow (Q1566911) (← links)
- A calculational approach to reactive systems (Q1566912) (← links)
- Convergence of program transformers in the metric space of trees (Q1566913) (← links)
- Costing parallel programs as a function of shapes (Q1566914) (← links)
- Shapeliness analysis of functional programs with algebraic data types (Q1566916) (← links)
- A calculus of functional BSP programs (Q1566918) (← links)
- A methodology for hardware verification using compositional model checking (Q1566919) (← links)
- Special issue on mathematics of program construction. 4th international conference, Island of Marstrand near Göteborg, Sweden, June 1998 (Q1566920) (← links)
- Deriving relational programs for computing kernels by reconstructing a proof of Richardson's theorem (Q1581059) (← links)
- Combinations of abstract domains for logic programming: Open product and generic pattern construction (Q1581061) (← links)
- A calculus of program adaption and its applications (Q1581063) (← links)
- A generative methodology for the design of abstract machines (Q1581064) (← links)
- Special issue on static program analysis, SAS '98. 5th international symposium, Pisa, Italy, September 14--16, 1998 (Q1595246) (← links)
- Code motion in the presence of critical edges without bidirectional data flow analysis (Q1595248) (← links)
- Finite subtype inference with explicit polymorphism (Q1595249) (← links)
- A symbolic semantics for abstract model checking (Q1595250) (← links)
- A first-order language for expressing sharing and type properties of logic programs (Q1595252) (← links)
- A compositional model to reason about end-to-end QoS in stochastic Reo connectors (Q1651010) (← links)
- Parallel actor monitors: disentangling task-level parallelism from data partitioning in the actor model (Q1651013) (← links)
- An object-oriented parallel programming language for distributed-memory parallel computing platforms (Q1651016) (← links)
- Efficient static checker for tainted variable attacks (Q1651020) (← links)
- Abstract behavior types: a foundation model for components and their composition (Q1776573) (← links)
- Formal methods for smart cards: an experience report (Q1776578) (← links)
- A discrete-time UML semantics for concurrency and communication in safety-critical applications (Q1776580) (← links)
- Live and let die: LSC based verification of UML models (Q1776581) (← links)
- Composition for component-based modeling (Q1776582) (← links)
- How the design of JML accommodates both runtime assertion checking and formal verification (Q1776585) (← links)
- Generating error traces from verification-condition counterexamples (Q1776586) (← links)
- Specification and (property) inheritance in CSP-OZ (Q1776587) (← links)
- Asynchronous system synthesis (Q1776590) (← links)
- Special issue: Methods of software design: techniques and applications. Selected, revised and extended versions based on the presentation at the 6th international conference on the mathematics of program construction (MPC2002), Schloß\ Dagstuhl, Germany, (Q1781065) (← links)
- Special issue: Selected papers presented at the 12th European symposium on programming (ESOP 2003), Warsaw, Poland, April 5--13, 2003. (Q1781086) (← links)
- Uncovering architectural mismatch in component behavior (Q1806123) (← links)
- Refinement of rational end-points real numbers by means of floating-point numbers (Q1806125) (← links)
- Relation partition algebra -- mathematical aspects of uses and part-of relations (Q1806126) (← links)
