The following pages link to Science of Computer Programming (Q169675):
Displaying 50 items.
- Spanders: distributed spanning expanders (Q395654) (← links)
- Special issue: Foundations of coordination languages and software architectures. Selected papers based on the presentations at the 8th international workshop (FOCLASA'09), Rhodes, Greece, July 11th, 2009 (Q418109) (← links)
- Special issue: FSEN'09. Selected papers based on the presentations at the 3rd IPM international symposium on fundamentals of software engineering, Kish, Iran, April 15--17, 2009. (Q418110) (← links)
- SAT-based verification for timed component connectors (Q433331) (← links)
- Connectors as designs: modeling, refinement and test case generation (Q433336) (← links)
- ASP\(_{\text{fun}}\) : a typed functional active object calculus (Q433340) (← links)
- Symbolic execution of Reo circuits using constraint automata (Q433344) (← links)
- A generic framework for \(n\)-protocol compatibility checking (Q433347) (← links)
- Rule formats for determinism and idempotence (Q433348) (← links)
- Towards a notion of unsatisfiable and unrealizable cores for LTL (Q433349) (← links)
- Moving in a network under random failures: a complexity analysis (Q433350) (← links)
- Step coverability algorithms for communicating systems (Q433351) (← links)
- Special issue: AVoCS'09. Selected papers based on the presentations at the 9th international workshop on automated verification of critical systems, Swansea, Wales, UK, September 23--25, 2009. (Q435219) (← links)
- Remodularizing Java programs for improved locality of feature implementations in source code (Q436348) (← links)
- Correct transformation: from object-based graph grammars to PROMELA (Q436353) (← links)
- Model evolution and refinement (Q436356) (← links)
- Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets (Q436361) (← links)
- Aspects preserving properties (Q436364) (← links)
- Mechanised wire-wise verification of Handel-C synthesis (Q436367) (← links)
- Mechanical reasoning about families of UTP theories (Q436368) (← links)
- Verification of graph grammars using a logical approach (Q436370) (← links)
- Function extraction (Q436372) (← links)
- Combining decision procedures by (model-)equality propagation (Q436376) (← links)
- JCML: A specification language for the runtime verification of Java card programs (Q436381) (← links)
- A formal model for service-oriented interactions (Q436383) (← links)
- Pattern matching for the masses using custom notations (Q436385) (← links)
- A model of context-dependent component connectors (Q436387) (← links)
- Dependence analysis for safe futures (Q436391) (← links)
- Mining quantified temporal rules: formalism, algorithms, and evaluation (Q436396) (← links)
- Automated verification of shape, size and bag properties via user-defined predicates in separation logic (Q436400) (← links)
- Provably correct conflict prevention bands algorithms (Q436402) (← links)
- Certifying assembly with formal security proofs: the case of BBS (Q436406) (← links)
- Sequential and distributed on-the-fly computation of weak tau-confluence (Q436408) (← links)
- Exploiting step semantics for efficient bounded model checking of asynchronous systems (Q436411) (← links)
- Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces (Q436418) (← links)
- Refinement-oriented models of Stateflow charts (Q436420) (← links)
- SAT-solving in CSP trace refinement (Q436423) (← links)
- Refinement checking for privacy policies (Q436427) (← links)
- Part special issue: Reverse engineering (WCRE 2009). Selected papers based on the presentations at the 16th working conference on reverse engineering, Lille, France, October 13--16, 2009. (Q446001) (← links)
- Special issue: Selected papers based on the presentations at the 11th international conference on formal engineering methods, ICFEM'09, Rio de Janeiro, Brazil, December 9--11, 2009 (Q449105) (← links)
- Special issue: Selected papers based on the presentations at the 6th international workshop on formal aspects of component software (FACS'09), Eindhoven, The Netherlands, November 2--3, 2009 (Q456056) (← links)
- Compositional design of isochronous systems (Q456402) (← links)
- Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code (Q532398) (← links)
- Statically safe program generation with SafeGen (Q532402) (← links)
- A type system for reflective program generators (Q532406) (← links)
- A language for generic programming in the large (Q532409) (← links)
- Partial evaluation of Maple (Q532411) (← links)
- XML graphs in program analysis (Q532414) (← links)
- Transformation of structure-shy programs with application to XPath queries and strategic functions (Q532417) (← links)
- Queue based mutual exclusion with linearly bounded overtaking (Q532419) (← links)
