作者:Benoît Combemale,David J. Pearce,Olivier Barais,Jurgen J. Vinju
主题词:Programming Languages,Compilers,Interpreters,Software Engineering,Mathematical Logic and Formal Languages,Artificial Intelligence (incl. Robotics),Simulation and Modeling,Management of Computing and Information Systems