A type system for JVM threads

Author： Laneve C.  

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.290, Iss.1, 2003-01, pp. : 741-778

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Managing the Overall Balance of Operating System Threads on a Multiprocessor Using Automatic Self-Allocating Threads (ASAT)

By Severance C.   Enbody R.   Petersen P.  

Journal of Parallel and Distributed Computing, Vol. 37, Iss. 1, 1996-08 ,pp. : 106-112

Academic Press

Access to resources Recommend Favorite

Completeness of a Bytecode Verifier and a Certifying Java-to-JVM Compiler

By Stärk Robert   Schmid Joachim  

Journal of Automated Reasoning, Vol. 30, Iss. 3-4, 2003-05 ,pp. : 323-361

Springer Publishing Company

Access to resources Recommend Favorite

Implementing dataflow with threads

By Lamport Leslie  

Distributed Computing, Vol. 21, Iss. 3, 2008-09 ,pp. : 163-181

Springer Publishing Company

Access to resources Recommend Favorite

Threads Yield Continuations

By Kumar S.  

LISP and Symbolic Computation, Vol. 10, Iss. 3, 1998-05 ,pp. : 223-236

Springer Publishing Company

Access to resources Recommend Favorite

Decision problems for pushdown threads

By Bergstra Jan   Bethke Inge   Ponse Alban  

Acta Informatica, Vol. 44, Iss. 2, 2007-05 ,pp. : 75-90

Springer Publishing Company

Access to resources Recommend Favorite