TY - BOOK
AU - WFLP 19 2010 Madrid
AU - Mariño, Julio
TI - Functional and constraint logic programming 19th international workshop, WFLP 2010, Madrid, Spain, January 17, 2010 ; revised selected papers
PB - Springer
SN - 364220774X
SN - 9783642207747
KW - Abstract Interpretation
KW - Abstract Machines
KW - Access Control
KW - Compilation
KW - Concurrent Computing
KW - Constraint Languages
KW - Declarative Programming
KW - Denotational Logic
KW - Formal Semantics
KW - Monadic Programming
KW - Nonmonotonic Reasoning
KW - Paperback / softback
KW - Program Assertions
KW - Program Semantics
KW - Program Transformation
KW - Research
KW - Term Rewriting
KW - Type Systems
KW - Types
KW - Konferenzschrift 2010 Madrid
KW - Funktionale Programmierung
KW - Logische Programmierung
KW - Constraint-Programmierung
PY - 2011
N2 - Literaturangaben
BT - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues ; 6559
CY - Berlin
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation