Languages
Rocha, Ricardo.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Declarative programming and knowledge management = Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013 : revised selected papers /
by:
Hanus, Michael.; Rocha, Ricardo.; SpringerLink (Online service)
(Electronic resources)
Practical aspects of declarative languages = 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011 : proceedings /
by:
Rocha, Ricardo.; Launchbury, John.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Declarative programming
Theory of Computation.
Logics and Meanings of Programs.
Programming Techniques.
Artificial Intelligence (incl. Robotics)
Logic programming
Declarative programming languages
Programming Languages, Compilers, Interpreters.
Computer Science.
Knowledge management
Math Applications in Computer Science.
Constraint programming (Computer science)