The following pages link to Science of Computer Programming (Q169675):
Displaying 50 items.
- Special issue: Mathematics of program construction (MPC 2008). Selected papers based on the presentations at the 9th international conference, Luminy, France, July 2008. (Q625344) (← links)
- On Euclid's algorithm and elementary number theory (Q627201) (← links)
- Internal axioms for domain semirings (Q627202) (← links)
- Map fusion for nested datatypes in intensional type theory (Q627204) (← links)
- A generic topology library (Q632812) (← links)
- Part special issue: Feature-oriented software development (FOSD 2009). Selected papers based on the presentations at the workshop, Denver, CO, USA, October 6, 2009. (Q664182) (← links)
- The automated transformation of abstract specifications of numerical algorithms into efficient array processor implementations (Q676845) (← links)
- Timewise refinement for communicating processes (Q676846) (← links)
- Embedding time granularity in a logical specification language for synchronous real-time systems (Q685609) (← links)
- Real-time specification and modeling with joint actions (Q685613) (← links)
- Exceptions for algebraic specifications: On the meaning of ``but'' (Q685615) (← links)
- Developing reactive systems in a VDM framework (Q685617) (← links)
- Goal-directed requirements acquisition (Q685620) (← links)
- Towards pointer algebra (Q685621) (← links)
- Concurrency without toil: A systematic method for parallel program design (Q685624) (← links)
- Polymorphic subtyping in O'Haskell (Q700972) (← links)
- Polytypic values possess polykinded types (Q700974) (← links)
- Reasoning about real-time repetitions: Terminating and nonterminating (Q700976) (← links)
- The universal resolving algorithm and its correctness: Inverse computation in a functional language (Q700978) (← links)
- Special issue: Unified modeling language (UML 2000). 3rd international conference, York, GB, October 2000 (Q701012) (← links)
- Profiles in a strict metamodeling framework (Q701015) (← links)
- Reconciling the needs of architectural description with object-modeling notations (Q701019) (← links)
- Modular architecture for a toolset supporting OCL (Q701023) (← links)
- Extending standard UML with model composition semantics (Q701025) (← links)
- PRIMA-UML: A performance validation incremental methodology on early UML diagrams (Q701028) (← links)
- Special issue: Workshop on Graph transformation Systems (GRATRA 2000). A satellite event of the European joint conferences on theory and practice of software (ETAPS), Berlin, Germany, 2000 (Q701029) (← links)
- A graph transformation approach to software architecture reconfiguration (Q701031) (← links)
- Concepts and realization of a diagram editor generator based on hypergraph transformation (Q701033) (← links)
- A visual environment for visual languages (Q701035) (← links)
- Designing the automatic transformation of visual languages (Q701039) (← links)
- Formal agent-oriented modeling with UML and graph transformation (Q701042) (← links)
- A hierarchy of communication models for message sequence charts (Q701045) (← links)
- Imperative objects as mobile processes (Q701046) (← links)
- Architectural modifications to deployed software (Q703582) (← links)
- A semantic and methodological essence of message sequence charts (Q703583) (← links)
- XML stream transformer generation through program composition and dependency analysis (Q703585) (← links)
- Compositionality and locality for improving model checking in the selective mu-calculus (Q703588) (← links)
- Data structures and program transformation (Q749197) (← links)
- Left-bottom and right-top segments (Q751793) (← links)
- VLSI programming for the compact disc player (Q751822) (← links)
- A systolic design for acceptors of regular languages (Q751834) (← links)
- The gamma model and its discipline of programming (Q751838) (← links)
- Program inversion: More than fun! (Q751841) (← links)
- Two small parallel programming exercises (Q751846) (← links)
- Distributed sorting (Q753491) (← links)
- Synthesis of a new systolic architecture for the algebraic path problem (Q757083) (← links)
- A systematic design of a parallel program for Dirichlet convolution (Q757487) (← links)
- The design of divide and conquer algorithms (Q760206) (← links)
- Special issue: Brazilian symposium on formal methods (SBMF 2008). Selected papers from the proceedings of SBMF 2008, Salvador, BA, Brazil, August 26--29, 2008. (Q764862) (← links)
- Fault-tolerant broadcasts (Q790609) (← links)
