Extensions and foundations of object-oriented programming
暂无分享,去创建一个
[1] Joseph A. Goguen,et al. Reusing and Interconnecting Software Components , 1986, Computer.
[2] Joseph A. Goguen. One, None, A Hundred Thousand Specification Languages (Invited Paper) , 1986, IFIP Congress.
[3] José Meseguer,et al. EQLOG: Equality, Types, and Generic Modules For Logic Programming , 1986, Logic Programming: Functions, Relations, and Equations.
[4] Joseph A. Goguen,et al. A Study in the Functions of Programming Methodology: Specifications, Institutions, Charters and Parchments , 1985, CTCS.
[5] José Meseguer,et al. Principles of OBJ2 , 1985, POPL.
[6] Joseph A. Goguen,et al. Institutions : abstract model theory for computer science , 1985 .
[7] Joseph A. Goguen,et al. Parameterized Programming , 1984, IEEE Transactions on Software Engineering.
[8] Joseph A. Goguen,et al. Introducing Institutions , 1983, Logic of Programs.
[9] José Meseguer,et al. Universal Realization, Persistent Interconnection and Implementation of Abstract Modules , 1982, ICALP.
[10] Robert A. Kowalski,et al. Logic for problem solving , 1982, The computer science library : Artificial intelligence series.