Sciweavers

2370 search results - page 198 / 474
» On the Revival of Dynamic Languages
Sort
View
PLDI
2012
ACM
13 years 10 months ago
Speculative separation for privatization and reductions
Automatic parallelization is a promising strategy to improve application performance in the multicore era. However, common programming practices such as the reuse of data structur...
Nick P. Johnson, Hanjun Kim, Prakash Prabhu, Ayal ...
ECSQARU
2007
Springer
16 years 1 months ago
From DEL to EDL : Exploring the Power of Converse Events
Dynamic epistemic logic (DEL) as viewed by Baltag et col. and propositional dynamic logic (PDL) offer different semantics of events. On the one hand, DEL adds dynamics to epistem...
Guillaume Aucher, Andreas Herzig
FMCO
2007
Springer
103views Formal Methods» more  FMCO 2007»
16 years 1 months ago
Safety Guarantees from Explicit Resource Management
We present a language and a program analysis that certifies the safe use of flexible resource management idioms, in particular advance reservation or “block booking” of costl...
David Aspinall, Patrick Maier, Ian Stark
GPCE
2009
Springer
16 years 1 days ago
Advanced runtime adaptation for Java
Dynamic aspect-oriented programming (AOP) enables runtime adaptation of aspects, which is important for building sophisticated, aspect-based software engineering tools, such as ad...
Alex Villazón, Walter Binder, Danilo Ansalo...
INLG
2010
Springer
15 years 5 months ago
Towards an Extrinsic Evaluation of Referring Expressions in Situated Dialogs
In the field of referring expression generation, while in the static domain both intrinsic and extrinsic evaluations have been considered, extrinsic evaluation in the dynamic doma...
Philipp Spanger, Ryu Iida, Takenobu Tokunaga, Asuk...