The Cartesian Product Algorithm
- 25 August 2000
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- Object-oriented multi-methods in CecilPublished by Springer Science and Business Media LLC ,2006
- Type Inference of SelfPublished by Springer Science and Business Media LLC ,2000
- Constraint-based type inference and parametric polymorphismLecture Notes in Computer Science, 1994
- Making pure object-oriented languages practicalPublished by Association for Computing Machinery (ACM) ,1991
- An efficient implementation of SELF, a dynamically-typed object-oriented language based on prototypesHigher-Order and Symbolic Computation, 1991
- A type system for SmalltalkPublished by Association for Computing Machinery (ACM) ,1990
- Type-checking SmalltalkPublished by Association for Computing Machinery (ACM) ,1986
- A theory of type polymorphism in programmingJournal of Computer and System Sciences, 1978
- A fast algorithm for computing longest common subsequencesCommunications of the ACM, 1977
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977