TAPSOFT '89. Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989: Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages (CCIPL)
Josep Diaz, Fernando Orejas
Springer Science & Business Media, Feb 27, 1989 - Computers - 392 pages
TAPSOFT '89 is the Third International Joint Conference on Theory and Practice of Software Development held in Barcelona, Spain, March 13-17, 1989. The conference consissted of three parts: - Advanced Seminar on Foundations of Innovative Software Development - Colloquium on Trees in Algebra and Programming (CAAP '89) - Colloquium on Current Issues in Programming Languages (CCIPL) The TAPSOFT '89 Conference Proceedings are published in two volumes. The first volume includes the papers from CAAP plus the more theoretical ones of the invited papers. The second volume comprises the papers from CCIPL and the invited papers more relevant to current issues in programming languages.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Other editions - View all
abstract data types abstract machine algebraic specification algorithm applied argument atomic atomic actions axiom Base behavior bool BOOLEAN button calculus clause closure coercion set compiler components Computer Science concurrent constraints construct constructors context corresponding Dactl defined definition denote described domain equations equivalence Esterel example execution expression Extended ML formal functional language functor homomorphic Horn clause implementation input instantiated integrated interface Lemma LNCS logic program machine maps match menu ML functor modular module names node normal form objects operational semantics output parameters PARLOG partial correctness partial evaluation polymorphic logic program predicate problem Proc programming language projection Prolog proof properties pulldown recursive representation result rewriting systems sequence signal signature slice stack Standard ML STMT structure syntactic syntax term rewriting systems Theorem transaction transformation rules tree tuple type inference type variables
Page 359 - Godel a 1'analyse, et son application a 1'elimination des coupures dans 1'analyse et la theorie des types. In JE Fenstad, editor, Proceedings of the Second Scandinavian Logic Symposium, pages 63-92, Amsterdam, London, 1971. North-Holland Publishing Co.  Jean- Yves Girard. Interpretation fonctionelle et elimination des coupures de I'arithmetique d'ordre superieur.