Functional and Logic Programming
Springer International Publishing (Verlag)
978-3-319-29603-6 (ISBN)
This bookconstitutes the proceedings of the 13th International Symposium on Functionaland Logic Programming, FLOPS 2016, held in Kochi, Japan, in March 2016.
The 14 papers presented in this volume were carefully reviewed and selectedfrom 36 submissions. They cover the following topics: functional and logicprogramming; program transformation and re-writing; and extracting programsfrom proofs of their correctness.
Logic/ConstraintProgramming and Concurrency: The Hard-Won Lessons of the Fifth GenerationComputer Project.- From Sets to Bits in Coq.- From proposition to program:embedding the refinement calculus in Coq.- The Boolean Constraint Solver ofSWI-Prolog: System Description.- Probabilistic inference by programtransformation in Hakaru: System description.- An interaction net encoding ofGodel's System T.- Space-efficient Planar Acyclicity Constraints: A DeclarativePearl.- Executable Relational Specifications of Polymorphic Type Systems usingProlog.- Proof Relevant Corecursive Resolution.- A Coq Library For InternalVerification of Running-Times.- A Transformational Approach to ParametricAccumulated-cost Static Profiling.- Polymorphic Types in Erlang FunctionSpecifications.- Declarative foreign function binding through genericprogramming.- Declarative Programming with Algebra.
Erscheinungsdatum | 08.10.2016 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science | Theoretical Computer Science and General Issues |
Zusatzinfo | XII, 253 p. 55 illus. in color. |
Verlagsort | Cham |
Sprache | englisch |
Maße | 155 x 235 mm |
Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
Schlagworte | Applications • Computer Science • concurrent programming languages • conference proceedings • constraint and logic languages • Decision Diagrams • Distributed Computing • Distributed Systems • formal methods • functional language • graphical user interfaces • Haskell • Informatics • Logic Programming • Model Checking • parametric polymorphism • program analysis • PROLOG • Research • Resolution • rewrite systems • Software engineering • Software Engineering / Softwareentwicklung • type inference • type system • Type Theory • unification |
ISBN-10 | 3-319-29603-5 / 3319296035 |
ISBN-13 | 978-3-319-29603-6 / 9783319296036 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich