default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience of Computer Programming, Volume 111
Volumes 111, Part 1, November 2015
- Tom Schrijvers
:
Preface for SCP special issue on Principles and Practice of Declarative Programming. 1-2 - Edward Robbins, Jacob M. Howe, Andy King:
Theory propagation and reification. 3-22 - John T. O'Donnell:
Extensible sparse functional arrays with circuit parallelism. 23-50 - Manuel Montenegro, Ricardo Peña, Clara Segura:
Shape analysis in a functional language by using regular languages. 51-78 - Kazutaka Matsuda, Meng Wang:
"Bidirectionalization for free" for monomorphic transformations. 79-109 - Akihisa Yamada, Keiichirou Kusakari, Toshiki Sakabe:
A unified ordering for termination proving. 110-134 - Luis Fernando Pino, Filippo Bonchi, Frank D. Valencia:
Efficient algorithms for program equivalence for confluent concurrent constraint programming. 135-155 - Rafael Caballero, Peter J. Stuckey, Antonio Tenorio-Fornes:
Two type extensions for the constraint modeling language MiniZinc. 156-189 - Louis Mandel, Cédric Pasteur, Marc Pouzet:
Time refinement in a functional synchronous language. 190-211
Volumes 111, Part 2, November 2015
- Steve A. Schneider, Helen Treharne:
Special issue on Automated Verification of Critical Systems (AVoCS 2013). 213 - Brijesh Dongol, John Derrick:
Interval-based data refinement: A uniform approach to true concurrency in discrete and real-time systems. 214-247 - Georges Morbé, Christoph Scholl:
Fully symbolic TCTL model checking for complete and incomplete real-time systems. 248-276 - Zamira Daw, Rance Cleaveland:
Comparing model checkers for timed UML activity diagrams. 277-299 - Ben Smyth, Mark Dermot Ryan, Liqun Chen:
Formal analysis of privacy in Direct Anonymous Attestation schemes. 300-317 - Eman H. Alkhammash, Michael J. Butler, Asieh Salehi Fathabadi, Corina Cîrstea:
Building traceable Event-B models from requirements. 318-338 - Lucian M. Patcas, Mark Lawford, Tom Maibaum:
Implementability of requirements in the four-variable model. 339-362
Volumes 111, Part 3, November 2015
- Olha Shkaravska, Simona Ronchi Della Rocca, Marko C. J. D. van Eekelen:
Preface of the special issue on Foundational and Practical Aspects of Resource Analysis (FOPARA) 2009 & 2011. 363-364 - Daniele Canavese, Emanuele Cesena, Rachid Ouchary, Marco Pedicini, Luca Roversi:
Light combinators for finite fields arithmetic. 365-394 - Marco Gaboardi, Romain Péchoux:
On bounding space usage of streams using interpretation analysis. 395-425 - Manuel Montenegro, Ricardo Peña, Clara Segura:
Space consumption analysis by abstract interpretation: Inference of recursive functions. 426-457 - Manuel Montenegro, Ricardo Peña, Clara Segura:
Space consumption analysis by abstract interpretation: Reductivity properties. 458-482 - Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla:
A practical comparator of cost functions and its applications. 483-504 - Vítor Rodrigues, Benny Akesson, Mário Florido, Simão Melo de Sousa, João Pedro Pedroso, Pedro B. Vasconcelos:
Certifying execution time in multicores. 505-534
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-16 23:36 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:
