default search action
Science of Computer Programming, Volume 164
Volume 164, October 2018
- Oleg Kiselyov, Andy King:
Preface: Functional and Logic Programming (FLOPS 2016). 1-2 - Kazunori Ueda:
Logic/Constraint Programming and Concurrency: The hard-won lessons of the Fifth Generation Computer project. 3-17 - Akimasa Morihata:
Incremental computing with data structures. 18-36 - João Alpuim, Wouter Swierstra:
Embedding the refinement calculus in Coq. 37-48 - Jay A. McCarthy, Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler:
A Coq library for internal verification of running-times. 49-65 - Taus Brock-Nannestad:
Space-efficient acyclicity constraints: A declarative pearl. 66-81 - Jeremy Yallop, David Sheets, Anil Madhavapeddy:
A modular foreign function interface. 82-97 - Markus Triska:
Boolean constraints in SWI-Prolog: A comprehensive system description. 98-115
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.