Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Dominique Bolignano, Mourad Debbabi |
A Semantic Theory for Concurrent ML. |
TACS |
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 |
TACS |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Max I. Kanovich |
Efficient Program Synthesis: Semantics, Logic, Complexity. |
TACS |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Phil Pfeiffer, Rebecca Parsons Selke |
On the Adequacy of Dependence-Based Representations for Programs with Heaps. |
TACS |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Trevor Jim, Albert R. Meyer |
Full Abstraction and the Context Lemma. |
TACS |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Luca Cardelli, Simone Martini 0001, John C. Mitchell, Andre Scedrov |
An Extension of System F with Subtyping. |
TACS |
1991 |
DBLP DOI BibTeX RDF |
|
1 | David Walker 0002 |
Pi-Calculus Semantics of Object-Oriented Programming Languages. |
TACS |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Wesley Phoa |
From Term Models to Domains. |
TACS |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Ryu Hasegawa |
Parametricity of Extensionally Collapsed Term Models of Polymorphism and Their Categorical Properties. |
TACS |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Andreas V. Hense |
Wrapper Semantics of an Object-Oriented Programming Language with State. |
TACS |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Masahiko Sato 0001 |
Adding Proof Objects and Inductive Definition Mechanisms to Frege Structures. |
TACS |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Hardi Hungar |
Complexity of Proving Program Correctness. |
TACS |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Shin-ya Nishizaki |
Programs with Continuations and Linear Logic. |
TACS |
1991 |
DBLP DOI BibTeX RDF |
|
1 | David A. Basin, Douglas J. Howe |
Some Normalization Properties of Martin-Löf's Type Theory, and Applications. |
TACS |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Carl A. Gunter, Elsa L. Gunter, David B. MacQueen |
An Abstract Interpretation for ML Equality Kinds. |
TACS |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Robert L. Constable |
Type Theory as a Foundation for Computer Science. |
TACS |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Dana S. Scott |
Will Logicians be Replaced by Machines? |
TACS |
1991 |
DBLP DOI BibTeX RDF |
|
1 | John C. Reynolds |
The Coherence of Languages with Intersection Types. |
TACS |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Krzysztof R. Apt, Dino Pedreschi |
Proving Termination of General Prolog Programs. |
TACS |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Paola Giannini, Simona Ronchi Della Rocca |
Type Inference in Polymorphic Type Discipline. |
TACS |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Susumu Hayashi |
Singleton, Union and Intersection Types for Program Extraction. |
TACS |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Moshe Rabinovich, Boris A. Trakhtenbrot |
On Nets, Algebras and Modularity. |
TACS |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Mark Ryan 0001, José Luiz Fiadeiro, T. S. E. Maibaum |
Sharing Actions and Attributes in Modal Action Logic. |
TACS |
1991 |
DBLP DOI BibTeX RDF |
|
1 | John C. Mitchell |
On Abstraction and the Expressive Power of Programming Languages. |
TACS |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Bengt Jonsson 0001, Joost N. Kok |
Towards a Complete Hierarchy of Compositional Dataflow Models. |
TACS |
1991 |
DBLP DOI BibTeX RDF |
|
1 | S. Arun-Kumar, Matthew Hennessy |
An Efficiency Preorder for Processes. |
TACS |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Masami Hagiya |
From Programming-by-Example to Proving-by-Example. |
TACS |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Martín Abadi, Michael Burrows, C. Kaufman, Butler W. Lampson |
Authentication and Delegation with Smart-cards. |
TACS |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Louis Lassez |
From LP to LP: Programming with Constraints. |
TACS |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Makoto Tatsuta |
Monotone Recursive Definition of Predicates and Its Realizability Interpretation. |
TACS |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Kazuhiro Fuchi, Koichi Furukawa |
Role of Logic Programming in the FGCS Project. |
TACS |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Sachio Hirokawa |
Principal Type-Schemes of BCI-Lambda-Terms. |
TACS |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Franco Barbanera, Mariangiola Dezani-Ciancaglini |
Intersection and Union Types. |
TACS |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Pierre-Louis Curien, Giorgio Ghelli |
Subtyping + Extensionality: Confluence of beta-eta-top reduction in F<=. |
TACS |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Dieter Armbruster |
Polynomial Recursion Analysis in Pascal Like Programs. |
TACS |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Gordon D. Plotkin |
A Semantics for Type Checking. |
TACS |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Steffen |
Data Flow Analysis as Model Checking. |
TACS |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Amir Pnueli, M. Shalev |
What is in a Step: On the Semantics of Statecharts. |
TACS |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Treinen |
First Order Data Types and First Order Logic. |
TACS |
1991 |
DBLP DOI BibTeX RDF |
|