60 likes | 160 Views
Working Group Report: BX and Inversible Languages. Robert Gluck, Soichiro Hidaka, Kazutaka Matsuda, Michael Schlereth, Yingfei Xiong, Tetsuo Yokoyama. How to specify a BX. get. cmpl. Source. View. complement. put. How to implement a BX. get. cmpl. ?. Janus!. put. Outcome.
E N D
Working Group Report:BX and Inversible Languages Robert Gluck, Soichiro Hidaka, Kazutaka Matsuda, Michael Schlereth, Yingfei Xiong, Tetsuo Yokoyama
How to specify a BX get cmpl Source View complement put
How to implement a BX get cmpl ? Janus! put
Outcome • Simple projection • get a b = a • no problem • Arithmetrical calculation • get a = a / 2 • implementable • elimination of input variables can be tricky • Complex data structure • get list = filter (\r->r > 0) list • problematical • data structure operators are not defined in Janus
2nd Round • Defining Janus operators for list • Discussing the tricky part of arithmetical operations • Discussing possible ways to combine TGGs and Janus