Proceedings of the International Conference on Theoretical Aspects of Computer Software

TACS '94: Proceedings of the International Conference on Theoretical Aspects of Computer Software

April 1994

1994 Proceeding

Editors:
Masami Hagiya,
John C. Mitchell

Publisher:

Springer-Verlag
Berlin, Heidelberg

Conference:

April 19 - 22, 1994

ISBN:

978-3-540-57887-1

Published:

19 April 1994

Save to BinderBinder

Save to Binder

Create a New Binder

Name

Export CitationCitation

Share on

Bibliometrics

Citation count

236

Downloads (6 weeks)

Downloads (12 months)

Downloads (cumulative)

Sections

TACS '94: Proceedings of the International Conference on Theoretical Aspects of Computer Software

1994

Previous Next

Abstract

No abstract available.

Select All

Export Citations Save to Binder

Article

Full Abstraction for PCF

Samson Abramsky,
Pasquale Malacaria,
Radha Jagadeesan

pp 1–15

- 19
Metrics
Total Citations19

Article

Fully Abstract Semantics for Concurrent Lambda-calculus

Mariangiola Dezani-Ciancaglini,
Ugo de'Liguoro,
Adolfo Piperno

pp 16–35

- 2
Metrics
Total Citations2

Article

An Operational Approach to Combining Classical Set Theory and Functional Programming Languages

Douglas J. Howe,
Scott D. Stoller

pp 36–55

- 0
Metrics
Total Citations0

Article

ML Typing, Explicit Polymorphism and Qualified Types

Mark P. Jones

pp 56–75

- 1
Metrics
Total Citations1

Article

Extensions to Type Systems Can Preserve Operational Equivalences

Jon G. Riecke,
Ramesh Subrahmanyam

pp 76–95

- 1
Metrics
Total Citations1

Article

Constraint Programming and Database Query Languages

Paris C. Kanellakis,
Dina Q. Goldin

pp 96–120

- 21
Metrics
Total Citations21

Article

Intuitionistic Resolution for a Logic Programming Language with Scoping Constructs

Alain Hui Bon Hoa

pp 121–140

- 0
Metrics
Total Citations0

Article

Proof by Pointing

Yves Bertot,
Gilles Kahn,
Laurent Théry

pp 141–160

- 5
Metrics
Total Citations5

Article

A Computer-Checked Verification of Milner's Scheduler

Henri Korver,
Jan Springintveld

pp 161–178

- 2
Metrics
Total Citations2

Article

A Purely Functional Language with Encapsulated Assignment

Masahiko Sato

pp 179–202

- 0
Metrics
Total Citations0

Article

Simple Termination of Hierarchical Combinations of Term Rewriting Systems

M. R. K. Krishna Rao

pp 203–223

- 2
Metrics
Total Citations2

Article

Separate Abstract Interpretation for Control-Flow Analysis

Yan Mei Tang,
Pierre Jouvelot

pp 224–243

- 10
Metrics
Total Citations10

Article

Extensible Denotational Language Specifications

Robert Cartwright,
Matthias Felleisen

pp 244–272

- 20
Metrics
Total Citations20

Article

A Normalizing Calculus with Overloading and Subtyping

Hideki Tsuiki

pp 273–295

- 1
Metrics
Total Citations1

Article

A Theory of Primitive Objects - Untyped and First-Order Systems

Martín Abadi,
Luca Cardelli

pp 296–320

- 12
Metrics
Total Citations12

Article

Programming Objects with ML-ART, an Extension to ML with Abstract and Record Types

Didier Rémy

pp 321–346

- 32
Metrics
Total Citations32

Article

A Type System for a Lambda Calculus with Assignments

Kung Chen,
Martin Odersky

pp 347–364

- 4
Metrics
Total Citations4

Article

Theory and Practice of Concurrent Object-Oriented Computing

Akinori Yonezawa

pp 365

- 0
Metrics
Total Citations0

Article

The Family Relation in Interaction Systems

