|
| Der Artikel wird am Ende des Bestellprozesses zum Download zur Verfügung gestellt. |
Functional and Logic Programming
13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings
Sofort lieferbar | Lieferzeit: Sofort lieferbar I
ISBN-13:
9783319296043
Veröffentl:
2016
Seiten:
253
Autor:
Oleg Kiselyov
Serie:
9613, Lecture Notes in Computer Science Theoretical Computer Science and General Issues
eBook Typ:
PDF
eBook Format:
EPUB
Kopierschutz:
1 - PDF Watermark
Sprache:
Englisch
Beschreibung:
This bookconstitutes the proceedings of the 13th International Symposium on Functional
and Logic Programming, FLOPS 2016, held in Kochi, Japan, in March 2016.
The 14 papers presented in this volume were carefully reviewed and selected
from 36 submissions. They cover the following topics: functional and logic
programming; program transformation and re-writing; and extracting programs
from proofs of their correctness.
and Logic Programming, FLOPS 2016, held in Kochi, Japan, in March 2016.
The 14 papers presented in this volume were carefully reviewed and selected
from 36 submissions. They cover the following topics: functional and logic
programming; program transformation and re-writing; and extracting programs
from proofs of their correctness.
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.
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.
Kunden Rezensionen
Mehr zum Thema
Folgen Sie uns auf:
