Coverart for item
The Resource Practical aspects of declarative languages : 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings, edited by Kostis Sagonas

Practical aspects of declarative languages : 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings, edited by Kostis Sagonas

Label
Practical aspects of declarative languages : 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings
Title
Practical aspects of declarative languages
Title remainder
15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings
Statement of responsibility
edited by Kostis Sagonas
Title variation
PADL 2013
Creator
Contributor
Subject
Genre
Language
eng
Summary
This book constitutes the refereed post-proceedings of the 15th International Symposium on Practical Aspects of Declarative Languages, PADL 2013, held in Rome, Italy, in January 2013, co-located with POPL 2013, the 40th Symposium on Principles of Programming Languages. The 17 revised papers presented were carefully reviewed and selected from 33 submissions. The volume features original work emphasizing new ideas and implementation techniques for all forms of declarative concepts, including functional, logic, and constraints
Member of
Dewey number
005.13
Illustrations
illustrations
Image bit depth
0
Index
no index present
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2013
http://bibfra.me/vocab/lite/meetingName
PADL 2013
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorName
Sagonas, Kostis,
Series statement
  • Lecture Notes in Computer Science,
  • LNCS sublibrary. SL 2, Programming and software engineering
Series volume
7752
http://library.link/vocab/subjectName
  • Declarative programming languages
  • Computer science
  • Software engineering
  • Logic design
  • Computer Science
  • Programming Languages, Compilers, Interpreters
  • Programming Techniques
  • Logics and Meanings of Programs
  • Software Engineering
Label
Practical aspects of declarative languages : 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings, edited by Kostis Sagonas
Instantiates
Publication
Note
International conference proceedings
Antecedent source
mixed
Color
not applicable
Contents
A Library for Declarative Resolution-Independent 2D Graphics -- Analysing the Entire Wikipedia History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through Linguistic Symbiosis -- A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction -- Supporting Pruning in Tabled LP -- A Portable and Efficient Implementation of Coinductive Logic Programming -- Formalizing a Broader Recursion Coverage in SQL -- A Declarative-Friendly API for Web Document Manipulation -- Implementing Equational Constraints in a Functional Language -- On the Efficient Implementation of Mode-Directed Tabling -- The Generalized Intensional Transformation for Implementing Lazy Functional Languages -- Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs -- Integrative Functional Statistics in Logic Programming -- Reversible Language Extensions and Their Application in Debugging -- proSQLite: Prolog File Based Databases via an SQLite Interface -- Dependently Typed Web Client Applications: FRP in Agda in HTML5 -- Parallel Performance of Declarative Programming Using a PGAS Model
Control code
ocn868040974
Dimensions
unknown
Extent
1 online resource (xiv, 261 pages)
File format
multiple file formats
Form of item
online
Isbn
9783642452840
Isbn Type
(electronic bk.)
Level of compression
uncompressed
Other control number
10.1007/978-3-642-45284-0
Other physical details
illustrations
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
(OCoLC)868040974
Label
Practical aspects of declarative languages : 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings, edited by Kostis Sagonas
Publication
Note
International conference proceedings
Antecedent source
mixed
Color
not applicable
Contents
A Library for Declarative Resolution-Independent 2D Graphics -- Analysing the Entire Wikipedia History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through Linguistic Symbiosis -- A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction -- Supporting Pruning in Tabled LP -- A Portable and Efficient Implementation of Coinductive Logic Programming -- Formalizing a Broader Recursion Coverage in SQL -- A Declarative-Friendly API for Web Document Manipulation -- Implementing Equational Constraints in a Functional Language -- On the Efficient Implementation of Mode-Directed Tabling -- The Generalized Intensional Transformation for Implementing Lazy Functional Languages -- Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs -- Integrative Functional Statistics in Logic Programming -- Reversible Language Extensions and Their Application in Debugging -- proSQLite: Prolog File Based Databases via an SQLite Interface -- Dependently Typed Web Client Applications: FRP in Agda in HTML5 -- Parallel Performance of Declarative Programming Using a PGAS Model
Control code
ocn868040974
Dimensions
unknown
Extent
1 online resource (xiv, 261 pages)
File format
multiple file formats
Form of item
online
Isbn
9783642452840
Isbn Type
(electronic bk.)
Level of compression
uncompressed
Other control number
10.1007/978-3-642-45284-0
Other physical details
illustrations
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
(OCoLC)868040974

Library Locations

    • InternetBorrow it
      Albany, Auckland, 0632, NZ
Processing Feedback ...