Volume II: Parallel Languages on PARLE: Parallel Architectures and Languages Europe
A syntactic theory of sequential state
Theoretical Computer Science
Optimal derivations in weak lambda-calculi and in orthogonal term rewriting systems
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An abstract frame work for environment machines
Theoretical Computer Science
Handbook of theoretical computer science (vol. B)
A call-by-need lambda calculus
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Properties of a first-order functional language with sharing
Theoretical Computer Science
Equational term graph rewriting
Fundamenta Informaticae - Special issue on graph transformations
Term rewriting and all that
A lambda calculus of objects with self-inflicted extension
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Matching for the lambda calculus of objects
Theoretical Computer Science - Special issue: Gentzen
Handbook of graph grammars and computing by graph transformation
Abstract machines for programming language implementation
Future Generation Computer Systems
Implementing conditional term rewriting by graph rewriting
Theoretical Computer Science
Featherweight Java: a minimal core calculus for Java and GJ
ACM Transactions on Programming Languages and Systems (TOPLAS)
Logic for Problem Solving
A Theory of Objects
The Definition of Standard ML
Functional Programming and Parallel Graph Rewriting
Functional Programming and Parallel Graph Rewriting
The Definition of Standard ML
A lambda calculus of objects and method specialization
Nordic Journal of Computing
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
Modeling Sharing and Recursion for Weak Reduction Strategies Using Explicit Substitution
PLILP '96 Proceedings of the 8th International Symposium on Programming Languages: Implementations, Logics, and Programs
A Delegation-based Object Calculus with Subtying
FCT '95 Proceedings of the 10th International Symposium on Fundamentals of Computation Theory
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics
Electronic Notes in Theoretical Computer Science (ENTCS)
Term-graph Rewriting in Tom Using Relative Positions
Electronic Notes in Theoretical Computer Science (ENTCS)
Term-Graph Rewriting Via Explicit Paths
RTA '08 Proceedings of the 19th international conference on Rewriting Techniques and Applications
Hi-index | 0.00 |
We present a formalism called addressed term rewriting systems, which can be used to model implementations of theorem proving, symbolic computation and programming languages, especially aspects of sharing, recursive computations and cyclic data structures. Addressed Term Rewriting Systems are therefore well suited to describing object-based languages, and as an example we present a language called $\lambda{\cal O}bj^{a}$, incorporating both functional and object-based features. As a case study in how reasoning about languages is supported in the ATRS formalism, we define a type system for $\lambda{\cal O}bj^{a}$ and prove a type soundness result.