Functional Programming Glasgow 1992

Author : John Launchbury,Patrick Sansom
Publisher : Springer Science & Business Media
Page : 278 pages
File Size : 48,7 Mb
Release : 2012-12-06
Category : Computers
ISBN : 9781447132158

Get Book

Functional Programming, Glasgow 1992 by John Launchbury,Patrick Sansom Pdf

The Glasgow Functional Programming Group is widely recognised for its research in lazy functional languages. Once again this year, for the fifth time, we retreated to a Scottish seaside town to discuss our latest work, this time spending three days in Ayr. We were joined by a number of colleagues from other universities and from industry, with whom we have been enjoying fruitful collaboration. The workshop serves the dual purpose of ensuring that the whole group remains informed of each other's work, and of providing workshop experience for research students. Most participants presented a short talk about their work, supplemented by papers which appeared in a draft proceedings distributed at the workshop. Since then the papers have been reviewed and the majority are now published here following revision. The workshop also contained a lively discussion session on functional language applications, to which the industrial participants made very helpful contributions. One interesting feature of this volume is the number of papers addressing practical issues of realistic use of functional languages, from benchmarking and profiling, to user interfaces and file handling. It is perhaps indicative that at last lazy functional languages are being used for significantly larger applications than has been typical in the past. This type of paper is likely to feature prominently in relevant conference proceedings for the next few years. Other papers here continue to address more theoretical topics, such as program logic, semantics of non determinism, program analysis, and loop detection.

Author : Anonim
Publisher : Unknown
Page : 128 pages
File Size : 54,6 Mb
Release : 1993
Category : Functional programming (Computer science)
ISBN : OCLC:1154925683

Get Book

Functional Programming, Glasgow 1992 by Anonim Pdf

Author : John Launchbury,Patrick Sansom
Publisher : Springer
Page : 271 pages
File Size : 48,8 Mb
Release : 1993-05-19
Category : Computers
ISBN : 3540198202

Get Book

Functional Programming, Glasgow 1992 by John Launchbury,Patrick Sansom Pdf

The Glasgow Functional Programming Group is widely recognised for its research in lazy functional languages. Once again this year, for the fifth time, we retreated to a Scottish seaside town to discuss our latest work, this time spending three days in Ayr. We were joined by a number of colleagues from other universities and from industry, with whom we have been enjoying fruitful collaboration. The workshop serves the dual purpose of ensuring that the whole group remains informed of each other's work, and of providing workshop experience for research students. Most participants presented a short talk about their work, supplemented by papers which appeared in a draft proceedings distributed at the workshop. Since then the papers have been reviewed and the majority are now published here following revision. The workshop also contained a lively discussion session on functional language applications, to which the industrial participants made very helpful contributions. One interesting feature of this volume is the number of papers addressing practical issues of realistic use of functional languages, from benchmarking and profiling, to user interfaces and file handling. It is perhaps indicative that at last lazy functional languages are being used for significantly larger applications than has been typical in the past. This type of paper is likely to feature prominently in relevant conference proceedings for the next few years. Other papers here continue to address more theoretical topics, such as program logic, semantics of non determinism, program analysis, and loop detection.

Author : Kevin Hammond,David N. Turner,Patrick M. Sansom
Publisher : Springer Science & Business Media
Page : 267 pages
File Size : 48,9 Mb
Release : 2013-03-09
Category : Mathematics
ISBN : 9781447135739

Get Book

Functional Programming, Glasgow 1994 by Kevin Hammond,David N. Turner,Patrick M. Sansom Pdf

