Programming Languages

Authors and titles for June 2007

[1] arXiv:0706.0252 [pdf, other]

Title: Applying the Z-transform for the static analysis of floating-point numerical filters

David Monniaux (LIENS)

Subjects: Programming Languages (cs.PL); Numerical Analysis (math.NA)

[2] arXiv:0706.2073 [pdf, other]

Title: An Efficient OpenMP Runtime System for Hierarchical Arch

Samuel Thibault (INRIA Futurs), François Broquedis (INRIA Futurs), Brice Goglin (INRIA Futurs), Raymond Namyst (INRIA Futurs), Pierre-André Wacrenier (INRIA Futurs)

Journal-ref: Dans International Workshop on OpenMP (IWOMP) (2007)

Subjects: Programming Languages (cs.PL)

[3] arXiv:0706.2293 [pdf, other]

Title: Resource control of object-oriented programs

Jean-Yves Marion, Romain Pechoux

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[4] arXiv:0706.3159 [pdf, other]

Title: Une sémantique observationnelle du modèle des boîtes pour la résolution de programmes logiques (version étendue)

Pierre Deransart (INRIA Rocquencourt), Mireille Ducassé (IRISA), Gérard Ferrand (LIFO)

Comments: Project of research report used to produce the paper presented at JFPC 2007

Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)

[5] arXiv:0706.0523 (cross-list from cs.LO) [pdf, other]

Title: Interpolant-Based Transition Relation Approximation

Ranjit Jhala, Kenneth L. McMillan

Comments: Conference Version at CAV 2005. 17 Pages, 9 Figures

Journal-ref: Logical Methods in Computer Science, Volume 3, Issue 4 (November 1, 2007) lmcs:1152

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Software Engineering (cs.SE)