Programming languages and systems : [... 4 papers selected from the papers presented at the Sixth i.e. Seventh Asian Symposium on Programming Languages and Systems (APLAS 2009) h...

Veröffentlicht 2011

A compositional approach to bidirectional model transformation

Veröffentlicht 2006

A calculational framework for parallelization of sequential programs

von Hu, Zhenjiang
Veröffentlicht 1997

Calculation carrying programs

von Hu, Zhenjiang
Veröffentlicht 1999

Efficient implementation of tree skeletons on distributed-memory parallel computers

von Matsuzaki, Kiminori
Veröffentlicht 2006

Towards Automatic Synthesis of View Update Programs on Relations

von Trong, Bach Nguyen
Veröffentlicht in SFDI (5. : 2021 : Kopenhagen; Online) Software foundations for data interoperability (2022)

Programming languages and systems : 7th Asian symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009 ; proceedings

Veröffentlicht 2009

Theory and practice of model transformations : 5th international conference, ICMT 2012, Prague, Czech Republic, May 28 - 29, 2012 ; proceedings

Veröffentlicht 2012

Towards manipulation of mutually recursive functions

von Iwasaki, Hideya
Veröffentlicht 1997

Bidirectionalizing xquery : updating XML through materialized xquery view

von Liu, Dongxi
Veröffentlicht 2006

A compositional framework for mining longest ranges

von Zhao, Haiyan
Veröffentlicht 2002

Parallelization with tree skeletons

von Matsuzaki, Kiminori
Veröffentlicht 2003

Design and implementation of general tree skeletons

von Matsuzaki, Kiminori
Veröffentlicht 2005

Towards polytypic parallel programming

von Hu, Zhenjiang
Veröffentlicht 1998

Functional and logic programming : 6th international symposium, FLOPS 2002, Aizu, Japan, September 15 - 17, 2002 ; proceedings

Veröffentlicht 2002

A turorial implementation of the diffusion algorithmic skeleton with the BSMLlib library

von Loulergue, Frederic
Veröffentlicht 2004

Functional and logic programming : 6th international symposium ; proceedings

Veröffentlicht 2002

Yicho : a system for programming program calculations

von Yokoyama, Tetsuo
Veröffentlicht 2002

A Cheap Implementation of Resugaring in BIRDS Based on Bidirectional Transformation

von Zhang, Xing
Veröffentlicht in SFDI (4. : 2020 : Online) Software foundations for data interoperability and large scale graph data analytics (2020)

A Counterexample-Guided Debugger for Non-recursive Datalog

von Tran, Van-Dang
Veröffentlicht in APLAS (18. : 2020 : Online) Programming languages and systems (2020)