Searching for authors named "Yifeng Chen" – sorted by Relevance.
16 documents found, showing 1 through 10.
Next 10 →
-
Execution and Verification of Imperative Programs
- …Execution and Verification of Imperative Programs Yifeng Chen Department of Computer Science…
- Add To MetaCart
-
A Predicative Semantics of Objects and References
- …Abstract A Predicative Semantics of Objects and References Yifeng Chen Department of Mathematics…
- Add To MetaCart
-
Hierarchical Organisation of Predicate-Semantic Models
- …Hierarchical Organisation of Predicate-Semantic Models Yifeng Chen Department of Computer Science…
- Cited by 3 (2 self) – Add To MetaCart
-
A fixpoint theory for non-monotonic parallelism
- … for non-monotonic parallelism YifengChen Department of Mathematics and Computer Science, University…
- Cited by 6 (4 self) – Add To MetaCart
-
Inheriting laws for processes with states
- …Inheriting Laws for Processes with States Yifeng Chen Department of Computer Science, University…
- Cited by 1 (1 self) – Add To MetaCart
-
Generic Composition
- …Under consideration for publication in Formal Aspects of Computing Generic Composition Yifeng Chen…
- Cited by 21 (12 self) – Add To MetaCart
-
Cumulative computing
- …://www.elsevier.nl/locate/entcs/volume83.html 18 pages Abstract Cumulative Computing Yifeng Chen 1 Department of Mathematics and Computer…
- Cited by 5 (5 self) – Add To MetaCart
-
Formal Aspects of Computing Semantic inheritance in unifying theories
- … in unifying theories of programming Yifeng Chen Department of Computer Science, University of Durham, South…
- Add To MetaCart
-
Generating Bsplib-C Code From Logs Specifications
- … Road Leicester, LE1 7RH, UK and Yifeng Chen Department of Computer Science, University of Durham, South…
- Add To MetaCart
-
Logic of Global Synchrony
- …Programming Research Group LOGIC OF GLOBAL SYNCHRONY Chen, Yifeng and J. W. Sanders PRG-RR-01…
- Cited by 13 (10 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
