13. PADL 2011:
Austin,
TX,
USA
Ricardo Rocha, John Launchbury (Eds.):
Practical Aspects of Declarative Languages - 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings.
Lecture Notes in Computer Science 6539 Springer 2011, ISBN 978-3-642-18377-5
Invited Talks
- Roope Kaivola:
Intel CoreTM i7 Processor Execution Engine Validation in a Functional Language Based Formal Framework.
1
- Raymond J. Mooney:
Learning Language from Its Perceptual Context.
2-4
Message-Passing and Mobile Networks
Profiling and Implementation
Grammars,
Merging and Constraint Programming
Language Extensions and Tools
Concurrent and Parallel Programming
Event Processing and Reactive Programming
Last update Fri May 25 08:30:46 2012
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page