![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Declarative Programming 1991: Sasbachwalden, Germany
- John Darlington, Roland Dietrich:
Declarative Programming, Sasbachwalden 1991, PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991. Workshops in Computing, Springer 1992, ISBN 3-540-19735-4
Languages and Semantics
- John Darlington, Yike Guo, Helen Pull:
A Design Space for Integrating Declarative Languages. 3-19 - John Darlington, Yike Guo, Helen Pull:
Introducing Constraint Functional Logic Programming. 20-34 - Roland Dietrich:
How to Use Guarded Functional Programming. 35-50 - Andreas Kågedal, Feliks Kluzniak:
Enriching Prolog with S-Unification. 51-65 - Ross Paterson:
A Tiny Functional Language with Logical Features. 66-79
Parallelism and Concurrency
- T. C. Nicholas Graham:
Temporal Constraint Functional Programming: A Declarative Framework for Concurrency and Interaction. 83-100 - Koen Langendoen, Willem G. Vree:
Eight Queens Divided: an Experience in Parallel Functional Programming. 101-115 - Andrew Roy Verden, Hugh Glaser:
Intelligent Backtracking in And-Parallel Prolog. 116-130
Modules and Types
- Sophia Drossopoulou, Ross Paterson, Susan Eisenbach:
Parameterized Interfaces are Interfaces - AIAS. 133-147 - Konstantin Läufer, Martin Odersky:
Type Classes are Signatures of Abstract Types. 148-162 - Luís Monteiro, António Porto:
Syntactic and Semantic Inheritance in Logic Programming. 163-173
Implementation
- P. H. Cheong, Laurent Fribourg:
A Survey of the Implementations of Narrowing. 177-187 - Hendrik C. R. Lock:
A Systematic Method for Designing Abstract Narrowing Machines. 188-203 - Roland Olsson:
Some Algorithms for Fast and Complete Execution of Logic Programs. 204-223 - David Parrott, Chris D. Clack:
A Common Graphical Form. 224-238 - Wolfram Schulte, Wolfgang Grieskamp:
Generating Efficient Portable Code for a Strict Applicative Language. 239-252
Bird-Meertens Formalism (Squiggol)
- Erik Meijer:
More Advice on Proving a Compiler Correct: Improve a Correct Compiler. 255-273 - Ed Voermans:
Pers as Types, Inductive Types and Types with Laws. 274-291
Program Analysis
- Marc-Michel Corsini, Kaninda Musumbu:
Failure Analysis Based on Abstract Interpretation. 295-309 - Mark Korsloot, Evan Tick:
Sequentializing Parallel Programs. 310-324
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.