skip to content
Practical aspects of declarative languages : 7th international symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005 : proceedings Preview this item
ClosePreview this item
Checking...

Practical aspects of declarative languages : 7th international symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005 : proceedings

Author: Manuel Hermenegildo; Daniel Cabeza
Publisher: Berlin ; New York : Springer, 2005.
Series: Lecture notes in computer science, 3350.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:

Constitutes the proceedings of the 7th International Symposium on Practical Aspects of Declarative Languages, PADL 2005, held in Long Beach, CA, USA in January 2005. This work addresses various  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Conference papers and proceedings
Kongress
Long Beach (Calif., 2005)
Congresses
Congrès
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Manuel Hermenegildo; Daniel Cabeza
ISBN: 3540243623 9783540243625
OCLC Number: 57743524
Description: viii, 267 pages : illustrations ; 24 cm.
Contents: Invited Talks.- Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction.- Code Compression.- Papers.- Functional Framework for Sound Synthesis.- Specializing Narrowing for Timetable Generation: A Case Study.- Character-Based Cladistics and Answer Set Programming.- Role-Based Declarative Synchronization for Reconfigurable Systems.- Towards a More Practical Hybrid Probabilistic Logic Programming Framework.- Safe Programming with Pointers Through Stateful Views.- Towards Provably Correct Code Generation via Horn Logical Continuation Semantics.- A Provably Correct Compiler for Efficient Model Checking of Mobile Processes.- An Ordered Logic Program Solver.- Improving Memory Usage in the BEAM.- Solving Constraints on Sets of Spatial Objects.- Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization.- Solving Collaborative Fuzzy Agents Problems with CLP( ).- Improved Fusion for Optimizing Generics.- The Program Inverter LRinv and Its Structure.- A Full Pattern-Based Paradigm for XML Query Processing.- Type Class Directives.
Series Title: Lecture notes in computer science, 3350.
Other Titles: PADL 2005
Responsibility: Manuel Hermenegildo, Daniel Cabeza (eds.).

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/57743524> # Practical aspects of declarative languages : 7th international symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005 : proceedings
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "57743524" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1039517346#Place/berlin> ; # Berlin
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://dewey.info/class/005.13/e22/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/1039517346#Topic/programming_languages_electronic_computers_semantics> ; # Programming languages (Electronic computers)--Semantics
   schema:about <http://experiment.worldcat.org/entity/work/data/1039517346#Topic/deklarative_programmiersprache> ; # Deklarative Programmiersprache
   schema:about <http://experiment.worldcat.org/entity/work/data/1039517346#Topic/langage_declaratif> ; # Langage déclaratif
   schema:about <http://experiment.worldcat.org/entity/work/data/1039517346#Topic/langages_de_programmation_semantique_congres> ; # Langages de programmation - Sémantique - Congrès
   schema:about <http://experiment.worldcat.org/entity/work/data/1039517346#Topic/langages_de_programmation_semantique> ; # Langages de programmation--Sémantique
   schema:about <http://experiment.worldcat.org/entity/work/data/1039517346#Topic/semantique> ; # Sémantique
   schema:about <http://id.worldcat.org/fast/1078716> ; # Programming languages (Electronic computers)--Semantics
   schema:alternateName "PADL 2005" ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/1039517346#Person/cabeza_daniel> ; # Daniel Cabeza
   schema:contributor <http://experiment.worldcat.org/entity/work/data/1039517346#Person/hermenegildo_manuel> ; # Manuel Hermenegildo
   schema:creator <http://experiment.worldcat.org/entity/work/data/1039517346#Meeting/padl_2005_2005_long_beach_calif> ; # PADL 2005 (2005 : Long Beach, Calif.)
   schema:datePublished "2005" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1039517346> ;
   schema:genre "Kongress"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Long Beach (Calif., 2005)"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1039517346#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
   schema:name "Practical aspects of declarative languages : 7th international symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005 : proceedings"@en ;
   schema:productID "57743524" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/57743524#PublicationEvent/berlin_new_york_springer_2005> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1039517346#Agent/springer> ; # Springer
   schema:url <http://link.springer-ny.com/link/service/series/0558/tocs/t3350.htm> ;
   schema:url <http://swbplus.bsz-bw.de/bsz115595945inh.htm> ;
   schema:url <http://swbplus.bsz-bw.de/bsz115595945vor.htm> ;
   schema:url <http://swbplus.bsz-bw.de/bsz115595945cov.htm> ;
   schema:url <http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3350> ;
   schema:url <http://dx.doi.org/10.1007/b105205> ;
   schema:url <http://site.ebrary.com/id/10531367> ;
   schema:workExample <http://worldcat.org/isbn/9783540243625> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/57743524> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/1039517346#Person/cabeza_daniel> # Daniel Cabeza
    a schema:Person ;
   schema:familyName "Cabeza" ;
   schema:givenName "Daniel" ;
   schema:name "Daniel Cabeza" ;
    .

<http://experiment.worldcat.org/entity/work/data/1039517346#Person/hermenegildo_manuel> # Manuel Hermenegildo
    a schema:Person ;
   schema:familyName "Hermenegildo" ;
   schema:givenName "Manuel" ;
   schema:name "Manuel Hermenegildo" ;
    .

<http://experiment.worldcat.org/entity/work/data/1039517346#Place/long_beach_calif> # Long Beach, Calif.)
    a schema:Place ;
   schema:name "Long Beach, Calif.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1039517346#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/57743524> ; # Practical aspects of declarative languages : 7th international symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005 : proceedings
   schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/1039517346#Topic/deklarative_programmiersprache> # Deklarative Programmiersprache
    a schema:Intangible ;
   schema:name "Deklarative Programmiersprache"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1039517346#Topic/langage_declaratif> # Langage déclaratif
    a schema:Intangible ;
   schema:name "Langage déclaratif"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1039517346#Topic/langages_de_programmation_semantique> # Langages de programmation--Sémantique
    a schema:Intangible ;
   schema:name "Langages de programmation--Sémantique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/1039517346#Topic/langages_de_programmation_semantique_congres> # Langages de programmation - Sémantique - Congrès
    a schema:Intangible ;
   schema:name "Langages de programmation - Sémantique - Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1039517346#Topic/programming_languages_electronic_computers_semantics> # Programming languages (Electronic computers)--Semantics
    a schema:Intangible ;
   rdfs:seeAlso <http://id.loc.gov/authorities/subjects/sh2010108609> ;
   schema:name "Programming languages (Electronic computers)--Semantics"@en ;
    .

<http://id.worldcat.org/fast/1078716> # Programming languages (Electronic computers)--Semantics
    a schema:Intangible ;
   schema:name "Programming languages (Electronic computers)--Semantics"@en ;
    .

<http://worldcat.org/isbn/9783540243625>
    a schema:ProductModel ;
   schema:isbn "3540243623" ;
   schema:isbn "9783540243625" ;
    .

<http://www.worldcat.org/title/-/oclc/57743524>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/57743524> ; # Practical aspects of declarative languages : 7th international symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005 : proceedings
   schema:dateModified "2016-05-11" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.