Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Marked Items 
Alerts
Order History
Saved Items
All
Favorites
    
Book Printable view
Practical Aspects of Declarative Languages

Practical Aspects of Declarative Languages

Second InternationalWorkshop, PADL 2000 Boston, MA, USA, January 17–18, 2000 Proceedings
Book SeriesLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN0302-9743 (Print) 1611-3349 (Online)
VolumeVolume 1753/2000
DOI10.1007/3-540-46584-7
Copyright2000
ISBN978-3-540-66992-0
Subject CollectionComputer Science
SpringerLink DateThursday, June 26, 2003
Add to marked items
Editorial View Condensed List View Expanded List View 
Save this listEmail this listDownload this list
23 ChaptersFirst | 1-10 | 11-20 | 21-23 | Next
Front Matter

Front MatterPDF (134.9 KB)

  
Chapter
First Class Patterns?
Mark Tullsen
DOI: 10.1007/3-540-46584-7_1
Full TextPDF (213.9 KB)
 1-15
Chapter
Parallel Functional Reactive Programming
John Peterson, Valery Trifonov and Andrei Serjantov
DOI: 10.1007/3-540-46584-7_2
Full TextPDF (205.5 KB)
 16-31
Chapter
Out-of-Core Functional Programming with Type-Based Primitives
Tyng-Ruey Chuang and Shin-Cheng Mu
DOI: 10.1007/3-540-46584-7_3
Full TextPDF (211.7 KB)
 32-46
Chapter
A Functional Logic Programming Approach to Graphical User Interfaces
Michael Hanus
DOI: 10.1007/3-540-46584-7_4
Full TextPDF (234.1 KB)
 47-62
Chapter
Using Static Analysis to Compile Non-sequential Functional Logic Programs?
Julio Mariño and Juan José Moreno-Navarro
DOI: 10.1007/3-540-46584-7_5
Full TextPDF (373.9 KB)
 63-80
Chapter
GNU Prolog: Beyond Compiling Prolog to C
Daniel Diaz and Philippe Codognet
DOI: 10.1007/3-540-46584-7_6
Full TextPDF (191.8 KB)
 81-92
Chapter
Heap Garbage Collection in XSB: Practice and Experience
Bart Demoen and Konstantinos Sagonas
DOI: 10.1007/3-540-46584-7_7
Full TextPDF (273.2 KB)
 93-108
Chapter
Implementation of a Linear Tabling Mechanism
Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan and Jia-Huai You
DOI: 10.1007/3-540-46584-7_8
Full TextPDF (232.4 KB)
 109-123
Chapter
How to Incorporate Negation in a Prolog Compiler?
Juan José Moreno-Navarro and Susana Muñoz-Hernández
DOI: 10.1007/3-540-46584-7_9
Full TextPDF (274.6 KB)
 124-140
Chapter
A Logic-Based Information System
Salvador Pinto Abreu
DOI: 10.1007/3-540-46584-7_10
Full TextPDF (183.4 KB)
 141-153
Back Matter

Back MatterPDF (24.8 KB)

  
23 ChaptersFirst | 1-10 | 11-20 | 21-23 | Next
more options
Find


Starts With
23 Results
ABCDEFGHIJKLMNOPQRSTUVWXYZspace
0123456789ÜÖËÄßÀÁÂÃÇÈÉÊÌÍÎÑÒÓÔÕÙÚÛmore
Author
Frequently asked questions | General information on journals and books | Send us your feedback | Impressum | Contact
© Springer. Part of Springer Science+Business Media
Privacy, Disclaimer, Terms and Conditions, © Copyright Information
Remote Address: 38.107.191.107 • Server: mpweb19
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)