Ciao-users November 2005

ciao-users@cliplab.org

3 participants
3 discussions

CFP: Workshop on Verification and Debugging
by vandd2006 27 Nov '05

27 Nov '05

CALL FOR PAPERS 1st Workshop on VERIFICATION AND DEBUGGING Associated with CAV 2006 Knowing that a design violates its specification is only the first step towards a correct system. The violation may be caused by a fault in the design, but also by an error in the specification or in the environment constraints. A designer needs to understand the violation and to locate and correct the fault that causes it. Industrial experience shows that fault localization and rectification take much more time, effort, and expense than fault detection. Also, debugging often takes place late in the design cycle, which makes it a high-risk activity that may, if not done quickly and correctly, delay the release of a product. The workshop addresses the technologies and methodologies that need to be employed after verification has detected the presence of a bug. It aims to combine the efforts of the computer-aided verification and software engineering communities, attracting work in the areas of algorithms, tools, and methodologies for failure analysis. We welcome submissions addressing debugging of software, circuit designs, or combinations of the two. Topics of interest include * explanation and simplification of error traces, * fault localization, * rectification of the design, the specification, or the environment description, * test case generation for debugging, * debugging techniques, * methodologies that facilitate debugging, * overviews that provide a novel view of the state of the art and stimulate discussion and further research, and * empirical studies on debugging. Papers should contain original research, and sufficient detail to assess the merits and relevance of the contribution. For papers reporting experimental results, authors are strongly encouraged to make their data available with their submission. Simultaneous submission to other conferences with proceedings or submission of material that has already been published elsewhere is not allowed. Important Dates * Paper submission deadline: 24 April 2006 * Notice of acceptance/rejection: 22 May 2006 * Final version due: 19 June 2006 * CAV conference: 16-21 August The 2006 conference on Computer-Aided Verification will be a part of the Federated Logic Conference in Seattle. The workshop will be held right before or right after CAV. Further info Details of the submission process, the date of the workshop, and the way in which the accepted papers will be published will be made available at http://www.ist.tugraz.at/vandd.html. The program committee can be reached at vandd2006(a)ist.tu-graz.ac.at. For further info on FLOC, see http://research.microsoft.com/floc06/. Program Committee Roderick Bloem (Graz University of Technology), Alex Groce (Laboratory for Reliable Software, Jet Propulsion Laboratory), John Moondanos (Future Formal Technologies Group, Logic Design Group, Intel), Marco Roveri (ITC-irst), Fabio Somenzi (University of Colorado at Boulder), Markus Stumptner (University of South Australia), and Andreas Zeller (University of Saarbruecken). ============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------

1 0

Logtalk 2.26.0 released
by Paulo Moura 07 Nov '05

07 Nov '05

[Apologies for any cross posting or duplicate email] Hi! Logtalk 2.26.0 is now available for downloading from the Logtalk web site: http://www.logtalk.org/ This release major highlights are support for defining predicate aliases when using uses/2 directives and support for compiling and using Prolog modules as Logtalk objects (complemented by a new Prolog integration and migration guide). The new support for compiling Prolog modules allows you to easily reuse libraries that are distributed with common Prolog compilers. It also allows you to reuse module code on Prolog compilers that lack a module system. Other noteworthy changes are improved documentation, improvements to installation and documenting scripts, simplification of installation instructions, consolidation of most example source files into single source files, some bug fixes, and support for ignoring, copying as- is, or rewriting proprietary Prolog directives when compiling source files. Detailed release notes are available from the following URL: http://www.logtalk.org/releasenotes.html Happy logtalking, Paulo ----------------------------------------------------------- Paulo Jorge Lopes de Moura Dep. of Informatics Office 4.3 Ext. 3257 University of Beira Interior Phone: +351 275319700 6201-001 Covilhã Fax: +351 275319899 Portugal <mailto:pmoura(a)di.ubi.pt> <http://www.di.ubi.pt/~pmoura> <http://www.logtalk.org> ----------------------------------------------------------- ============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------

1 0

can a ciao module be called from a c program?
by nlivic＠u.washington.edu 03 Nov '05

03 Nov '05

hello- i am trying to call a ciao module from c code. my main thread of execution is in c and i need to call a few ciao predicates and return. it seems that Vidal Moreno Rodilla on 11/19/02 asked "Can I use a module written with ciao from a C-programmed application?". But was never answered. from the ciao manual i understand how to create a stand-along ciao executable and it looks straight forward to call into c code from a ciao and THEN call back into ciao. but i need something like: write.pl ------------------------------ :- extern(ciao_call(+int)). ------------------------------ main.c ------------------------------ int main(void) { ciao_call(5); return 0; } ------------------------------- any help or advice would be much appreciated!!! thank you, nik livic ============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------

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 November 2005