Pfenning, Frank.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Generative programming and component engineeringsecond International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003 : proceedings /
by:
(1998 :); Pfenning, Frank.; Smaragdakis, Yannis.; SpringerLink (Online service)
(Electronic resources)
Term Rewriting and Applications (vol. # 4098)17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings /
by:
(1998 :); Pfenning, Frank.; SpringerLink (Online service)
(Electronic resources)
Subjects
Rewriting systems (Computer science)
Mathematical Logic and Formal Languages.
Software engineering
Logics and Meanings of Programs.
Component software
Algorithms
Artificial Intelligence (incl. Robotics)
Computer programming
Programming Languages, Compilers, Interpreters.
Computer Science.
Symbolic and Algebraic Manipulation.
Generative programming (Computer science)