Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Dominique Bolignano, Mourad Debbabi |
A Semantic Theory for Concurrent ML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, International Conference TACS '94, Sendai, Japan, April 19-22, 1994, Proceedings, pp. 766-785, 1994, Springer, 3-540-57887-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Takayasu Ito, Albert R. Meyer (eds.) |
Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![Springer, 3-540-54415-1 The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Max I. Kanovich |
Efficient Program Synthesis: Semantics, Logic, Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings, pp. 615-632, 1991, Springer, 3-540-54415-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Phil Pfeiffer, Rebecca Parsons Selke |
On the Adequacy of Dependence-Based Representations for Programs with Heaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings, pp. 365-386, 1991, Springer, 3-540-54415-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Trevor Jim, Albert R. Meyer |
Full Abstraction and the Context Lemma. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings, pp. 131-151, 1991, Springer, 3-540-54415-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Luca Cardelli, Simone Martini 0001, John C. Mitchell, Andre Scedrov |
An Extension of System F with Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings, pp. 750-770, 1991, Springer, 3-540-54415-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | David Walker 0002 |
Pi-Calculus Semantics of Object-Oriented Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings, pp. 532-547, 1991, Springer, 3-540-54415-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Wesley Phoa |
From Term Models to Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings, pp. 88-111, 1991, Springer, 3-540-54415-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Ryu Hasegawa |
Parametricity of Extensionally Collapsed Term Models of Polymorphism and Their Categorical Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings, pp. 495-512, 1991, Springer, 3-540-54415-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Andreas V. Hense |
Wrapper Semantics of an Object-Oriented Programming Language with State. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings, pp. 548-568, 1991, Springer, 3-540-54415-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Masahiko Sato 0001 |
Adding Proof Objects and Inductive Definition Mechanisms to Frege Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings, pp. 53-87, 1991, Springer, 3-540-54415-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Hardi Hungar |
Complexity of Proving Program Correctness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings, pp. 459-474, 1991, Springer, 3-540-54415-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Shin-ya Nishizaki |
Programs with Continuations and Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings, pp. 513-531, 1991, Springer, 3-540-54415-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | David A. Basin, Douglas J. Howe |
Some Normalization Properties of Martin-Löf's Type Theory, and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings, pp. 475-494, 1991, Springer, 3-540-54415-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Carl A. Gunter, Elsa L. Gunter, David B. MacQueen |
An Abstract Interpretation for ML Equality Kinds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings, pp. 112-130, 1991, Springer, 3-540-54415-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Robert L. Constable |
Type Theory as a Foundation for Computer Science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings, pp. 226-243, 1991, Springer, 3-540-54415-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Dana S. Scott |
Will Logicians be Replaced by Machines? ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings, pp. 771, 1991, Springer, 3-540-54415-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | John C. Reynolds |
The Coherence of Languages with Intersection Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings, pp. 675-700, 1991, Springer, 3-540-54415-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Krzysztof R. Apt, Dino Pedreschi |
Proving Termination of General Prolog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings, pp. 265-289, 1991, Springer, 3-540-54415-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Paola Giannini, Simona Ronchi Della Rocca |
Type Inference in Polymorphic Type Discipline. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings, pp. 18-37, 1991, Springer, 3-540-54415-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Susumu Hayashi |
Singleton, Union and Intersection Types for Program Extraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings, pp. 701-730, 1991, Springer, 3-540-54415-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Moshe Rabinovich, Boris A. Trakhtenbrot |
On Nets, Algebras and Modularity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings, pp. 176-203, 1991, Springer, 3-540-54415-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Mark Ryan 0001, José Luiz Fiadeiro, T. S. E. Maibaum |
Sharing Actions and Attributes in Modal Action Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings, pp. 569-593, 1991, Springer, 3-540-54415-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | John C. Mitchell |
On Abstraction and the Expressive Power of Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings, pp. 290-310, 1991, Springer, 3-540-54415-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Bengt Jonsson 0001, Joost N. Kok |
Towards a Complete Hierarchy of Compositional Dataflow Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings, pp. 204-225, 1991, Springer, 3-540-54415-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | S. Arun-Kumar, Matthew Hennessy |
An Efficiency Preorder for Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings, pp. 152-175, 1991, Springer, 3-540-54415-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Masami Hagiya |
From Programming-by-Example to Proving-by-Example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings, pp. 387-419, 1991, Springer, 3-540-54415-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Martín Abadi, Michael Burrows, C. Kaufman, Butler W. Lampson |
Authentication and Delegation with Smart-cards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings, pp. 326-345, 1991, Springer, 3-540-54415-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Louis Lassez |
From LP to LP: Programming with Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings, pp. 420-446, 1991, Springer, 3-540-54415-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Makoto Tatsuta |
Monotone Recursive Definition of Predicates and Its Realizability Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings, pp. 38-52, 1991, Springer, 3-540-54415-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Kazuhiro Fuchi, Koichi Furukawa |
Role of Logic Programming in the FGCS Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings, pp. 311-325, 1991, Springer, 3-540-54415-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Sachio Hirokawa |
Principal Type-Schemes of BCI-Lambda-Terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings, pp. 633-650, 1991, Springer, 3-540-54415-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Franco Barbanera, Mariangiola Dezani-Ciancaglini |
Intersection and Union Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings, pp. 651-674, 1991, Springer, 3-540-54415-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Pierre-Louis Curien, Giorgio Ghelli |
Subtyping + Extensionality: Confluence of beta-eta-top reduction in F<=. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings, pp. 731-749, 1991, Springer, 3-540-54415-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Dieter Armbruster |
Polynomial Recursion Analysis in Pascal Like Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings, pp. 447-458, 1991, Springer, 3-540-54415-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Gordon D. Plotkin |
A Semantics for Type Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings, pp. 1-17, 1991, Springer, 3-540-54415-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Steffen |
Data Flow Analysis as Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings, pp. 346-365, 1991, Springer, 3-540-54415-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Amir Pnueli, M. Shalev |
What is in a Step: On the Semantics of Statecharts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings, pp. 244-264, 1991, Springer, 3-540-54415-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Treinen |
First Order Data Types and First Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings, pp. 594-614, 1991, Springer, 3-540-54415-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|