Ciao-users December 2012

ciao-users@cliplab.org

5 participants
5 discussions

Persistent Database
by mcculloch 05 Apr '13

05 Apr '13

I'm looking for a persistent database system for Ciao. DHT seems to be much more complex than what I need and using the internal database and assert is not quite enough. I'd like a system that at least can keep terms dynamically sorted. Any ideas? John -- View this message in context: http://old.nabble.com/Persistent-Database-tp34766812p34766812.html Sent from the Ciao Prolog - Users mailing list archive at Nabble.com.

1 3

JSON examples
by Carlos Elói Barros 24 Jan '13

24 Jan '13

Hi there, It is possible to get some examples using json_to_string and string_to_json. I trying to execute both and i get some errors. I am not an expert in Ciao Prolog or in Prolog, sorry. Regards. Carlos

3 5

JavaScript backend
by David Nolen 28 Dec '12

28 Dec '12

I came across this recent paper - http://arxiv.org/pdf/1210.2864.pdf Is there any documentation available on how to use this? Thanks, David

2 2

BYTECODE'13 Deadline extended (28 December)
by German Puebla 12 Dec '12

12 Dec '12

DEADLINE EXTENDED CALL FOR PAPERS BYTECODE 2013 8th Workshop on Bytecode Semantics, Verification, Analysis and Transformation A Satellite workshop of ETAPS 2013 Rome, Italy 23 March 2013 http://costa.ls.fi.upm.es/bytecode13 NEWS ==== * Science of Computer Programming has agreed to publish a special issue on Bytecode 2013 * The abstract and paper submission deadlines have been extended resp. to December the 23rd and 28th, 2012. Description of the workshop =========================== Bytecode, such as produced by e.g., Java and .NET compilers, has become an important topic of interest, both for industry and academia. The industrial interest stems from the fact that bytecode is typically used for Internet and mobile device applications (smart cards, phones, etc.), where security is a major issue. Moreover, bytecode is device independent and allows dynamic loading of classes, which provides an extra challenge for the application of formal methods. Also the unstructuredness of the code and the pervasive presence of the operand stack provide further challenges for the analysis of bytecode. This workshop will focus on theoretical and practical aspects of semantics, verification, analysis, certification and transformation of bytecode. Research on bytecode is an ideal test bench for the application of formal methods to real languages. There is a major pressure in this sense, because security is a hot topic for bytecode applications in embedded devices. However, the scientific community on bytecode semantics, verification, analysis, and transformation is currently fragmented, and researchers often come from the two distinct worlds of industry and academia. Therefore, the aim of our workshop is to let researchers and practitioners from both the industrial and the academic world present new or preliminary results and demonstrate new software tools that are of interest for the community as a whole. The workshop will be a mixture of extended abstracts, position papers, and invited presentations. The goal is to make the workshop an active discussion forum for all work related to bytecode. No formal proceedings of the workshop will be published, but selected papers might be invited for a special issue of Science of Computer Programming. Important Dates =============== Abstract submission (extended): December 23, 2012 Paper submission (extended): December 28, 2012 Notification: January 21, 2013 Final version: February 8, 2013 Submission information ====================== We solicit extended abstracts and position papers of at most 8 pages, describing work related to semantics, verification, analysis and transformation. In particular, we explicitly welcome tool demonstrations. Submissions may overlap with submissions to other conferences or journals. There will be a light-weight reviewing process, where submissions will be judged on their interest to the workshop audience. There will be no formal proceedings of the workshop. All accepted submissions will be distributed among the workshop participants. After the workshop, presenters of extended abstracts, position papers, tool demos and of invited presentations may be invited to contribute to a special issue of Science of Computer Programming. Invitations will be based on submissions and presentations. Papers can be submitted (as PDF) through easy chair https://www.easychair.org/conferences/?conf=bytecode2013 Organisers ========== Miguel Gomez-Zamalloa, Complutense University of Madrid, Spain German Puebla, Technical University of Madrid, Spain All questions about the workshop can be addressed to them via mail: mzamalloa(a)fdi.ucm.es german(a)fi.upm.es Program Committee ================== Richard Bubel, Technische Universitat Darmstadt Andrew Craik, Oracle Labs, Brisbane, Australia Jürgen Giesl, RWTH Aachen Laurent Hubert, Prove&Run Marieke Huisman, University of Twente Francesco Logozzo, Microsoft Research Mark Marron, IMDEA Software Institute Corina Pasareanu, CMU/NASA Ames Research Center Ricardo Peña, Complutense University of Madrid David Pichardie, INRIA Rennes - Bretagne Atlantique Fausto Spoto, Dipartimento di Informatica, Verona

1 0

PLMW: Mentoring at POPL. Second Call for Participation
by Gareth Smith 04 Dec '12

04 Dec '12

Students! You have until Sunday to apply for funding to come to both POPL and PLMW! CALL FOR PARTICIPATION SIGPLAN Programming Languages Mentoring Workshop, Rome Tuesday January 22, 2013 Co-located with POPL 2013 PLMW web page: http://www.doc.ic.ac.uk/~gds/PLMW/index.html After the resounding success of the first Programming Languages Mentoring Workshop at POPL 2012, we proudly announce the 2nd SIGPLAN Programming Languages Mentoring Workshop (PLMW), co-located with POPL 2013 and organised by Nate Foster, Philippa Gardner, Alan Schmitt, Gareth Smith, Peter Thieman and Tobias Wrigstad. The purpose of this mentoring workshop is to encourage graduate students and senior undergraduate students to pursue careers in programming language research. This workshop will provide technical sessions on cutting-edge research in programming languages, and mentoring sessions on how to prepare for a research career. We will bring together leaders in programming language research from academia and industry to give talks on their research areas. The workshop will engage students in a process of imagining how they might contribute to our research community. We especially encourage women and underrepresented minority students to attend PLMW. Since PLMW will be in Rome this year, we particularly look forward to seeing Eastern European students at the workshop. This workshop is part of the activities surrounding POPL, the Symposium on Principles of Programming Languages, and takes place the day before the main conference. One goal of the workshop is to make the POPL conference more accessible to newcomers. We hope that participants will stay through the entire conference, and will also attend the POPL tutorials on Monday 21st January which are free to PLMW registered attendees. Through the generous donation of our sponsors, we are able to provide scholarships to fund student participation. These scholarships will cover reasonable expenses (airfare, hotel and registration fees) for attendance at both the workshop and the POPL conference. Students attending this year will get one year free student membership of SIGPLAN The workshop registration is open to all. Students with alternative sources of funding are welcome. APPLICATION for PLMW scholarship: The scholarship application can be accessed from the workshop web site (http://www.doc.ic.ac.uk/~gds/PLMW/index.html). The deadline for full consideration of funding is 9th December, 2012. Selected participants will be notified from Friday 14th December, and will need to register for the workshop by December 24th. SPONSORS: Google Imperial College London Jane Street Monoidics NSF Resource Reasoning SIGPLAN vmware

1 0

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

Ciao-users December 2012