Resource control of objectoriented programs
 Publisher: HAL CCSD

Subject: Computer Science  Programming Languages  [ INFO.INFOCC ] Computer Science [cs]/Computational Complexity [cs.CC]  Computer Science  Logic in Computer Science  F.2  ACM : F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY

References
(14)
14 references, page 1 of 2
 1
 2
[1] R. Amadio, S. CoupetGrimal, S. DalZilio, and L. Jakubiec. A functional scenario for bytecode veri cation of resource bounds. In CSL, volume 3210 of LNCS, pages 265{279. Springer, 2004.
[2] R. Amadio and S. DalZilio. Resource control for synchronous cooperative threads. In Concur, pages 68{82, 2004.
[3] T. Arts and J. Giesl. Termination of term rewriting using dependency pairs. Theoretical Computer Science, 236:133{178, 2000.
[4] M. Blum. A machineindependent theory of the complexity of recursive functions. Journal of the Association for Computing Machinery, 14:322{336, 1967.
[5] G. Bonfante, J.Y. Marion, and J.Y. Moyen. Quasiinterpretation a way to control resources. Submitted to Theoretical Computer Science, 2005.
[6] G. Bonfante, J.Y. Marion, and R. Pechoux. A characterization of alternating log time by rst order functional programs. In LPAR 2006, volume 4246 of LNAI, pages 90{104, 2006.
[7] S. DalZilio and R. Gascon. Resource bound certi cation for a tailrecursive virtual machine. In APLAS 2005, volume 3780 of LNCS, pages 247{263. SpringerVerlag, 2005.
[8] S. Drossopoulou and S. Eisenbach. Describing the semantics of Java and proving type soundness. Formal Syntax and Semantics of Java, pages 41{82, 1999.
[9] A. Igarashi, B.C. Pierce, and P. Wadler. Featherweight Java: A Minimal Core Calculus for Java and GJ. ACM Transactions on Programming Languages and Systems, 23(3):396{450, 2001.
[10] L. Kristiansen and N.D. Jones. The ow of data and the complexity of algorithms. New Computational Paradigms, 3526:263{274.

Similar Research Results
(6)

Metrics
No metrics available

 Download from

INRIA a CCSD electronic archive server via INRIA a CCSD electronic archive server (Conference object, 2007)


Cite this publication