|
|
|
|
LEADER |
02679nmm a2200349 u 4500 |
001 |
EB000652242 |
003 |
EBX01000000000000000505324 |
005 |
00000000000000.0 |
007 |
cr||||||||||||||||||||| |
008 |
140122 ||| eng |
020 |
|
|
|a 9783540247548
|
100 |
1 |
|
|a Kameyama, Yukiyoshi
|e [editor]
|
245 |
0 |
0 |
|a Functional and Logic Programming
|h Elektronische Ressource
|b 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings
|c edited by Yukiyoshi Kameyama, Peter J. Stuckey
|
250 |
|
|
|a 1st ed. 2004
|
260 |
|
|
|a Berlin, Heidelberg
|b Springer Berlin Heidelberg
|c 2004, 2004
|
300 |
|
|
|a X, 307 p
|b online resource
|
505 |
0 |
|
|a Invited Papers -- A Brief Survey of Quantum Programming Languages -- Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic -- Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework -- Refereed Papers Logic and Functional-Logic Programming -- Online Justification for Tabled Logic Programs -- Constructive Intensional Negation -- Analysing Definitional Trees: Looking for Determinism -- Applications -- : a Declarative Debugging Tool for Functional-Logic Languages -- LIX: an Effective Self-applicable Partial Evaluator for Prolog -- Program Analysis -- Multivariant Non-failure Analysis via Standard Abstract Interpretation -- Set-Sharing Is Not Always Redundant for Pair-Sharing -- Backward Pair Sharing Analysis -- Rewriting -- Implementing Natural Rewriting and Narrowing Efficiently -- Complete Axiomatization of an Algebraic Construction of Graphs -- Sub-Birkhoff -- Types and Modules -- Relaxing the Value Restriction -- Rigid Mixin Modules -- Logic and Semantics -- Semantics of Linear Continuation-Passing in Call-by-Name -- A Direct Proof of Strong Normalization for an Extended Herbelin’s Calculus -- Functional Programming -- Normalization by Evaluation for ? ?2 -- Basic Pattern Matching Calculi: a Fresh View on Matching Failure -- Derivation of Deterministic Inverse Programs Based on LR Parsing
|
653 |
|
|
|a Compilers (Computer programs)
|
653 |
|
|
|a Computer Science Logic and Foundations of Programming
|
653 |
|
|
|a Compilers and Interpreters
|
653 |
|
|
|a Programming Techniques
|
653 |
|
|
|a Computer science
|
653 |
|
|
|a Computer programming
|
653 |
|
|
|a Artificial Intelligence
|
653 |
|
|
|a Artificial intelligence
|
700 |
1 |
|
|a Stuckey, Peter J.
|e [editor]
|
041 |
0 |
7 |
|a eng
|2 ISO 639-2
|
989 |
|
|
|b SBA
|a Springer Book Archives -2004
|
490 |
0 |
|
|a Lecture Notes in Computer Science
|
028 |
5 |
0 |
|a 10.1007/b96926
|
856 |
4 |
0 |
|u https://doi.org/10.1007/b96926?nosfx=y
|x Verlag
|3 Volltext
|
082 |
0 |
|
|a 005.11
|