[ACM Press the 6th international conference - Salzburg, Austria (2007.10.01-2007.10.03)] Proceedings of the 6th international conference on Generative programming and component engineering - GPCE '07 - Can we teach computers to write fast libraries?

[ACM Press the 6th international confere

[ACM Press the 6th international conference - Salzburg, Austria (2007.10.01-2007.10.03)] Proceedings of the 6th international conference on Generative programming and component engineering - GPCE '07 - Repleo

✍ Arnoldus, Jeroen; Bijpost, Jeanot; van den Brand, Mark 📂 Article 📅 2007 🏛 ACM Press ⚖ 235 KB

[ACM Press the 6th international confere

[ACM Press the 6th international conference - Salzburg, Austria (2007.10.01-2007.10.03)] Proceedings of the 6th international conference on Generative programming and component engineering - GPCE '07 - Oz/K

✍ Lienhardt, Michael; Schmitt, Alan; Stefani, Jean-Bernard 📂 Article 📅 2007 🏛 ACM Press ⚖ 276 KB

[ACM Press the 6th international confere

[ACM Press the 6th international conference - Salzburg, Austria (2007.10.01-2007.10.03)] Proceedings of the 6th international conference on Generative programming and component engineering - GPCE '07 - Constructing language processors with algebra combinators

✍ Weaver, Philip; Kimmell, Garrin; Frisby, Nicolas; Alexander, Perry 📂 Article 📅 2007 🏛 ACM Press ⚖ 189 KB

[ACM Press the 6th international confere

[ACM Press the 6th international conference - Salzburg, Austria (2007.10.01-2007.10.03)] Proceedings of the 6th international conference on Generative programming and component engineering - GPCE '07 - Constructing language processors with algebra combinators

✍ Weaver, Philip; Kimmell, Garrin; Frisby, Nicolas; Alexander, Perry 📂 Article 📅 2007 🏛 ACM Press ⚖ 189 KB

Modular Monadic Semantics (MMS) is a well-known mechanism for structuring modular denotational semantic definitions for programming languages. The principal attraction of MMS is that families of language constructs can be independently specified and later combined in a mix-and-match fashion to creat

[ACM Press the 10th ACM international co

[ACM Press the 10th ACM international conference - Portland, Oregon, USA (2011.10.22-2011.10.23)] Proceedings of the 10th ACM international conference on Generative programming and component engineering - GPCE '11 - Application of model based development to flexible code generation

✍ Shubert, Gary J. 📂 Article 📅 2011 🏛 ACM Press 🌐 English ⚖ 109 KB

[ACM Press the 10th ACM international co

[ACM Press the 10th ACM international conference - Portland, Oregon, USA (2011.10.22-2011.10.23)] Proceedings of the 10th ACM international conference on Generative programming and component engineering - GPCE '11 - Towards automatic generation of formal specifications to validate and verify reliable distributed systems

✍ Slåtten, Vidar; Kraemer, Frank Alexander; Herrmann, Peter 📂 Article 📅 2011 🏛 ACM Press ⚖ 793 KB