Programming Languages and Systems (vol. # 4279)
Publication year: 2006
: 978-3-540-48938-2
This volume contains the proceedings of the 4th Asian Symposium on Progr- mingLanguagesandSystems(APLAS2006),whichtookplaceinSydney,Japan, November 8-10, 2006. the Program C- mittee selected 22 papers. +E24 In addition to the 22 contributed papers, the symposium also included two invited talks by Jens Palsberg (UCLA, Los Angeles, USA) and Peter Stuckey (University of Melbourne, Melbourne, Australia), and one tutorial by Matthew Flatt (University of Utah, USA).
: Computer Science, APL, Constraint, Processing, Scheme, constraint reasoning, dataflow analysis, formal methods, java programming, logic programming, program analysis, program logics, program transformation, programming language, programming theory, software developme