This is the proceedings of the seventh annual workshop held by the Glasgow Functional Programming Group. The purpose of the workshop is to provide a focus for new research, to foster research contacts with other functional language researchers, and to provide a platform for research students to develop their presentation skills. As in previous years, we spent three days closeted together in a pleasant seaside town, isolated from normal work commitments. We were joined by colleagues from other universities (both UK and abroad) and from industry. Workshop participants presented a short talk about their current research work, and produced a paper which appeared in a draft proceedings. These papers were then reviewed and revised in the light of discussions at the workshop and the referees' comments. A selection of those revised papers (the majority of those presented at the workshop) appears here in the published proceedings. The papers themselves cover a wide span, from theoretical work on algebras and bisimilarity to experience with a real-world medical applica tion. Unsurprisingly, given Glasgow's track record, there is a strong emphasis on compilation techniques and optimisations, and there are also several papers on concurrency and parallelism.

Author : John T. O'Donnell,Kevin Hammond
Publisher : Springer Science & Business Media
Page : 297 pages
File Size : 42,5 Mb
Release : 2012-12-06
Category : Computers
ISBN : 9781447132363

Get Book

Functional Programming, Glasgow 1993 by John T. O'Donnell,Kevin Hammond Pdf

The Functional Programming Group at the University of Glasgow was started in 1986 by John Hughes and Mary Sheeran. Since then it has grown in size and strength, becoming one of the largest computing science research groups at Glasgow and earning an international reputation. The first Glasgow Functional Programming Workshop was organised in the summer of 1988. Its purpose was threefold: to provide a snapshot of all the research going on within the group, to share research ideas between Glaswegians and colleagues in the U.K. and abroad, and to introduce research students to the art of writing and presenting papers at a semi-formal (but still local and friendly) conference. The success of the first workshop has led to an annual series: Rothesay (1988), Fraserburgh (1989), Ullapool (1990). Portree (1991), Ayr (1992), and the workshop reported in these proceedings: Ayr (1993). Most participants wrote a paper that appeared in the draft proceedings (distributed at the workshop), and each draft paper was presented by one of the authors. The papers were all refereed by several other participants at the workshop, both internal and external, and the programme committee selected papers for these proceedings. Most papers have been revised twice, based firstly on feedback at the workshop, and secondly using the referee reports.

Author : Sam Lindley,Conor McBride,Phil Trinder,Don Sannella
Publisher : Springer
Page : 479 pages
File Size : 43,9 Mb
Release : 2016-03-30
Category : Computers
ISBN : 9783319309361

Get Book

A List of Successes That Can Change the World by Sam Lindley,Conor McBride,Phil Trinder,Don Sannella Pdf

This volume is published in Honor of Philip Wadler on the occasion of his 60th birthday, and the collection of papers form a Festschrift for him. The contributions are made by some of the many who know Phil and have been influenced by him. The research papers included here represent some of the areas in which Phil has been active, and the editors thank their colleagues for agreeing to contribute to this Festschrift. We attempt to summarize Phil Wadler's scientific achievements. In addition, we describe the personal style and enthusiasm that Phil has brought to the subject.

Author : J.P. Bowen,J.E. Nicholls
Publisher : Springer Science & Business Media
Page : 350 pages
File Size : 46,5 Mb
Release : 2013-03-09
Category : Computers
ISBN : 9781447135562

Get Book

Z User Workshop, London 1992 by J.P. Bowen,J.E. Nicholls Pdf

The Z notation has been developed at the Programming Research Group at the Oxford University Computing Laboratory and elsewhere for over a decade. It is now used by industry as part of the software (and hardware) development process in both Europe and the USA. It is currently undergoing BSI standardisation in the UK, and has been proposed for ISO standardisation internationally. In recent years researchers have begun to focus increasingly on the development of techniques and tools to encourage the wider application of Z and other formal methods and notations. This volume contains papers from the Seventh Annual Z User Meeting, held in London in December 1992. In contrast to previous years the meeting concentrated specifically on industrial applications of Z, and a high proportion of the participants came from an industrial background. The theme is well represented by the four invited papers. Three of these discuss ways in which formal methods are being introduced, and the fourth presents an international survey of industrial applications. It also provides a reminder of the improvements which are needed to make these methods an accepted part of software development. In addition the volume contains several submitted papers on the industrial use of Z, two of which discuss the key area of safety-critical applications. There are also a number of papers related to the recently-completed ZIP project. The papers cover all the main areas of the project including methods, tools, and the development of a Z Standard, the first publicly-available version of which was made available at the meeting. Finally the volume contains a select Z bibliography, and section on how to access information on Z through comp.specification.z, the international, computer-based USENET newsgroup. Z User Workshop, London 1992 provides an important overview of current research into industrial applications of Z, and will provide invaluable reading for researchers, postgraduate students and also potential industrial users of Z.

