Ihr Marktplatz für antiquarische und neue Bücher | Login | Neu registrieren Registrieren
Buchfreund als App
Functional and Logic Programming (Softcover)  - 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings
Bild 1 von 1

Functional and Logic Programming (Softcover)

7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings

Erschienen 24.03.2004 - Kartoniert, 324 Seiten, 235mm x 155mm x 18mm, Sprache(n): eng

Print on Demand. Lieferbar innerhalb von 7 bis 10 Tagen

Also available online
Mehr anzeigen
Produktart:
📚 Bücher
Anbieter:
MARZIES Buch- und Medienhandel
Bestell-Nr.:
A3437634
Kategorie(n):
Computerprogrammierung und Softwareentwicklung | Compiler und Übersetzer | Theoretische Informatik | Künstliche Intelligenz
ISBN | EAN:
354021402X | 9783540214021
Stichworte:
ProgramAnalysis, ProgramCorrectness, Semantics, XMLcompilers, automata, debugging, functionalprogramming, logic, logicprogramming, meta-programming, partialmethods, programming, programminglanguage, programtransformations, typesystems, Logikprogrammierung, Programmieren (EDV) / Funktional
Zahlungsarten:
Vorauskasse, PayPal
Neuware
Neu60,88 EURKostenloser Versand
Functional and Logic Programming (Softcover)  - 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings
Functional and Logic Programming
Neu
60,88 EUR
Kostenloser Versand
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.
Weitere/ähnliche Angebote für diesen Artikel Functional and Logic Programming (Softcover) - 7th International Symposium, FL…

Ähnliche Bücher, die interessant für Sie sein könnten Verlag: Springer Berlin