Search for Author All Reviews
	Jagannathan, Suresh     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 4 of 4 reviews       Proof-directed parallelization synthesis by separation logic Botinčan M., Dodds M., Jagannathan S. ACM Transactions on Programming Languages and Systems 35(2): 1-60, 2013.  Type: Article The parallelization of sequential programs is a tedious and error-prone task; the incorrect use of synchronization primitives may yield a program that produces different results than the original code, or even different results in diff...... Sep 27 2013     Polymorphic splitting: an effective polyvariant flow analysis Wright A., Jagannathan S. ACM Transactions on Programming Languages and Systems 20(1): 166-207, 1998.  Type: Article A program analysis technique for eager (that is, call-by-value) functional languages such as Scheme and ML is presented. The technique can compute control flow and data flow for eager functional programs. Data obtained from the analysi...... Nov 1 1998     Higher-order distributed objects Cejtin H., Jagannathan S., Kelsey R. ACM Transactions on Programming Languages and Systems 17(5): 704-739, 1995.  Type: Article A distributed dialect of Scheme, itself a dialect of LISP, is described. The paper extends the language for distributed computing. The extensions are based on two concepts: address spaces and proxies. The extensions are kept simple and...... Jan 1 1997     Programming linguistics Gelernter D. (ed), Jagannathan S., MIT Press, Cambridge, MA, 1990.  Type: Book (9789780262071277) “Programming linguistics studies the design of programming languages and the relationships among them. Its particular goal is to discover the patterns, the relationships and the common antecedents that can make a compl...... May 1 1992
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy