Gambit-list Décembre 2013

gambit-list@iro.umontreal.ca

26 participants
43 discussions

[ANN] Gambit-C v4.7.1 released
by gambit＠iro.umontreal.ca 09 Déc '13

09 Déc '13

3 2

Call for Participation PEPM 2014 (co-located with POPL 2014) === P E P M 2014 ===
by planpublicity＠gmail.com 09 Déc '13

09 Déc '13

ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation http://www.program-transformation.org/PEPM14 January 20-21, 2014 San Diego, CA, USA (Affiliated with POPL 2014) CALL FOR PARTICIPATION IMPORTANT DATES * Hotel reservation deadline: December 21, 2013 * Early registration deadline: December 31, 2013 VENUE PEPM'14 and all POPL'14 affiliated events will take place at the US Grant in San Diego, CA, USA. SCOPE The PEPM Symposium/Workshop series aims at bringing together researchers and practitioners working in the areas of program manipulation, partial evaluation, and program generation. PEPM focuses on techniques, theory, tools, and applications of analysis and manipulation of programs. INVITED TALKS: * Manuel Fahndrich (Microsoft Research, USA) on Lessons from a Web-Based IDE and Runtime * Sven-Bodo Scholz (Heriott-Watt University, Scotland) on Partial Evaluation as Universal Compiler Tool (experiences from the SAC eco system) PROGRAM CHAIRS Wei Ngan Chin (National University of Singapore, Singapore) Jurriaan Hage (Utrecht University, Netherlands) PROGRAM COMMITTEE Evelyne Contejean (LRI, CNRS, Université Paris-Sud, France) Cristina David (University of Oxford, UK) Alain Frisch (LexiFi, France) Ronald Garcia (University of British Columbia, Canada) Zhenjiang Hu (National Institute of Informatics, Japan) Paul H J Kelly (Imperial College, UK) Oleg Kiselyov (Monterey, USA) Naoki Kobayashi (University of Tokyo, Japan) Jens Krinke (University College London, UK) Ryan Newton (University of Indiana, USA) Alberto Pardo (Universidad de la República, Uruguay) Sungwoo Park (Pohang University of Science and Technology, South Korea) Tiark Rompf (Oracle Labs & EPFL, Switzerland) Sukyoung Ryu (KAIST, South Korea) Kostis Sagonas (Uppsala University, Sweden) Max Schaefer (Nanyang Technological University, Singapore) Harald Søndergaard (The University of Melbourne, Australia) Eijiro Sumii (Tohoku University, Japan) Eric Van Wyk (University of Minnesota, USA) Jeremy Yallop (University of Cambridge, UK) PRELIMINARY PROGRAM DAY 1: Monday, January 20th, 2014 ================================== 09:00 - 10:00 Invited Talk =========================== Lessons from a Web-Based IDE and Runtime Manuel Fahndrich 10:30 - 12:00 Meta-Programming ------------------------------- Combinators for Impure yet Hygienic Code Generation Yukiyoshi Kameyama, Oleg Kiselyov, Chung-Chieh Shan Effective Quotation James Cheney, Sam Lindley, Gabriel Radanne, Philip Wadler Compile-time Reflection and Metaprogramming for Java Weiyu Miao, Jeremy Siek 14:00 - 15:25 Bidirectional Transformations -------------------------------------------- Monadic Combinators for "Putback" Style Bidirectional Programming Hugo Pacheco, Zhenjiang Hu and Sebastian Fischer Semantic Bidirectionalization Revisited Meng Wang and Shayan Najd Generating Attribute Grammar-based Bidirectional Transformations from Rewrite Rules Pedro Martins, Joao Paulo Fernandes, Joao Saraiva and Eric Van Wyk 16:00 - 17:00 Static Analysis and Optimization ----------------------------------------------- Optimizing SYB is Easy! Michael D. Adams, Andrew Farmer, Jose Pedro Magalhaes: QEMU/CPC: Static Analysis and CPS Conversion for Safe, Portable, and Efficient Coroutines Gabriel Kerneis, Charlie Shepherd, Stefan Hajnoczi ================================= DAY 2: Tuesday, January 21, 2014 ================================= 09:00 - 10:00 Invited Talk --------------------------- Partial Evaluation as Universal Compiler Tool (experiences from the SAC eco system) Sven-Bodo Scholz 10:30 - 12:00 Program Transformation -------------------------------------- The HERMIT in the Stream Andrew Farmer, Christian Hoener Zu Siederdissen, Andy Gill Type-Changing Rewriting and Semantics-Preserving Transformation Sean Leather, Johan Jeuring, Andres Loeh, Bram Schuur An Operational Semantics for Android Activities Etienne Payet, Fausto Spoto 14:00 - 15:30 Type Systems ---------------------------- Early Detection of Type Errors in C++ Templates Sheng Chen, Martin Erwig Lazy Stateless Incremental Evaluation Machinery for Attribute Grammars Jeroen Bransen, Atze Dijkstra, Doaitse Swierstra Deriving Interpretations of the Gradually-Typed Lambda Calculus. Alvaro Garcia-Perez, Pablo Nogueira, Ilya Sergey 16:00 - 17:20 Program Analysis/Testing ---------------------------------------- Automating Property-based Testing of Evolving Web Services Huiqing Li, Simon Thompson, Pablo Lamela Seijas, Miguel Angel Francisco A Modular and Generic Analysis Server System for Functional Logic Programs Michael Hanus, Fabian Skrlac HIPimm: Verifying Granular Immutability Guarantees Andreea Costea, Asankhaya Sharma, Cristina David

1 0

Module/Package system
by Benjamin Silbaugh 08 Déc '13

08 Déc '13

According to the Gambit Wiki, there are two package systems for Gambit: Black Hole and Snow. I get the impression that Snow is the successor to Black Hole. However, it appears that there has not been any activity on the Snowfort in a couple of years. What is the status of Snow? Thank you, Ben

1 0

Namespaces?
by Benjamin Silbaugh 08 Déc '13

08 Déc '13

I noticed in the Gambit-C documentation there is a section on Namespaces, which says TODO. Does "TODO" refer to the implementation of namespaces or only the documentation for namespaces? If namespaces have been implemented, is there a paper or blog that shows how to use them? Thank you, Ben P.S. I apologize if this is has been already asked. I'm new to the mailing list.

1 0

pipe mode in OSX Gambit
by Fuchs Ira 08 Déc '13

08 Déc '13

Should it be possible (under OSX) to type: echo (expt 2 10) | gsi and get the result 1024? I thought I read that this works in Unix but it does not work in OSX where it simply starts the interpreter and prompts for input.

2 4

webView documentation
by Fuchs Ira 07 Déc '13

07 Déc '13

Beginner Q: I am searching for any documentation for (set-webView-content) or (show-webView). They don't appear in the Gambit manual so I presume they are specific to implementations such as the one for Android but where are such OS specific procedures documented?

2 1

gambit - scan-build results
by Bradley Lucier 06 Déc '13

06 Déc '13

Marc: Did you every run LLVM/clang's scan-build on the gambit sources to do a static analysis search for possible errors in the code? It's interesting stuff, but I can't tell whether it's actually found any real bugs. I've put the output of the results on my ubuntu box on my web page here: http://www.math.purdue.edu/~lucier/scan-build-2013-11-27-1/ Brad

2 1

Re: [gambit-list] Gambit IOS- access to SDK
by Fuchs Ira 06 Déc '13

06 Déc '13

Thanks for the links. It would be great if someone conversant with the IDEs used to build these apps could build them and contribute the executables to Cydia and the Play Store. On Dec 6, 2013, at 7:32 AM, Álvaro Castro-Castilla wrote: > Check out these: > > https://github.com/jlongster/gambit-iphone-example > https://github.com/seoushi/gambit-android-example > > Cheers! > > > > Álvaro Castro-Castilla -- a(a)fourthbit.com > I create Software. > > > > > > On Fri, Dec 6, 2013 at 4:33 AM, Fuchs Ira <ihf(a)bit.net> wrote: > I've temporarily given up on using Gambit on Android as it seems to fail almost immediately. I have now downloaded the IOS version. Am I correct that there is no way to access any IOS SDK functions? For example, it appears that set-webView-content is not there (as it is in the Android version). I presume this is due to Apple's restrictions on apps. Perhap someone has a version for jailbroken devices? > > Also when I type (exit) in the REPL on IOS, I get: "To exit, press the sleep button for 5 seconds then the home button for 10 seconds." What is that all about? > > _______________________________________________ > Gambit-list mailing list > Gambit-list(a)iro.umontreal.ca > https://webmail.iro.umontreal.ca/mailman/listinfo/gambit-list >

2 1

Android executables
by Fuchs Ira 05 Déc '13

05 Déc '13

Is it possible to create native Android executables (.apk files) using Gambit? If so, can you tell me where this is documented?

3 2

syntactic question
by Fuchs Ira 05 Déc '13

05 Déc '13

I am hoping to re-familiarize myself with Scheme and I've begun by doing some reading and downloading a copy of Gambit Scheme. When Gambit starts up it displays an example of Scheme code which includes the following line: > \ for (int i=1;i<=3; i++) pp(i); The semantics is clear but I don't recognize this as Scheme syntax and I couldn't find a reference to anything resembling this in the Scheme reference manual. Could some kind person tell me what this is and where it is described?

2 1

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

Gambit-list Décembre 2013