The following pages link to Science of Computer Programming (Q169675):
Displaying 50 items.
- A proof system for concurrent ADA programs (Q792078) (← links)
- A systematic approach to language constructs for concurrent programs (Q792081) (← links)
- Structuring transformational developments: A case study based on Earley's recognizer (Q792748) (← links)
- Small programming exercises. III (Q792749) (← links)
- Small programming exercises. 4 (Q793506) (← links)
- Partial correctness: The term-wise approach (Q793507) (← links)
- Une extension de VLISP vers les objets (Q795494) (← links)
- Adequate proof principles for invariance and liveness properties of concurrent programs (Q795497) (← links)
- A simple livelock-free algorithm for packet switching (Q795501) (← links)
- The mathematical construction of a program (Q796289) (← links)
- A general incremental evaluator for attribute grammars (Q799389) (← links)
- Small programming exercises 5 (Q800079) (← links)
- A higher-order implementation of rewriting (Q800739) (← links)
- A practical theory of programming (Q808685) (← links)
- Correctness of static flow analysis in continuation semantics (Q808721) (← links)
- An exercise in transformational programming: Backtracking and Branch-and- Bound (Q808723) (← links)
- Specification of concurrent objects using auxiliary variables (Q808725) (← links)
- PiDuce- A project for experimenting web services technologies (Q838158) (← links)
- Invariant-driven specifications in Maude (Q838161) (← links)
- Efficient virtual machine support of runtime structural reflection (Q838165) (← links)
- Integration testing of object-oriented and aspect-oriented programs: A structural pairwise approach for Java (Q838169) (← links)
- Special issue: The first MetaOCaml workshop 2004. Selected papers based on the presentations at the workshop, Vancouver, Canada, October 25, 2004. (Q851923) (← links)
- Executing Java programs with transactional memory (Q856901) (← links)
- Composing atomic features (Q856903) (← links)
- Programming with exceptions in JCilk (Q856906) (← links)
- Versioned boxes as the basis for memory transactions (Q856909) (← links)
- Nested transactional memory: Model and architecture sketches (Q856912) (← links)
- Semantics and scoping of aspects in higher-order languages (Q856916) (← links)
- A type-theoretic interpretation of pointcuts and advice (Q856917) (← links)
- Typed parametric polymorphism for aspects (Q856919) (← links)
- Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework (Q856922) (← links)
- \(\text{MiniMAO}_1\): an imperative core language for studying aspect-oriented reasoning (Q856924) (← links)
- Special issue: 11th static analysis symposium -- SAS 2004. Selected papers based on the presentations at the symposium, Verona, Italy, August 26--28, 2004. (Q857544) (← links)
- Special issue: Coordination models and languages (COORDINATION 2005). Selected papers based on the presentations at the 7th international conference, Namur, Belgium, April 20--23, 2005 (Q857545) (← links)
- Procedures and parameters in the real-time program refinement calculus (Q858908) (← links)
- A risk analysis of disk backup or repository maintenance (Q858910) (← links)
- Formal proof of a program: find (Q858911) (← links)
- Lock-free parallel and concurrent garbage collection by mark\&sweep (Q858913) (← links)
- A logic for information flow analysis with an application to forward slicing of simple imperative programs (Q859953) (← links)
- A calculus of logical relations for over- and underapproximating static analyses (Q859954) (← links)
- Automatic generation of polynomial invariants of bounded degree using abstract interpretation (Q859956) (← links)
- Polynomial approximations of the relational semantics of imperative programs (Q859958) (← links)
- A polynomial-time algorithm for global value numbering (Q859961) (← links)
- The octahedron abstract domain (Q859963) (← links)
- Type inference against races (Q859964) (← links)
- Abstract interpretation of combinational asynchronous circuits (Q859966) (← links)
- Global computing in a dynamic network of tuple spaces (Q859968) (← links)
- Coordination with multicapabilities (Q859971) (← links)
- Using role-based coordination to achieve software adaptability (Q859973) (← links)
- An experimental evaluation of self-managing availability in shared data spaces (Q859977) (← links)
