More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

1. TACS 1991: Sendai, Japan

> Home > Conferences and Workshops > TACS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/tacs/1991
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacs/1991
Takayasu Ito, Albert R. Meyer:
Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings. Lecture Notes in Computer Science 526, Springer 1991, ISBN 3-540-54415-1

Invited Paper

- view
  authority control:
- export record
  dblp key:
  - conf/tacs/Plotkin91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacs/Plotkin91
Gordon D. Plotkin:
A Semantics for Type Checking. 1-17

Session 1

- view
  authority control:
- export record
  dblp key:
  - conf/tacs/GianniniR91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacs/GianniniR91
Paola Giannini, Simona Ronchi Della Rocca:
Type Inference in Polymorphic Type Discipline. 18-37
- view
  authority control:
- export record
  dblp key:
  - conf/tacs/Tatsuta91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacs/Tatsuta91
Makoto Tatsuta:
Monotone Recursive Definition of Predicates and Its Realizability Interpretation. 38-52

Invited Paper

- view
  authority control:
- export record
  dblp key:
  - conf/tacs/Sato91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacs/Sato91
Masahiko Sato:
Adding Proof Objects and Inductive Definition Mechanisms to Frege Structures. 53-87

Session 2

- view
  authority control:
- export record
  dblp key:
  - conf/tacs/Phoa91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacs/Phoa91
Wesley Phoa:
From Term Models to Domains. 88-111
- view
  authority control:
- export record
  dblp key:
  - conf/tacs/GunterGM91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacs/GunterGM91
Carl A. Gunter, Elsa L. Gunter, David B. MacQueen:
An Abstract Interpretation for ML Equality Kinds. 112-130

Invited Paper

- view
  authority control:
- export record
  dblp key:
  - conf/tacs/JimM91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacs/JimM91
Trevor Jim, Albert R. Meyer:
Full Abstraction and the Context Lemma. 131-151

Session 3

- view
  authority control:
- export record
  dblp key:
  - conf/tacs/Arun-KumarH91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacs/Arun-KumarH91
S. Arun-Kumar, Matthew Hennessy:
An Efficiency Preorder for Processes. 152-175
- view
  authority control:
- export record
  dblp key:
  - conf/tacs/RabinovichT91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacs/RabinovichT91
Alexander Moshe Rabinovich, Boris A. Trakhtenbrot:
On Nets, Algebras and Modularity. 176-203
- view
  authority control:
- export record
  dblp key:
  - conf/tacs/JonssonK91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacs/JonssonK91
Bengt Jonsson, Joost N. Kok:
Towards a Complete Hierarchy of Compositional Dataflow Models. 204-225

Invited Paper

- view
  authority control:
- export record
  dblp key:
  - conf/tacs/Constable91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacs/Constable91
Robert L. Constable:
Type Theory as a Foundation for Computer Science. 226-243

Invited Paper

- view
  authority control:
- export record
  dblp key:
  - conf/tacs/PnueliS91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacs/PnueliS91
Amir Pnueli, M. Shalev:
What is in a Step: On the Semantics of Statecharts. 244-264

Session 4

- view
  authority control:
- export record
  dblp key:
  - conf/tacs/AptP91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacs/AptP91
Krzysztof R. Apt, Dino Pedreschi:
Proving Termination of General Prolog Programs. 265-289
- view
  authority control:
- export record
  dblp key:
  - conf/tacs/Mitchell91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacs/Mitchell91
John C. Mitchell:
On Abstraction and the Expressive Power of Programming Languages. 290-310

Invited Paper

- view
  authority control:
- export record
  dblp key:
  - conf/tacs/FuchiF91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacs/FuchiF91
Kazuhiro Fuchi, Koichi Furukawa:
Role of Logic Programming in the FGCS Project. 311-325

Session 5

- view
  authority control:
- export record
  dblp key:
  - conf/tacs/AbadiBKL91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacs/AbadiBKL91
Martín Abadi, Michael Burrows, C. Kaufman, Butler W. Lampson:
Authentication and Delegation with Smart-cards. 326-345
- view
  authority control:
- export record
  dblp key:
  - conf/tacs/Steffen91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacs/Steffen91
Bernhard Steffen:
Data Flow Analysis as Model Checking. 346-365
- view
  authority control:
- export record
  dblp key:
  - conf/tacs/PfeifferS91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacs/PfeifferS91