Author : Kevin Ryan,Richard F.E. Sutcliffe
Publisher : Springer Science & Business Media
Page : 354 pages
File Size : 50,7 Mb
Release : 2012-12-06
Category : Computers
ISBN : 9781447132073

Get Book

AI and Cognitive Science ’92 by Kevin Ryan,Richard F.E. Sutcliffe Pdf

The annual Irish Conferences on Artificial Intelligence and Cognitive Science have become the major forum in Ireland for the discussion of various aspects of artificial intelligence. Their aim is to provide a forum where researchers can present their current work, and where industrial and commercial users can relate this work to their own practical needs and experiences. Although the emphasis of the conferences is on Irish research, there are also important contributions from Europe, Australia, Canada, and the USA. This volume is based on the proceedings of the Fifth Irish Conference on Artificial Intelligence and Cognitive Science (AICS'92), which was held at the University of Limerick, Ireland, from 10-11 September 1992. The conference was divided into 6 sessions, covering knowledge representation, cognitive foundations, natural language 1 and 2, learning and expert systems, and nov§ el aspects of artificial intelligence and cognitive science. Because of the high number of papers submitted to the conference, a poster session was run in addition to the plenary sessions. Each paper presented at the poster session is represented in this volume by a four page abstract. Among the specific topics covered in this volume are: a model-based theory of conceptual combination; the nature and development of reasoning strategies; word recognition as a parsing problem; a knowledge-based autonomous vehicle system for emergency management support; the construction and use of scope neutral discourse entities; computer-based iconic communication; and exceptions in multiple inheritance systems. AI and Cognitive Science '92 provides a comprehensive record of current research into this important field. It will be of interest to researchers, lecturers and postgraduate students in a variety of disciplines related to artificial intelligence and cognitive science.

Author : Richard Cooper
Publisher : Springer Science & Business Media
Page : 464 pages
File Size : 44,9 Mb
Release : 2012-12-06
Category : Computers
ISBN : 9781447134237

Get Book

Interfaces to Database Systems (IDS92) by Richard Cooper Pdf

Despite the volume of research carried out into the design of database systems and the design of user interfaces, there is little cross-fertilization between the two areas. The control of user interfaces to database systems is, therefore, significantly less advanced than other aspects of DBMS design. As database functionality is used in a wider range of areas, such as design applications, the suitability of the user interface is becoming increasingly important. It is, therefore, necessary to begin applying the knowledge developed by HCI researchers to the specialised domain of database systems. This volume contains revised papers from the International Workshop on Interfaces to Database Systems, held in Glasgow, 1-3 July 1992. The workshop aimed to develop an interaction between the design of database systems and user interfaces. It discussed both the production of interfaces tailored to particular applications, and also more general systems within which interfaces can be developed. Some of the papers concentrate on usability aspects, some discuss different interface metaphors, whilst others tackle the question of designing a general conceptual model. The latter topic is of particular importance, as it is only by achieving an abstract model of what the user understands to be in the database that the data can be associated with appropriate interface facilities. Among the contents of the volume are: integrated interfaces to publicly available databases; database query interface for medical information systems; an integrated approach to task oriented database retrieval interfaces; GRADI: a graphical database interface for a multimedia DBMS; cognitive view mechanism for multimedia information systems; a graphical schema representation for object oriented databases; a conceptual framework for error analysis in SQL interfaces; a browser for a version entity relationship database. Interfaces to Database Systems (IDS92) is unique in that it brings together a variety of approaches from the database and HCI research communities. It will provide essential reading for researchers of database systems and also industrial developers of DBMS.

Author : Johann Eder,Leonid A. Kalinichenko
Publisher : Springer Science & Business Media
Page : 435 pages
File Size : 43,6 Mb
Release : 2013-06-29
Category : Computers
ISBN : 9781447135777

Get Book

East/West Database Workshop by Johann Eder,Leonid A. Kalinichenko Pdf

This volume results from the four-day scientific Second International East/West Database Workshop which took place 25th-28th September 1994, in Klagenfurt, Austria, continuing a series of workshops started in Kiev in 1990 (Lecture Notes in Computer Science No. 504, Springer, "Next Generation Information System Technology"). The aims of this workshop are twofold: first, to provide a forum for the presentation and in-depth discussion of scientific achievements in the field of advanced databases that will effectively improve the building and use of future information systems; second, to establish and increase communication between research communities which were formerly separated and, therefore, had only rare opportunities to interact. It should establish contacts between researchers from the East and from the West to make exchange of ideas possible and to trigger collaborations. However, it is not only political borders which change their perviousness as a result of -or giving rise to -new autonomies or new possibilities for interaction and collaboration. The same happens with the borders between scientific areas, in particular in the dynamically evolving areas of computer science. Databases and programming languages are integrated in object oriented databases, database and information retrieval technology form together the basis for modern (multimedia) information systems. Furthermore, the borders between different information systems change and allow various forms of collaboration while maintaining different degrees of autonomy. Heterogeneous and distributed databases are enabling technologies for these systems.

Author : Graham Birtwistle,Alan Davis
Publisher : Springer Science & Business Media
Page : 272 pages
File Size : 43,6 Mb
Release : 2013-04-17
Category : Mathematics
ISBN : 9781447135753

Get Book

Asynchronous Digital Circuit Design by Graham Birtwistle,Alan Davis Pdf

As the costs of power and timing become increasingly difficult to manage in traditional synchronous systems, designers are being forced to look at asynchronous alternatives. Based on reworked and expanded papers from the VII Banff Higher Order Workshop, this volume examines asynchronous methods which have been used in large circuit design, ranging from initial formal specification to more standard finite state machine based control models. Written by leading practitioners in the area, the papers cover many aspects of current practice including practical design, silicon compilation, and applications of formal specification. It also includes a state-of-the-art survey of asynchronous hardware design. The resulting volume will be invaluable to anyone interested in designing correct asynchronous circuits which exhibit high performance or low power operation.

Author : Malcolm Atkinson,David Maier,Veronique Benzaken
Publisher : Springer Science & Business Media
Page : 559 pages
File Size : 40,8 Mb
Release : 2012-12-06
Category : Computers
ISBN : 9781447121220

Get Book

Persistent Object Systems by Malcolm Atkinson,David Maier,Veronique Benzaken Pdf

The Sixth International Workshop on Persistent Object Systems was held at Les Mazets des Roches near Tarascon, Provence in southern France from the fifth to the ninth of September 1994. The attractive context and autumn warmth greeted the 53 participants from 12 countries spread over five continents. Persistent object systems continue to grow in importance. Almost all significant uses of computers to support human endeavours depend on long-lived and large-scale systems. As expectations and ambitions rise so the sophistication of the systems we attempt to build also rises. The quality and integrity of the systems and their feasibility for supporting large groups of co-operating people depends on their technical founda tion. Persistent object systems are being developed which provide a more robust and yet simpler foundation for these persistent applications. The workshop followed the tradition of the previous workshops in the series, focusing on the design, implementation and use of persistent object systems in particular and persistent systems in general. There were clear signs that this line of research is maturing, as engineering issues were discussed with the aid of evidence from operational systems. The work presented covered the complete range of database facilities: transactions, concurrency, distribution, integrity and schema modifica tion. There were examples of very large scale use, one involving tens of terabytes of data. Language issues, particularly the provision of reflection, continued to be important.

Author : Geoffrey Burn,Simon Gay,Mark Ryan
Publisher : Springer Science & Business Media
Page : 333 pages
File Size : 43,9 Mb
Release : 2012-12-06
Category : Mathematics
ISBN : 9781447135036

Get Book

Theory and Formal Methods 1993 by Geoffrey Burn,Simon Gay,Mark Ryan Pdf

This volume contains the proceedings of the fIrst workshop held by the Theory and Formal Methods Section ofthe Imperial College Department of Computing. It contains papers from almost every member of the Section, from our long-term academic visitors, and from those who have recently left us. The papers fall into four broad areas: • semantics • concurrency • logic • specification with some papers spanning a number of disciplines. The subject material varies from work on mathematical foundations to practical applications of this theory, expressing the Section's commitment to both the foundations of computer science, and the application of theory to real computing problems. In preparing the workshop and these proceedings, care was taken to ensure that there were papers overviewing a field, as well as ones whose primary aim was to present new scientifIc results. This had a dual purpose: to bring our Section members up to speed in some of the areas being worked on by the Section; and to provide the reader of the proceedings not only with a good introduction to many of the specifIc areas being investigated by the Section, but also with details of some of our latest results. All the papers presented at the workshop were revised following comments made by the workshop participants, and all were subsequently reviewed by at least two people before producing the fInal versions contained in this volume.

Author : David Till
Publisher : Springer Science & Business Media
Page : 315 pages
File Size : 53,7 Mb
Release : 2012-12-06
Category : Mathematics
ISBN : 9781447132400

Get Book

6th Refinement Workshop by David Till Pdf

The Sixth Refinement Workshop took place at City University in London from 5th to 7th January 1994. The present volume includes all of the papers which were submitted and accepted for presentation, together with two papers by invited speakers. The workshops in the series have generally occurred at one year intervals but in this last case a two year period had elapsed. These workshops have established themselves as an important event in the calendar for all those who are interested in progress in the underlying theory of refinement and in the take-up by industry of the methods supported by that theory. One of the proposed themes of the sixth workshop was the reporting of successful adoption in industry of rigorous software development methods. The programme committee was perhaps slightly disappointed by the response from industry to the call in this respect. However, the recent period could be characterised as one of consolidation, when those companies which have made the decision that formal development methods are important to their business have been adopting them where appropriate and finding them to be worthwhile. On the other hand,. the difficult economic climate which exists in most parts of the developed world is perhaps not the context within which companies still dubious about the benefits are goil'\g to opt for making major changes in their working practices.

Author : J.P. Bowen,J.A. Hall
Publisher : Springer Science & Business Media
Page : 405 pages
File Size : 54,5 Mb
Release : 2012-12-06
Category : Computers
ISBN : 9781447134527

Get Book

Z User Workshop, Cambridge 1994 by J.P. Bowen,J.A. Hall Pdf

This volume contains papers from the Eighth Z User Meeting, to be held at the University of Cambridge from 29 - 30 June 1994. The papers cover a wide range of issues associated with Z and formal methods, with particular reference to practical application. These issues include education, standards, tool support, and interaction with other design paradigms such as consideration of real-time and object-oriented approaches to development. Among the actual topics covered are: the formal specification in Z of Defence Standard 00-56; formal specification of telephone features; specifying and interpreting class hierarchies in Z; and software quality assurance using the SAZ method. Z User Workshop, Cambridge 1994 provides an important overview of current research into industrial applications of Z, and will provide invaluable reading for researchers, postgraduate students and also potential industrial users of Z.