Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1. TACS 1991: Sendai, Japan
- 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
- Gordon D. Plotkin:
A Semantics for Type Checking. 1-17
Session 1
- Paola Giannini
, Simona Ronchi Della Rocca:
Type Inference in Polymorphic Type Discipline. 18-37 - Makoto Tatsuta:
Monotone Recursive Definition of Predicates and Its Realizability Interpretation. 38-52
Invited Paper
- Masahiko Sato:
Adding Proof Objects and Inductive Definition Mechanisms to Frege Structures. 53-87
Session 2
- Wesley Phoa:
From Term Models to Domains. 88-111 - Carl A. Gunter, Elsa L. Gunter, David B. MacQueen:
An Abstract Interpretation for ML Equality Kinds. 112-130
Invited Paper
- Trevor Jim, Albert R. Meyer:
Full Abstraction and the Context Lemma. 131-151
Session 3
- S. Arun-Kumar, Matthew Hennessy:
An Efficiency Preorder for Processes. 152-175 - Alexander Moshe Rabinovich, Boris A. Trakhtenbrot:
On Nets, Algebras and Modularity. 176-203 - Bengt Jonsson, Joost N. Kok:
Towards a Complete Hierarchy of Compositional Dataflow Models. 204-225
Invited Paper
- Robert L. Constable:
Type Theory as a Foundation for Computer Science. 226-243
Invited Paper
- Amir Pnueli, M. Shalev:
What is in a Step: On the Semantics of Statecharts. 244-264
Session 4
- Krzysztof R. Apt, Dino Pedreschi:
Proving Termination of General Prolog Programs. 265-289 - John C. Mitchell:
On Abstraction and the Expressive Power of Programming Languages. 290-310
Invited Paper
- Kazuhiro Fuchi, Koichi Furukawa:
Role of Logic Programming in the FGCS Project. 311-325
Session 5
- Martín Abadi, Michael Burrows, C. Kaufman, Butler W. Lampson:
Authentication and Delegation with Smart-cards. 326-345 - Bernhard Steffen:
Data Flow Analysis as Model Checking. 346-365 - Phil Pfeiffer, Rebecca Parsons Selke:
On the Adequacy of Dependence-Based Representations for Programs with Heaps. 365-386
Invited Paper
- Masami Hagiya:
From Programming-by-Example to Proving-by-Example. 387-419
Invited Paper
- Jean-Louis Lassez:
From LP to LP: Programming with Constraints. 420-446
Session 6
- Dieter Armbruster:
Polynomial Recursion Analysis in Pascal Like Programs. 447-458 - Hardi Hungar:
Complexity of Proving Program Correctness. 459-474 - David A. Basin, Douglas J. Howe:
Some Normalization Properties of Martin-Löf's Type Theory, and Applications. 475-494 - Ryu Hasegawa:
Parametricity of Extensionally Collapsed Term Models of Polymorphism and Their Categorical Properties. 495-512 - Shin-ya Nishizaki:
Programs with Continuations and Linear Logic. 513-531
Session 7
- David Walker:
Pi-Calculus Semantics of Object-Oriented Programming Languages. 532-547 - Andreas V. Hense:
Wrapper Semantics of an Object-Oriented Programming Language with State. 548-568 - Mark Ryan, José Luiz Fiadeiro, T. S. E. Maibaum:
Sharing Actions and Attributes in Modal Action Logic. 569-593 - Ralf Treinen:
First Order Data Types and First Order Logic. 594-614 - Max I. Kanovich:
Efficient Program Synthesis: Semantics, Logic, Complexity. 615-632
Session 8
- Sachio Hirokawa:
Principal Type-Schemes of BCI-Lambda-Terms. 633-650 - Franco Barbanera, Mariangiola Dezani-Ciancaglini:
Intersection and Union Types. 651-674 - John C. Reynolds:
The Coherence of Languages with Intersection Types. 675-700
Invited Paper
- Susumu Hayashi:
Singleton, Union and Intersection Types for Program Extraction. 701-730
Session 9
- Pierre-Louis Curien, Giorgio Ghelli:
Subtyping + Extensionality: Confluence of beta-eta-top reduction in F<=. 731-749 - Luca Cardelli, Simone Martini, John C. Mitchell, Andre Scedrov:
An Extension of System F with Subtyping. 750-770
Invited Lecture
- Dana S. Scott:
Will Logicians be Replaced by Machines? 771
a service of 
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.
last updated on 2024-04-19 19:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
