Linear embedding for a quantitative comparison of language expressiveness

Electronic Notes in Theoretical Computer Science

Volumn 59, Issue 3, 2002, Pages 207-237

  Brogi, Antonio ^a   Di Pierro, Alessandra ^a   Wiklicky, Herbert ^b  

^a UNIVERSITY OF PISA   (Italy)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; CONCURRENT ENGINEERING; CONSTRAINT THEORY; EMBEDDED SYSTEMS; GRAPH THEORY; LINEAR PROGRAMMING; MATHEMATICAL OPERATORS; SEMANTICS; TURING MACHINES;

CONCURRENT LANGUAGES; LINEAR EMBEDDING; LINEAR OPERATORS; TRANSITION GRAPHS;

COMPUTATIONAL LINGUISTICS;

EID: 23844555591     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)00289-0     Document Type: Conference Paper

References (9)

1. Brogi, A. and J. Jacquet, On the expressiveness of Linda-like concurrent languages, Electronic Notes in Theoretical Computer Science 16 (1998), p. 22.
2. de Boer, F. S. and C. Palamidessi, Embedding as a tool for language comparison, Information and Computation 108 (1994), pp. 128-157.
3. Di Pierro, A. and H. Wiklicky, Linear structures for concurrency in probabilistic programming languages, in: Proceedings of MFCSIT00- First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, Cork, Ireland, Electronic Notes in Theoretical Computer Science 40 (2001).
4. Graham, R., D. Knuth and O. Patashnik, "Concrete Mathematics: A Foundation for Computer Science," Addison-Wesley, Reading, Massachusetts, 1989.
5. Greub, W. H., "Linear Algebra," Grundlehren der mathematischen Wissenschaften 97, Springer Verlag, New York, 1967, third edition.
6. Grimaldi, R. P., "Discrete and Combinatorial Mathematics - An Applied Introduction," Addison-Wesley, Reading, Massachusetts, 1999, forth edition.
7. Ito, K., editor, "Encyclopedic Dictonary of Mathematics," MIT Press, Cambridge, Massachusetts - London, England, 1987, second english edition.
8. Lind, D. and B. Marcus, "An Introduction to Symbolic Dynamics and Coding," Cambridge University Press, Cambridge - New York - Melbourne, 1995.
9. Shapiro, E., Embeddings among concurrent programming languages, in: W. R. Cleaveland, editor, Proceedings CONCUR 92, Stony Brook, NY, USA, Lecture Notes in Computer Science 630 (1992), pp. 486-503.