語系
Pena, Ricardo.
概要
作品: | 1 作品在 3 項出版品 1 種語言 |
---|
書目資訊
Trends in Functional Programming = 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers /
by:
Pena, Ricardo.; Page, Rex.; SpringerLink (Online service)
(書目-電子資源)
Practical aspects of declarative languages = 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010 : proceedings /
by:
Carro, Manuel.; Pena, Ricardo.; SpringerLink (Online service); PADL 2010 ((2010 :)
(書目-語言資料,印刷品)
Foundational and practical aspects of resource analysis = second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011 : revised selected papers /
by:
Pena, Ricardo.; Eekelen, Marko van.; Shkaravska, Olha.; SpringerLink (Online service)
(書目-電子資源)
Foundational and practical aspects of resource analysis = third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013 : revised selected papers /
by:
Pena, Ricardo.; SpringerLink (Online service); Dal Lago, Ugo.
(書目-電子資源)
主題
Declarative programming
Mathematical Logic and Formal Languages.
Software Engineering.
Data structures (Computer science)
Logics and Meanings of Programs.
Logic design- Computer programs
Programming Techniques.
Data Structures.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Declarative programming languages
Programming Languages, Compilers, Interpreters.
Functional programming (Computer science)
Computer Science.
Computer software- Development
System Performance and Evaluation.