|
Showing 1 - 8 of
8 matches in All Departments
|
Functional and Logic Programming - 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings (Paperback, 2008 ed.)
Jacques Garrigue, Manuel Hermenegildo
|
R2,096
R599
Discovery Miles 5 990
Save R1,497 (71%)
|
Out of stock
|
This volume contains the proceedings of the 9th International
Symposium on Functional and Logic Programming (FLOPS 2008), held in
Ise, Japan, April 14-16, 2008 at the Ise City Plaza. FLOPS is a
forum for research on all issues concerning functional progr- ming
and logic programming. In particular it aims to stimulate the cro-
fertilization as well as integration of the two paradigms. The
previous FLOPS meetings took place in Fuji-Susono (1995), Shonan
(1996), Kyoto (1998), Tsukuba(1999), Tokyo(2001), Aizu (2002),
Nara(2004), and againFuji-Susono (2006). Since its 1999 edition,
FLOPS proceedings have been published by Springer in itsLecture
Notes in Computer Science series, as volumes 1722,2024, 2441, 2998
and 3945, respectively. In response to the call for papers, 59
papers were submitted. Each paper was
reviewedbyatleastthreeProgramCommittee members, withthe
helpofexpert external reviewers. The Program Committee meeting was
conducted electro- cally, for a period of two weeks in December
2007. After careful and thorough discussion, the ProgramCommittee
selected20 papers(33%)for presentationat
theconference.Inadditiontothe20contributedpapers,
thesymposiumincluded talks by three invited speakers: Peter Dybjer
(Chalmers University of Techn- ogy), Naoki Kobayashi (Tohoku
University) and Torsten Schaub (University of P
|
Practical Aspects of Declarative Languages - 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings (Paperback, 2005 ed.)
Manuel Hermenegildo, Daniel Cabeza
|
R1,564
Discovery Miles 15 640
|
Out of stock
|
The International Symposium on Practical Aspects of Declarative
Languages (PADL) is a forum for researchers and practioners to
present original work emphasizing novel applications and
implementation techniques for all forms of declarativeconcepts,
includingfunctional, logic, constraints, etc.Declarativel- guages
build on sound theoretical foundations to provide attractive
frameworks for application development. These languages have been
successfully applied to a wide array of di?erent real-world
situations, including database management, active networks,
software engineering, decision support systems, or music c-
position; whereas new developments in theory and implementation
have opened up new application areas. Inversely, applications often
drive the progress in the theory and implementation of declarative
systems, as well as bene't from this progress. The 7th PADL
Symposium was held in Long Beach, California on January 10-11,
2005, and was co-located with ACM's Principles of Programming L-
guages(POPL).From36 submitted papers, the ProgramCommittee selected
17 papers for presentation at the symposium, based upon at least
three reviews for eachpaper,
providedfromProgramCommitteemembersandadditionalreferees. Two
invited talks were presented at the conference: one by Norman R-
sey (Harvard University) entitled "Building the World from First
Principles: Declarative Machine Descriptions and Compiler
Construction"; and a second by Saumya Debray (University of
Arizona) entitled "Code Compression." Following what has become a
tradition in PADL symposia, the Program Committee selected one
paper to receive the "Most Practical Paper" award. This year the
paper judged the best in terms of practicality, originality, and
claritywas"AProvablyCorrectCompilerforE?cientModelCheckingofMobile
Processes,"byPingYang, YifeiDong, C.R.Ramakrishnan,
andScottA.Smolka.
This book constitutes the refereed proceedings of the 9th International Static Analysis Symposium, SAS 2002, held in Madrid, Spain in September 2002.The 32 revised full papers presented were carefully reviewed and selected from 86 submissions. The papers are organized in topical sections on theory, data structure analysis, type inference, analysis of numerical problems, implementation, data flow analysis, compiler optimizations, security analyses, abstract model checking, semantics and abstract verification, and termination analysis.
This book constitutes the proceedings of the Seventh International
Symposium on Programming Languages: Implementations, Logics and
Programs, PLILP '95, held in Utrecht, The Netherlands, in September
1995.
The book presents 26 refereed full papers selected from 84
submissions; they report research on declarative programming
languages and provide insights in the relation between the logic of
those languages, implementation techniques, and the use of these
languages in constructing real programs. In addition there are
abstracts or full presentations of three invited talks as well as
eight posters and demonstrations.
This volume constitutes the proceedings of the 6th International
Symposium on Programming Language Implementation and Logic
Programming (PLILP '94), held in Madrid, Spain in September 1994.
The volume contains 27 full research papers selected from 67
submissions as well as abstracts of full versions of 3 invited
talks by renowned researchers and abstracts of 11 system
demonstrations and poster presentations. Among the topics covered
are parallelism and concurrency; implementation techniques; partial
evaluation, synthesis, and language issues; constraint programming;
meta-programming and program transformation; functional-logic
programming; and program analysis and abstract interpretation.
|
Verification, Model Checking, and Abstract Interpretation - 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings (Paperback, Edition.)
Gilles Barthe, Manuel Hermenegildo
|
R2,686
R895
Discovery Miles 8 950
Save R1,791 (67%)
|
Out of stock
|
This volume contains the proceedings of the 11th International
Conference on Veri?cation, Model Checking, and Abstract
Interpretation (VMCAI 2010), held in Madrid, Spain, January 17-19,
2010. VMCAI 2010 was the 11th in a series of meetings. Previous
meetings were held in Port Je?erson (1997), Pisa (1998), Venice
(2002), New York (2003),
Venice(2004),Paris(2005),Charleston(2006),Nice(2007),SanFrancisco(2008),
and Savannah (2009). VMCAI centers on state-of-the-art research
relevant to analysis of programs and systems and drawn from three
research communities: veri?cation, model checking, and abstract
interpretation. A goal is to facilitate interaction, cro-
fertilization, and the advance of hybrid methods that combine two
or all three areas. Topics covered by VMCAI include program
veri?cation, program cert- cation, model checking, debugging
techniques, abstract interpretation, abstract domains, static
analysis, type systems, deductive methods, and optimization. The
Program Committee selected 21 papers out of 57 submissions based on
anonymous reviews and discussions in an electronic Program
Committee me- ing. The principal selection criteria were relevance
and quality.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|