| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465589903316 |
|
|
Titolo |
Practical aspects of declarative languages : 10th international symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, proceedings / / Paul Hudak, David S. Warren (editors) |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin ; ; Heidelberg : , : Springer, , [2008] |
|
©2008 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2008.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (X, 342 p.) |
|
|
|
|
|
|
Collana |
|
Lecture notes in computer science ; ; 4902 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Programming languages (Electronic computers) - Semantics |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml -- Automatic Coding Rule Conformance Checking Using Logic Programming -- Comprehension and Dependency Analysis of Aspect-Oriented Programs through Declarative Reasoning -- Efficient Reasoning for Nogoods in Constraint Solvers with BDDs -- Flexible, Rule-Based Constraint Model Linearisation -- The Role of Abduction in Declarative Authorization Policies -- Unification of Arrays in Spreadsheets with Logic Programming -- Specialising Simulator Generators for High-Performance Monte-Carlo Methods -- A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers -- Matchete: Paths through the Pattern Matching Jungle -- Parser Combinators for Ambiguous Left-Recursive Grammars -- DCGs + Memoing = Packrat Parsing but Is It Worth It? -- An Improved Continuation Call-Based Implementation of Tabling -- Scheduling Light-Weight Parallelism in ArTCoP -- Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism -- Hierarchical Master-Worker Skeletons -- High-Level Multi-threading Programming in Logtalk -- Switched-On Yampa -- Model-Based Testing of Thin-Client Web Applications and Navigation Input -- High-Level Database Programming in Curry. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996384636403316 |
|
|
Autore |
Rous Francis <b. 1615.> |
|
|
Titolo |
Archæologiæ atticæ libri tres [[electronic resource] ] : three bookes of the Attick antiquities, containing the description of the cities glory, government, division of the people and townes within the Athenian territories, their religion, superstition, sacrifices, account of their year : as also a full relation of their judicatories / / by Francis Rous |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
London, : Printed for John Williams, 1645 |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Soggetti |
|
Athens (Greece) Antiquities |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Reproduction of original in the University of Illinois (Urbana-Champaign Campus). Library. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
|
|
|
|
| |