Andrea Asperti,
Cosimo Laneve

pp 366–384

- 0
Metrics
Total Citations0

Article

On Syntactic and Semantic Action Refinement

Ursula Goltz,
Roberto Gorrieri,
Arend Rensink

pp 385–404

- 0
Metrics
Total Citations0

Article

Locality and True-concurrency in Calculi for Mobile Processes

Davide Sangiorgi

pp 405–424

- 11
Metrics
Total Citations11

Article

Term Rewriting Properties of SOS Axiomatisations

D. J. B. Bosscher

pp 425–439

- 2
Metrics
Total Citations2

Article

The Tyft/Tyxt Format Reduces to Tree Rules

Wan Fokkink

pp 440–453

- 3
Metrics
Total Citations3

Article

Undecidable Equivalences for Basic Parallel Processes

Hans Hüttel

pp 454–464

- 10
Metrics
Total Citations10

Article

Normal Proofs and Their Grammar

Masako Takahashi,
Yohji Akama,
Sachio Hirokawa

pp 465–493

- 0
Metrics
Total Citations0

Article

A Symmetric Lambda Calculus for "Classical" Program Extraction

Franco Barbanera,
Stefano Berardi

pp 495–515

- 9
Metrics
Total Citations9

Article

The LambdaDelta-calculus

Jakob Rehof,
Morten Heine Sørensen

pp 516–542

- 6
Metrics
Total Citations6

Article

Syntactic Definitions of Undefined: On Defining the Undefined

Zena M. Ariola,
Richard Kennaway,
Jan Willem Kop,
M. Ronan Sleep,
Fer-Jan de Vries

pp 543–554

- 1
Metrics
Total Citations1

Article

Discovering Needed Reductions Using Type Theory

Philippa Gardner

pp 555–574

- 4
Metrics
Total Citations4

Article

Nontraditional Applications of Automata Theory

Moshe Y. Vardi

pp 575–597

- 17
Metrics
Total Citations17

Cited By

Gil J Subtyping arithmetical types Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (276-289)
Gil J (2001). Subtyping arithmetical types, ACM SIGPLAN Notices, 36:3, (276-289), Online publication date: 1-Mar-2001.

Save to Binder

Create a New Binder

Name

Contributors

Masami Hagiya
The University of Tokyo
- Publication Years1984 - 2020
- Publication counts94
- Citation count207
- Available for Download13
- Downloads (cumulative)2,523
- Downloads (12 months)223
- Downloads (6 weeks)20
- Average Downloads per Article194
- Average Citation per Article2
View Full Profile
John C. Mitchell
Stanford University
- Publication Years1982 - 2024
- Publication counts200
- Citation count7,556
- Available for Download73
- Downloads (cumulative)62,064
- Downloads (12 months)4,696
- Downloads (6 weeks)632
- Average Downloads per Article850
- Average Citation per Article38
View Full Profile

Recommendations

TADDS '12: Proceedings of the 4th International Workshop on Theoretical Aspects of Dynamic Distributed Systems
Read More
UbiMob '05: Proceedings of the 2nd French-speaking conference on Mobility and ubiquity computing
Read More
UbiMob '08: Proceedings of the 4th French-speaking conference on Mobility and ubiquity computing
Read More

Comments

Export Citations

Select Citation format

Please download or close your previous search result export first before starting a new bulk export.
Preview is not available.
By clicking download,a status dialog will open to start the export process. The process may takea few minutes but once it finishes a file will be downloadable from your browser. You may continue to browse the DL while the export process is in progress.
Download
- Download citation
- Copy citation

Save to Binder

Sections

Cited By

Save to Binder

Recommendations

TADDS '12: Proceedings of the 4th International Workshop on Theoretical Aspects of Dynamic Distributed Systems

UbiMob '05: Proceedings of the 2nd French-speaking conference on Mobility and ubiquity computing

UbiMob '08: Proceedings of the 4th French-speaking conference on Mobility and ubiquity computing