Oleg Kiselyov,
Andy King
Functional and Logic Programming
13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings
Paperback Engels 2016 9783319296036
Verwachte levertijd ongeveer 9 werkdagen
Samenvatting
This book
constitutes 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.
Specificaties
ISBN13:9783319296036
Taal:Engels
Bindwijze:paperback
Uitgever:Springer International Publishing
Hoofdrubriek:Programmeren, Computer en informatica
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Inhoudsopgave
<p>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.</p>
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.</p>
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan