Theoretical aspects of computer software. International conference TACS '91, Sendai, Japan, September 24--27, 1991. Proceedings (Q1202074)

The articles of this volume will be reviewed individually. Indexed articles: \textit{Plotkin, Gordon}, A semantics for type checking, 1-17 [Zbl 1493.68092] \textit{Giannini, Paola; Ronchi Della Rocca, Simona}, Type inference in polymorphic type discipline, 18-37 [Zbl 1493.68086] \textit{Tatsuta, Makoto}, Monotone recursive definition of predicates and its realizability interpretation, 38-52 [Zbl 1493.68124] \textit{Sato, Masahiko}, Adding proof objects and inductive definition mechanisms to Frege structures, 53-87 [Zbl 1496.03251] \textit{Phoa, Wesley}, From term models to domains, 88-111 [Zbl 1496.03063] \textit{Gunter, Carl A.; Gunter, Elsa L.; MacQueen, David B.}, An abstract interpretation for ML equality kinds, 112-130 [Zbl 1493.68089] \textit{Jim, Trevor; Meyer, Albert R.}, Full abstraction and the context lemma (preliminary report), 131-151 [Zbl 1493.68090] \textit{Arun-Kumar, S.; Hennessy, M.}, An efficiency preorder for processes, 152-175 [Zbl 1493.68238] \textit{Rabinovich, Alexander; Trakhtenbrot, Boris A.}, On nets, algebras and modularity, 176-203 [Zbl 1493.68255] \textit{Jonsson, Bengt; Kok, Joost N.}, Towards a complete hierarchy of compositional dataflow models, 204-225 [Zbl 1493.68248] \textit{Constable, Robert L.}, Type theory as a foundation for computer science, 226-243 [Zbl 1496.03054] \textit{Pnueli, A.; Shalev, M.}, What is in a step: on the semantics of statecharts, 244-264 [Zbl 1493.68121] \textit{Apt, Krzysztof R.; Pedreschi, Dino}, Proving termination of general Prolog programs, 265-289 [Zbl 1494.68038] \textit{Mitchell, John C.}, On abstraction and the expressive power of programming languages, 290-310 [Zbl 1493.68058] \textit{Fuchi, Kazuhiro; Furukawa, Koichi}, Role of logic programming in the FGCS project, 311-325 [Zbl 1493.68067] \textit{Abadi, M.; Burrows, M.; Kaufman, C.; Lampson, B.}, Authentication and delegation with smart-cards, 326-345 [Zbl 1493.68040] \textit{Steffen, Bernhard}, Data flow analysis as model checking, 346-364 [Zbl 1493.68123] \textit{Pfeiffer, Phil; Selke, Rebecca Parsons}, On the adequacy of dependence-based representations for programs with heaps, 365-386 [Zbl 1493.68120] \textit{Hagiya, Masami}, From programming-by-example to proving-by-example, 387-419 [Zbl 1493.68167] \textit{Lassez, Jean-Louis}, From LP to LP: programming with constraints, 420-446 [Zbl 1493.68116] \textit{Armbruster, Dieter}, Polynomial recursion analysis in Pascal like programs, 447-458 [Zbl 1493.68054] \textit{Hungar, Hardi}, Complexity of proving program correctness, 459-474 [Zbl 1493.68111] \textit{Basin, David A.; Howe, Douglas J.}, Some normalization properties of Martin-Löf's type theory, and applications, 475-494 [Zbl 1493.68099] \textit{Hasegawa, Ryu}, Parametricity of extensionally collapsed term models of polymorphism and their categorical properties, 495-512 [Zbl 1493.68230] \textit{Nishizaki, Shin-Ya}, Programs with continuations and linear logic, 513-531 [Zbl 1493.68060] \textit{Walker, David}, \(\pi\)-calculus semantics of object-oriented programming languages, 532-547 [Zbl 1493.68063] \textit{Hense, Andreas V.}, Wrapper semantics of an object-oriented programming language with state, 548-568 [Zbl 1493.68057] \textit{Ryan, Mark; Fiadeiro, José; Maibaum, Tom}, Sharing actions and attributes in modal action logic, 569-593 [Zbl 1493.68257] \textit{Treinen, Ralf}, First order data types and first order logic, 594-614 [Zbl 1493.68231] \textit{Kanovich, Max I.}, Efficient program synthesis: semantics, logic, complexity, 615-632 [Zbl 1493.68114] \textit{Hirokawa, Sachio}, Principal type-schemes of BCI-lambda-terms, 633-650 [Zbl 1496.03060] \textit{Barbanera, Franco; Dezani-Ciancaglini, Mariangiola}, Intersection and union types, 651-674 [Zbl 1493.68080] \textit{Reynolds, John C.}, The coherence of languages with intersection types, 675-700 [Zbl 1493.68061] \textit{Hayashi, Susumu}, Singleton, union and intersection types for program extraction, 701-730 [Zbl 1494.68059] \textit{Curien, Pierre-Louis; Ghelli, Giorgio}, Subtyping + extensionality: confluence of \(\beta \eta\)top reduction in \(\mathrm{F}_\leq\), 731-749 [Zbl 1493.68103] \textit{Cardelli, Luca; Martini, Simone; Mitchell, John C.; Scedrov, Andre}, An extension of system \(F\) with subtyping, 750-770 [Zbl 1496.03058]