| Publication | Date of Publication | Type |
|---|
Data type specification, parameterization and the power of specification techniques
Proceedings of the tenth annual ACM symposium on Theory of computing - STOC '78 | 2014-03-14 | Paper |
Formal Methods in Software and Systems Modeling
Lecture Notes in Computer Science | 2005-12-02 | Paper |
scientific article; zbMATH DE number 2143090 (Why is no real title available?)
| 2005-03-08 | Paper |
scientific article; zbMATH DE number 1617298 (Why is no real title available?)
| 2001-07-11 | Paper |
On the role of memory in object-based and object-oriented languages
Theoretical Computer Science | 1997-02-28 | Paper |
scientific article; zbMATH DE number 742726 (Why is no real title available?)
| 1995-04-09 | Paper |
scientific article; zbMATH DE number 475237 (Why is no real title available?)
| 1994-01-23 | Paper |
scientific article; zbMATH DE number 139982 (Why is no real title available?)
| 1993-03-28 | Paper |
An algebraically specified language for data directed design
Theoretical Computer Science | 1990-01-01 | Paper |
Algebras, polynomials and programs
Theoretical Computer Science | 1990-01-01 | Paper |
scientific article; zbMATH DE number 4050953 (Why is no real title available?)
| 1988-01-01 | Paper |
Canonical constraints for parameterized data types
Theoretical Computer Science | 1987-01-01 | Paper |
A categorical treatment of pre- and post-conditions
Theoretical Computer Science | 1987-01-01 | Paper |
scientific article; zbMATH DE number 3999259 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 4001458 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 3947604 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 3999260 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 3918620 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3936500 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 4039263 (Why is no real title available?)
| 1985-01-01 | Paper |
Parameter passing in algebraic specification languages
Theoretical Computer Science | 1984-01-01 | Paper |
scientific article; zbMATH DE number 3821094 (Why is no real title available?)
| 1983-01-01 | Paper |
Recursion and iteration in continuous theories: the M-construction
Journal of Computer and System Sciences | 1983-01-01 | Paper |
scientific article; zbMATH DE number 3810953 (Why is no real title available?)
| 1983-01-01 | Paper |
Data Type Specification: Parameterization and the Power of Specification Techniques
ACM Transactions on Programming Languages and Systems | 1982-01-01 | Paper |
More on advice on structuring compilers and proving them correct
Theoretical Computer Science | 1981-01-01 | Paper |
scientific article; zbMATH DE number 3714981 (Why is no real title available?)
| 1980-01-01 | Paper |
scientific article; zbMATH DE number 3640846 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3651738 (Why is no real title available?)
| 1979-01-01 | Paper |
A uniform approach to inductive posets and inductive closure
Theoretical Computer Science | 1978-01-01 | Paper |
scientific article; zbMATH DE number 3612415 (Why is no real title available?)
| 1978-01-01 | Paper |
Initial Algebra Semantics and Continuous Algebras
Journal of the ACM | 1977-01-01 | Paper |
scientific article; zbMATH DE number 3578887 (Why is no real title available?)
| 1977-01-01 | Paper |
Parallel realization of systems, using factorizations and quotients in categories
Journal of the Franklin Institute | 1976-01-01 | Paper |
scientific article; zbMATH DE number 3562490 (Why is no real title available?)
| 1976-01-01 | Paper |
scientific article; zbMATH DE number 3479111 (Why is no real title available?)
| 1975-01-01 | Paper |
scientific article; zbMATH DE number 3478367 (Why is no real title available?)
| 1973-01-01 | Paper |
Bounded action machines. II: The basic structure of tapeless computers
Computing | 1972-01-01 | Paper |
scientific article; zbMATH DE number 3397535 (Why is no real title available?)
| 1971-01-01 | Paper |
Uniformly Reflexive Structures: On the Nature of Godelizations and Relative Computability
Transactions of the American Mathematical Society | 1970-01-01 | Paper |
Bounded action machines: toward an abstract theory of computer structure
Journal of Computer and System Sciences | 1968-01-01 | Paper |
Statistical Analysis of Paged and Segmented Computer Systems
IEEE Transactions on Electronic Computers | 1966-01-01 | Paper |
