default search action
Science of Computer Programming, Volume 155
Volume 155, April 2018
- Germán Vidal:
Preface for SCP special issue on Principles and Practice of Declarative Programming. 1-2 - Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo:
Some trade-offs in reducing the overhead of assertion run-time checks via static analysis. 3-26 - Nick Benton, Martin Hofmann, Vivek Nigam:
Effect-dependent transformations for concurrent programs. 27-51 - Dimitrios Kouzapas, Ornela Dardha, Roly Perera, Simon J. Gay:
Typechecking protocols with Mungo and StMungo: A session type toolchain for Java. 52-75 - Takahiro Nagao, Naoki Nishida:
Rewriting induction for constrained inequalities. 76-102 - Stefan Fehrenbach, James Cheney:
Language-integrated provenance. 103-145 - Sylvia Grewe, Sebastian Erdweg, André Pacak, Michael Raulf, Mira Mezini:
Exploration of language specifications by compilation to first-order logic. 146-172 - Angelos Charalambidis, Panos Rondogiannis, Antonis Troumpoukis:
Higher-order logic programming: An expressive language for representing qualitative preferences. 173-197
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.