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
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: Kongress
Conference papers and proceedings
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 9783540305576 3540305572
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> ; # 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://viaf.org/viaf/29048934> ; # Daniel Cabeza
    schema:contributor <http://viaf.org/viaf/22817699> ; # 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:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3350> ;
    schema:workExample <http://worldcat.org/isbn/9783540305576> ;
    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#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/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://viaf.org/viaf/22817699> # Manuel Hermenegildo
    a schema:Person ;
    schema:familyName "Hermenegildo" ;
    schema:givenName "Manuel" ;
    schema:name "Manuel Hermenegildo" ;
    .

<http://viaf.org/viaf/29048934> # Daniel Cabeza
    a schema:Person ;
    schema:familyName "Cabeza" ;
    schema:givenName "Daniel" ;
    schema:name "Daniel Cabeza" ;
    .

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

<http://worldcat.org/isbn/9783540305576>
    a schema:ProductModel ;
    schema:isbn "3540305572" ;
    schema:isbn "9783540305576" ;
    .

<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 "2018-09-18" ;
    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.