Title | ||
---|---|---|
Mathematics of Program Construction, Second International Conference, Oxford, U.K., June 29 - July 3, 1992, Proceedings |
Year | Venue | Field |
---|---|---|
1993 | MPC | Specification language,Operational semantics,Functional programming,Refinement calculus,Computer science,Arithmetic,Theoretical computer science,Calculus of constructions,Binary heap,Guarded Command Language,Computer programming |
DocType | Volume | ISBN |
Conference | 669 | isbn |
Citations | PageRank | References |
24 | 7.12 | 0 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Richard S. Bird | 1 | 875 | 147.06 |
C. C. Morgan | 2 | 1462 | 174.73 |
Jim Woodcock | 3 | 534 | 77.08 |