The SCEAS System
Navigation Menu

Conferences in DBLP

Theoretical Aspects of Computer Software (TACS) (tacs)
1994 (conf/tacs/1994)

  1. Samson Abramsky, Pasquale Malacaria, Radha Jagadeesan
    Full Abstraction for PCF. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:1-15 [Conf]
  2. Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno
    Fully Abstract Semantics for Concurrent Lambda-calculus. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:16-35 [Conf]
  3. Douglas J. Howe, Scott D. Stoller
    An Operational Approach to Combining Classical Set Theory and Functional Programming Languages. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:36-55 [Conf]
  4. Mark P. Jones
    ML Typing, Explicit Polymorphism and Qualified Types. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:56-75 [Conf]
  5. Jon G. Riecke, Ramesh Subrahmanyam
    Extensions to Type Systems Can Preserve Operational Equivalences. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:76-95 [Conf]
  6. Paris C. Kanellakis, Dina Q. Goldin
    Constraint Programming and Database Query Languages. [Citation Graph (8, 0)][DBLP]
    TACS, 1994, pp:96-120 [Conf]
  7. Alain Hui-Bon-Hoa
    Intuitionistic Resolution for a Logic Programming Language with Scoping Constructs. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:121-140 [Conf]
  8. Yves Bertot, Gilles Kahn, Laurent Théry
    Proof by Pointing. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:141-160 [Conf]
  9. Henri Korver, Jan Springintveld
    A Computer-Checked Verification of Milner's Scheduler. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:161-178 [Conf]
  10. Masahiko Sato
    A Purely Functional Language with Encapsulated Assignment. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:179-202 [Conf]
  11. M. R. K. Krishna Rao
    Simple Termination of Hierarchical Combinations of Term Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:203-223 [Conf]
  12. Yan Mei Tang, Pierre Jouvelot
    Separate Abstract Interpretation for Control-Flow Analysis. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:224-243 [Conf]
  13. Robert Cartwright, Matthias Felleisen
    Extensible Denotational Language Specifications. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:244-272 [Conf]
  14. Hideki Tsuiki
    A Normalizing Calculus with Overloading and Subtyping. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:273-295 [Conf]
  15. Martín Abadi, Luca Cardelli
    A Theory of Primitive Objects - Untyped and First-Order Systems. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:296-320 [Conf]
  16. Didier Rémy
    Programming Objects with ML-ART, an Extension to ML with Abstract and Record Types. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:321-346 [Conf]
  17. Kung Chen, Martin Odersky
    A Type System for a Lambda Calculus with Assignments. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:347-364 [Conf]
  18. Akinori Yonezawa
    Theory and Practice of Concurrent Object-Oriented Computing. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:365- [Conf]
  19. Andrea Asperti, Cosimo Laneve
    The Family Relation in Interaction Systems. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:366-384 [Conf]
  20. Ursula Goltz, Roberto Gorrieri, Arend Rensink
    On Syntactic and Semantic Action Refinement. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:385-404 [Conf]
  21. Davide Sangiorgi
    Locality and True-concurrency in Calculi for Mobile Processes. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:405-424 [Conf]
  22. D. J. B. Bosscher
    Term Rewriting Properties of SOS Axiomatisations. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:425-439 [Conf]
  23. Wan Fokkink
    The Tyft/Tyxt Format Reduces to Tree Rules. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:440-453 [Conf]
  24. Hans Hüttel
    Undecidable Equivalences for Basic Parallel Processes. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:454-464 [Conf]
  25. Masako Takahashi, Yohji Akama, Sachio Hirokawa
    Normal Proofs and Their Grammar. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:465-493 [Conf]
  26. Franco Barbanera, Stefano Berardi
    A Symmetric Lambda Calculus for "Classical" Program Extraction. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:495-515 [Conf]
  27. Jakob Rehof, Morten Heine Sørensen
    The LambdaDelta-calculus. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:516-542 [Conf]
  28. Zena M. Ariola, Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries
    Syntactic Definitions of Undefined: On Defining the Undefined. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:543-554 [Conf]
  29. Philippa Gardner
    Discovering Needed Reductions Using Type Theory. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:555-574 [Conf]
  30. Moshe Y. Vardi
    Nontraditional Applications of Automata Theory. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:575-597 [Conf]
  31. Kim Ritter Wagner
    Abstract Pre-Orders. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:598-617 [Conf]
  32. Amitavo Islam, Wesley Phoa
    Categorical Models of Relational Databases I: Fibrational Formulation, Schema Integration. [Citation Graph (1, 0)][DBLP]
    TACS, 1994, pp:618-641 [Conf]
  33. Max I. Kanovich
    Petri Nets, Horn Programs, Linear Logic, and Vector Games. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:642-666 [Conf]
  34. Tatsurou Sekiguchi, Akinori Yonezawa
    A Complete Type Inference System for Subtyped Recursive Types. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:667-686 [Conf]
  35. Flemming M. Damm
    Subtyping with Union Types, Intersection Types and Recursive Types. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:687-706 [Conf]
  36. Ferruccio Damiani, Paola Giannini
    A Decidable Intersection Type System based on Relevance. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:707-725 [Conf]
  37. Zohar Manna, Amir Pnueli
    Temporal Verification Diagrams. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:726-765 [Conf]
  38. Dominique Bolignano, Mourad Debbabi
    A Semantic Theory for Concurrent ML. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:766-785 [Conf]
  39. Kohei Honda, Nobuko Yoshida
    Replication in Concurrent Combinators. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:786-805 [Conf]
  40. Adriano Peron, Andrea Maggiolo-Schettini
    Transitions as Interrupts: A New Semantics for Timed Statecharts. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:806-821 [Conf]
  41. Marcello M. Bonsangue, Joost N. Kok
    Relating Multifunctions and Predicate Transformers through Closure Operators. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:822-843 [Conf]
  42. Kathleen Fisher, John C. Mitchell
    Notes on Typed Object-Oriented Programming. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:844-885 [Conf]
  43. Albert R. Meyer
    Observing Truly Concurrent Processes. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:886- [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002