The following pages link to Science of Computer Programming (Q169675):
Displaying 50 items.
- Special issue: Dedicated to selected papers from the conference of program construction 2004 (MPC 2004), the 7th international conference on the mathematics of program construction, Stirling, July 2004. (Q868509) (← links)
- Modelling and model checking suspendible business processes via statechart diagrams and CSP (Q869685) (← links)
- A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models (Q869690) (← links)
- PiXL: applying XML standards to support the integration of analysis tools for protocols (Q869693) (← links)
- Customizing an XML-Haskell data binding with type isomorphism inference in generic Haskell (Q870274) (← links)
- Metamorphisms: streaming representation-changers (Q870275) (← links)
- Modelling angelic and demonic nondeterminism with multirelations (Q870278) (← links)
- Terms with unbounded demonic and angelic nondeterminacy (Q870280) (← links)
- Describing data flow analysis techniques with Kleene algebra (Q870282) (← links)
- Kleene getting lazy (Q870283) (← links)
- Special issue: The 5th international workshop on system software architectures (IWSSA'06), Las Vegas, NV, USA, June 2006. Selected papers based on the presentations at the workshop. (Q876559) (← links)
- Visual assessment of software evolution (Q877014) (← links)
- Odyssey-SCM: An integrated software configuration management infrastructure for UML models (Q877020) (← links)
- Ontology-driven middleware for next-generation train backbones (Q877944) (← links)
- Definition and use of computation independent models in an MDA-based groupware development process (Q877945) (← links)
- An architecture for access control management in collaborative enterprise systems based on organization models (Q877951) (← links)
- Software requirements and architecture modeling for evolving non-secure applications into secure applications (Q877953) (← links)
- Designing and managing evolving systems using a MAS product line approach (Q877959) (← links)
- Using established Web engineering knowledge in model-driven approaches (Q882455) (← links)
- Maude's module algebra (Q882456) (← links)
- Rotations in the plane and Prolog (Q882457) (← links)
- Modeling and verification of real-time systems based on equations (Q882458) (← links)
- Elementary data structures in ALGOL-like languages (Q909449) (← links)
- Semantic independence (Q911745) (← links)
- Small programming exercises 24 (Q912588) (← links)
- On the classification of attribute evaluation algorithms (Q912636) (← links)
- A functional theory of exceptions (Q913477) (← links)
- Comparing integrated and external logics of functional programs (Q913479) (← links)
- Behavioural correctness of data representations (Q913484) (← links)
- The (algebraic) congruence of two programming language definitions (Q913526) (← links)
- Stepwise refinement of parallel algorithms (Q918204) (← links)
- Reasoning about continuous systems (Q918217) (← links)
- Types and invariants in the refinement calculus (Q918219) (← links)
- Algorithm theories and design tactics (Q918221) (← links)
- Lawful functions and program verification in miranda (Q918222) (← links)
- Specifying concurrent objects as communicating processes (Q919839) (← links)
- Comparative semantics for prolog with cut (Q920622) (← links)
- Searching by elimination (Q920625) (← links)
- The derivation of systolic computations (Q921907) (← links)
- A derivation of a serial-parallel multiplier (Q922682) (← links)
- An implementation of an efficient algorithm for bisimulation equivalence (Q922711) (← links)
- The logic of message-passing (Q923880) (← links)
- Refunctionalization at work (Q923881) (← links)
- Type-based termination of generic programs (Q923883) (← links)
- Proofs of randomized algorithms in Coq (Q923886) (← links)
- Generic programming in 3D (Q923888) (← links)
- The shadow knows: refinement and security in sequential programs (Q923889) (← links)
- Enabledness and termination in refinement algebra (Q923890) (← links)
- Atomizer: A dynamic atomicity checker for multithreaded programs (Q924672) (← links)
- XPi: a typed process calculus for XML messaging (Q924673) (← links)
