The following pages link to Science of Computer Programming (Q169675):
Displaying 50 items.
- Metamodeling semantics of multiple inheritance (Q532422) (← links)
- Formalisation and implementation of an algorithm for bytecode verification of \(\@\)NonNull types (Q532427) (← links)
- A mechanical verification of the stressing algorithm for negative cost cycle detection in networks (Q532429) (← links)
- Special issue: The 2008 refinement workshop. Selected papers based on the presentations at the 13th workshop, Turku, Finland, May 27, 2008. (Q536526) (← links)
- Special issue: The 7th international workshop on the foundations of coordination languages and software architectures (FOCLASA'08), Reykjavik, Iceland, July 13th, 2008. Selected papers. (Q536529) (← links)
- Simulation refinement for concurrency verification (Q541209) (← links)
- Completeness of fair ASM refinement (Q541210) (← links)
- Contexts, refinement and determinism (Q541213) (← links)
- A tactic language for refinement of state-rich concurrent specifications (Q541214) (← links)
- The humble humorous researcher: a tribute to Michel Sintzoff (Q541677) (← links)
- Formalisations and applications of BPMN (Q541678) (← links)
- Synthesis of Reo circuits from scenario-based interaction specifications (Q541679) (← links)
- Channel-based coordination via constraint satisfaction (Q541681) (← links)
- Dynamic consistency in process algebra: from paradigm to ACP (Q541685) (← links)
- Special issue: Integrated formal methods (iFM09). Selected papers based on the presentations at the 7th international conference, Düsseldorf, Germany, February 16--19, 2009. (Q547076) (← links)
- Changing system interfaces consistently: a new refinement strategy for CSP\(\|\)B (Q549684) (← links)
- Predicate abstraction in a program logic calculus (Q549686) (← links)
- Partial order reduction for state/event LTL with application to component-interaction automata (Q549692) (← links)
- A semantics for behavior trees using CSP with specification commands (Q549693) (← links)
- Incremental reasoning with lazy behavioral subtyping for multiple inheritance (Q549694) (← links)
- Property specifications for workflow modelling (Q549695) (← links)
- The transformation of requirements into software primitives: studying evolvability based on systems theoretic stability (Q553541) (← links)
- Delegation by object composition (Q553899) (← links)
- A theoretical basis for stepwise refinement and the programming calculus (Q578892) (← links)
- A simple calculus for program transformation (inclusive of induction) (Q578898) (← links)
- Termination of rewriting systems by polynomial interpretations and its implementation (Q579930) (← links)
- Basic polymorphic typechecking (Q580956) (← links)
- A method for solving synchronization problems (Q582048) (← links)
- Special issue: Selected papers from the 6th international workshop on the foundations of coordination languages and software archtictures (FOCLASA'07) (Q606083) (← links)
- Preventing injection attacks with syntax embeddings (Q608228) (← links)
- Debugging hygienic macros (Q608231) (← links)
- Aspects of availability. Enforcing timed properties to prevent denial of service (Q608233) (← links)
- Constructing language processors with algebra combinators (Q608238) (← links)
- Simple and safe SQL queries with \texttt{C++} templates (Q608241) (← links)
- Programming with C++ concepts (Q608245) (← links)
- A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures (Q608247) (← links)
- Design and evaluation of C++ open multi-methods (Q608250) (← links)
- Multifunctional software systems: Structured modeling and specification of functional requirements (Q608340) (← links)
- A resource-efficient event algebra (Q608343) (← links)
- Scoping strategies for distributed aspects (Q608347) (← links)
- Incompleteness of relational simulations in the blocking paradigm (Q608349) (← links)
- Comparing three coordination models: Reo, ARC, and PBRD (Q608351) (← links)
- Modeling dynamic reconfigurations in Reo using high-level replacement systems (Q608354) (← links)
- simpA: an agent-oriented approach for programming concurrent applications on top of Java (Q608358) (← links)
- Special issue: Selected papers from the 12th and 13th workshop on formal methods for industrial critical systems (FMICS 2007 and FMICS 2008), Berlin Germany, July 2007, and L'Aquila, Italy, September 2008 (Q611865) (← links)
- Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API (Q617917) (← links)
- Deadlock and starvation free reentrant readers-writers: a case study combining model checking with theorem proving (Q617922) (← links)
- Application of static analyses for state-space reduction to the microcontroller binary code (Q617924) (← links)
- A state/event-based model-checking approach for the analysis of abstract system properties (Q617925) (← links)
- Flash memory efficient LTL model checking (Q617930) (← links)