Phil Pfeiffer, Rebecca Parsons Selke:
On the Adequacy of Dependence-Based Representations for Programs with Heaps. 365-386

Invited Paper

- view
  authority control:
- export record
  dblp key:
  - conf/tacs/Hagiya91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacs/Hagiya91
Masami Hagiya:
From Programming-by-Example to Proving-by-Example. 387-419

Invited Paper

- view
  authority control:
- export record
  dblp key:
  - conf/tacs/Lassez91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacs/Lassez91
Jean-Louis Lassez:
From LP to LP: Programming with Constraints. 420-446

Session 6

- view
  authority control:
- export record
  dblp key:
  - conf/tacs/Armbruster91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacs/Armbruster91
Dieter Armbruster:
Polynomial Recursion Analysis in Pascal Like Programs. 447-458
- view
  authority control:
- export record
  dblp key:
  - conf/tacs/Hungar91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacs/Hungar91
Hardi Hungar:
Complexity of Proving Program Correctness. 459-474
- view
  authority control:
- export record
  dblp key:
  - conf/tacs/BasinH91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacs/BasinH91
David A. Basin, Douglas J. Howe:
Some Normalization Properties of Martin-Löf's Type Theory, and Applications. 475-494
- view
  authority control:
- export record
  dblp key:
  - conf/tacs/Hasegawa91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacs/Hasegawa91
Ryu Hasegawa:
Parametricity of Extensionally Collapsed Term Models of Polymorphism and Their Categorical Properties. 495-512
- view
  authority control:
- export record
  dblp key:
  - conf/tacs/Nishizaki91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacs/Nishizaki91
Shin-ya Nishizaki:
Programs with Continuations and Linear Logic. 513-531

Session 7

- view
  authority control:
- export record
  dblp key:
  - conf/tacs/Walker91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacs/Walker91
David Walker:
Pi-Calculus Semantics of Object-Oriented Programming Languages. 532-547
- view
  authority control:
- export record
  dblp key:
  - conf/tacs/Hense91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacs/Hense91
Andreas V. Hense:
Wrapper Semantics of an Object-Oriented Programming Language with State. 548-568
- view
  authority control:
- export record
  dblp key:
  - conf/tacs/RyanFM91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacs/RyanFM91
Mark Ryan, José Luiz Fiadeiro, T. S. E. Maibaum:
Sharing Actions and Attributes in Modal Action Logic. 569-593
- view
  authority control:
- export record
  dblp key:
  - conf/tacs/Treinen91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacs/Treinen91
Ralf Treinen:
First Order Data Types and First Order Logic. 594-614
- view
  authority control:
- export record
  dblp key:
  - conf/tacs/Kanovich91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacs/Kanovich91
Max I. Kanovich:
Efficient Program Synthesis: Semantics, Logic, Complexity. 615-632

Session 8

- view
  authority control:
- export record
  dblp key:
  - conf/tacs/Hirokawa91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacs/Hirokawa91
Sachio Hirokawa:
Principal Type-Schemes of BCI-Lambda-Terms. 633-650
- view
  authority control:
- export record
  dblp key:
  - conf/tacs/BarbaneraD91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacs/BarbaneraD91
Franco Barbanera, Mariangiola Dezani-Ciancaglini:
Intersection and Union Types. 651-674
- view
  authority control:
- export record
  dblp key:
  - conf/tacs/Reynolds91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacs/Reynolds91
John C. Reynolds:
The Coherence of Languages with Intersection Types. 675-700

Invited Paper

- view
  authority control:
- export record
  dblp key:
  - conf/tacs/Hayashi91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacs/Hayashi91
Susumu Hayashi:
Singleton, Union and Intersection Types for Program Extraction. 701-730

Session 9

- view
  authority control:
- export record
  dblp key:
  - conf/tacs/CurienG91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacs/CurienG91
Pierre-Louis Curien, Giorgio Ghelli:
Subtyping + Extensionality: Confluence of beta-eta-top reduction in F_<=. 731-749
- view
  authority control:
- export record
  dblp key:
  - conf/tacs/CardelliMMS91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacs/CardelliMMS91
Luca Cardelli, Simone Martini, John C. Mitchell, Andre Scedrov:
An Extension of System F with Subtyping. 750-770

Invited Lecture

- view
  authority control:
- export record
  dblp key:
  - conf/tacs/Scott91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacs/Scott91
Dana S. Scott:
Will Logicians be Replaced by Machines? 771

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.