default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDComputer Languages, Systems & Structures, Volume 35
Volume 35, Number 1, April 2009
- Serge Demeyer
, Jean-François Perrot:
Guest Editor Introduction. 1 - Damien Cassou, Stéphane Ducasse, Roel Wuyts:
Traits at work: The design of a new trait-based stream library. 2-20 - Lukas Renggli, Oscar Nierstrasz:
Transactional memory in a dynamic language. 21-30 - Charlotte Herzeel, Kris Gybels, Pascal Costanza, Coen De Roover, Theo D'Hondt:
Forward chaining in HALO: An implementation strategy for history-based logic pointcuts. 31-47 - Niklaus Haldiman, Marcus Denker, Oscar Nierstrasz:
Practical, pluggable types for a dynamic language. 48-62 - Adrian Lienhard, Stéphane Ducasse, Tudor Gîrba:
Taking an object-centric view on dynamic information with object flow analysis. 63-79 - Tom Van Cutsem, Stijn Mostinckx, Wolfgang De Meuter:
Linguistic symbiosis between event loop actors and threads. 80-98
Volume 35, Number 2, July 2009
- Francesco Logozzo:
Class invariants as abstract interpretation of trace semantics. 100-142 - Agostino Dovier, Elisa Quintarelli:
Applying model-checking to solve queries on semistructured data. 143-172 - Masataka Sassa, Yo Ito, Masaki Kohama:
Comparison and evaluation of back-translation algorithms for static single assignment forms. 173-195 - Christos Pavlatos, Alexandros C. Dimopoulos, Andrew Koulouris, Theodore Andronikos, Ioannis Panagopoulos, George K. Papakonstantinou:
Efficient reconfigurable embedded parsers. 196-215
Volume 35, Number 3, October 2009
- Stergios Papadimitriou, Constantinos Terzidis:
jLab: Integrating a scripting interpreter with Java technology for flexible and efficient scientific computation. 217-240 - Saso Greiner, Janez Brest, Viljem Zumer:
Zero - a blend of static typing and dynamic metaprogramming. 241-251 - Hai-Feng Guo, Gopal Gupta:
Dynamic reordering of alternatives for definite logic programs. 252-265 - Stefan Schäckeler, Weijia Shang:
Optimizing the stack size of recursive functions. 266-276 - Roman Gumzej, Matjaz Colnaric, Wolfgang A. Halang:
Safety shell for specification-PEARL oriented UML real-time projects. 277-292 - Hiu Ning (Angela) Chan, Andrew J. Gallagher, Appu S. Goundan, Yi Lin William Au Yeung, Aaron W. Keen, Ronald A. Olsson:
Generic operations and capabilities in the JR concurrent programming language. 293-305 - Bard Bloom, Paul T. Keyser, Ian Simmonds, Mark N. Wegman:
Ferret: Programming language support for multiple dynamic classification. 306-321 - Adenilso da Silva Simão, José Carlos Maldonado, Roberto da Silva Bigonha:
A transformational language for mutant description. 322-339
Volume 35, Number 4, December 2009
- R. Daniel Resler, Victor L. Winter:
A higher-order strategy for eliminating common subexpressions. 341-364 - Hanne Riis Nielson, Flemming Nielson:
A monotone framework for CCS. 365-394 - Ana M. Roldán, Ernesto Pimentel, Antonio Brogi:
Software composition with Linda. 395-405 - Zhijie Li, Chun-Tian Cheng, Feixue Huang:
Utility-driven solution for optimal resource allocation in computational grid. 406-421 - Guija Choe, Young-Kwang Nam, Joseph A. Goguen, Guilian Wang:
Query generation for retrieving data from distributed semistructured documents using a metadata interface. 422-434 - José de Oliveira Guimarães:
The Green language type system. 435-447 - Marcelo Gabriel Armentano, Analía Amandi:
A framework for attaching personal assistants to existing applications. 448-463
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-09 23:27 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
