Author: B. Robinet
Publisher:
ISBN: 9783662183281
Category :
Languages : en
Pages : 360
Book Description
International Symposium on Programming
Author: B. Robinet
Publisher:
ISBN: 9783662183281
Category :
Languages : en
Pages : 360
Book Description
Publisher:
ISBN: 9783662183281
Category :
Languages : en
Pages : 360
Book Description
International symposium on programming
International Symposium on Programming
Author: M. Paul
Publisher:
ISBN: 9783662173213
Category :
Languages : en
Pages : 272
Book Description
Publisher:
ISBN: 9783662173213
Category :
Languages : en
Pages : 272
Book Description
Trends in Functional Programming
Author: Viktória Zsók
Publisher: Springer Nature
ISBN: 3030839788
Category : Computers
Languages : en
Pages : 137
Book Description
This book constitutes revised selected papers from the 22nd International Symposium on Trends in Functional Programming, TFP 2021, which was held virtually in February 2020. The 6 full papers presented in this volume were carefully reviewed and selected from 18 submissions. They were organized in topical sections about nested parallelism, semantics, task-oriented programming and modelling, translating, proving functional programs. Chapter ‘Dataset Sensitive Autotuning of Multi-Versioned Code based on Monotonic Properties’ is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. Chapter ‘High-level Modelling for Typed Functional Programming’ is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Publisher: Springer Nature
ISBN: 3030839788
Category : Computers
Languages : en
Pages : 137
Book Description
This book constitutes revised selected papers from the 22nd International Symposium on Trends in Functional Programming, TFP 2021, which was held virtually in February 2020. The 6 full papers presented in this volume were carefully reviewed and selected from 18 submissions. They were organized in topical sections about nested parallelism, semantics, task-oriented programming and modelling, translating, proving functional programs. Chapter ‘Dataset Sensitive Autotuning of Multi-Versioned Code based on Monotonic Properties’ is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. Chapter ‘High-level Modelling for Typed Functional Programming’ is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
International Symposium on Programming
Author: Mariangiola Dezani-Ciancaglini
Publisher: Springer
ISBN:
Category : Computer programming
Languages : en
Pages : 422
Book Description
Publisher: Springer
ISBN:
Category : Computer programming
Languages : en
Pages : 422
Book Description
2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!)
Author: Gail C. Murphy
Publisher:
ISBN: 9781450336888
Category : Computer science
Languages : en
Pages :
Book Description
SPLASH '15: Conference on Systems, Programming, Languages, and Applications: Software for Humanity Oct 25, 2015-Oct 30, 2015 Pittsburgh, USA. You can view more information about this proceeding and all of ACM�s other published conference proceedings from the ACM Digital Library: http://www.acm.org/dl.
Publisher:
ISBN: 9781450336888
Category : Computer science
Languages : en
Pages :
Book Description
SPLASH '15: Conference on Systems, Programming, Languages, and Applications: Software for Humanity Oct 25, 2015-Oct 30, 2015 Pittsburgh, USA. You can view more information about this proceeding and all of ACM�s other published conference proceedings from the ACM Digital Library: http://www.acm.org/dl.
Functional and Logic Programming
Author: Jeremy Gibbons
Publisher: Springer Nature
ISBN: 9819723000
Category :
Languages : en
Pages : 336
Book Description
Publisher: Springer Nature
ISBN: 9819723000
Category :
Languages : en
Pages : 336
Book Description
Programming Language Implementation and Logic Programming
Author: Jan Małuszyński
Publisher: Springer Science & Business Media
ISBN: 9783540544449
Category : Computers
Languages : en
Pages : 452
Book Description
This volume contains the papers which have been accepted for presentation atthe Third International Symposium on Programming Language Implementation andLogic Programming (PLILP '91) held in Passau, Germany, August 26-28, 1991. The aim of the symposium was to explore new declarative concepts, methods and techniques relevant for the implementation of all kinds of programming languages, whether algorithmic or declarative ones. The intention was to gather researchers from the fields of algorithmic programming languages as well as logic, functional and object-oriented programming. This volume contains the two invited talks given at the symposium by H. Ait-Kaci and D.B. MacQueen, 32 selected papers, and abstracts of several system demonstrations. The proceedings of PLILP '88 and PLILP '90 are available as Lecture Notes in Computer Science Volumes 348 and 456.
Publisher: Springer Science & Business Media
ISBN: 9783540544449
Category : Computers
Languages : en
Pages : 452
Book Description
This volume contains the papers which have been accepted for presentation atthe Third International Symposium on Programming Language Implementation andLogic Programming (PLILP '91) held in Passau, Germany, August 26-28, 1991. The aim of the symposium was to explore new declarative concepts, methods and techniques relevant for the implementation of all kinds of programming languages, whether algorithmic or declarative ones. The intention was to gather researchers from the fields of algorithmic programming languages as well as logic, functional and object-oriented programming. This volume contains the two invited talks given at the symposium by H. Ait-Kaci and D.B. MacQueen, 32 selected papers, and abstracts of several system demonstrations. The proceedings of PLILP '88 and PLILP '90 are available as Lecture Notes in Computer Science Volumes 348 and 456.
... International Symposium on Logic Programming
Author: International Symposium on Logic Programming
Publisher:
ISBN:
Category :
Languages : en
Pages : 311
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 311
Book Description
International Symposium on Theoretical Programming
Author: Andreĭ Petrovich Ershov
Publisher: Springer
ISBN:
Category : Computers
Languages : en
Pages : 428
Book Description
Publisher: Springer
ISBN:
Category : Computers
Languages : en
Pages : 428
Book Description