Functional and logic programming : 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016. Proceedings /: 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016. Proceedings. (2016)
- Record Type:
- Book
- Title:
- Functional and logic programming : 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016. Proceedings /: 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016. Proceedings. (2016)
- Main Title:
- Functional and logic programming : 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016. Proceedings
- Other Titles:
- FLOPS 2016
- Further Information:
- Note: Oleg Kiselyov, Andy King (eds.).
- Editors:
- Kiselyov, Oleg
King, Andrew Malcolm - Other Names:
- Fuji International Symposium on Functional and Logic Programming, 13th
- Contents:
- Logic/Constraint Programming and Concurrency: The Hard-Won Lessons of the Fifth Generation Computer Project -- From Sets to Bits in Coq -- From proposition to program: embedding the refinement calculus in Coq -- The Boolean Constraint Solver of SWI-Prolog: System Description -- Probabilistic inference by program transformation in Hakaru: System description -- An interaction net encoding of Godel's System T -- Space-efficient Planar Acyclicity Constraints: A Declarative Pearl -- Executable Relational Specifications of Polymorphic Type Systems using Prolog -- Proof Relevant Corecursive Resolution -- A Coq Library For Internal Verification of Running-Times -- A Transformational Approach to Parametric Accumulated-cost Static Profiling -- Polymorphic Types in Erlang Function Specifications -- Declarative foreign function binding through generic programming -- Declarative Programming with Algebra.
- Publisher Details:
- Switzerland : Springer
- Publication Date:
- 2016
- Extent:
- 1 online resource (xii, 253 pages)
- Subjects:
- 005.1/1
Computer science
Functional programming (Computer science) -- Congresses
Logic programming -- Congresses
Functional programming (Computer science)
Logic programming
Computers -- Programming -- General
Computers -- Programming Languages -- General
Mathematics -- Logic
Computers -- Intelligence (AI) & Semantics
Computer programming / software development
Programming & scripting languages: general
Mathematical theory of computation
Artificial intelligence
Software engineering
Logic design
Artificial intelligence
Computers -- Software Development & Engineering -- General
Software Engineering
Electronic books
Conference papers and proceedings - Languages:
- English
- ISBNs:
- 9783319296043
3319296043 - Related ISBNs:
- 983319296036
- Notes:
- Note: Includes bibliographical references and author index.
- Access Rights:
- Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
- Access Usage:
- Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.355570
- Ingest File:
- 01_315.xml