Informatik (15 259 Artikel)

This volume contains the papers presented at the 4th Fuji International S- posium on Functional and Logic Programming (FLOPS'99) held in Tsukuba, Japan, November 11-13, 1999, and hosted by the Elec...

This book constitutes the refereed proceedings of the 11th International Symposium on Functional and Logic Programming, FLOPS 2012, held in Kobe, Japan, in May 2012. The 19 research papers and 3 sy...

The ?rst international conference on Functional Imaging and Modeling of the 1 Heart (FIMH) was held in Helsinki, Finland, in November 2001, thanks to the strongscienti?ccollaborationbetweenFrancean...

Imaging and Image Analysis.- Local Wall-Motion Classification in Echocardiograms Using Shape Models and Orthomax Rotations.- A Fully 3D System for Cardiac Wall Deformation Analysis in MRI Data.- Au...

This book constitutes the refereed proceedings of the 5th International Conference on Functional Imaging and Modeling of the Heart, FIMH 2009, held in Nice, France in June 2009. The 54 revised full...

is a relatively new area of computer science. These proceedings contain 25 papers representing an excellent snapshot of the current state of functional programming and are written by the leading co...

Miranda: A non-strict functional language with polymorphic types.- Data flow graph optimization in if1.- Strictness analysis -- a practical approach.- The categorical abstract machine.- High order ...

This volume contains the proceedings of the Third Conference on Functional Programming Languages and Computer Architecture held in Portland, Oregon, September 14-16, 1987. This conference was a suc...

This book offers a comprehensive view of the best and the latest work in functional programming. It is the proceedings of a major international conference and contains 30 papers selected from 126 s...

This collection of papers arose from a series of lectures for workers in computer science and other disciplines. The lectures were intended to familiarize them with some of the most exciting advanc...

Lifetime Analysis.- Compiling Laziness by Partial Evaluation.- Strictness Analysis in 4D.- An Algorithmic and Semantic Approach to Debugging.- Abstract Interpretation of Term Graph Rewriting System...

The Glasgow functional programming group has held a workshop each summer since 1988. The entire group, accompanied by a selection of colleagues from other institutions, retreats to a pleasant Scott...

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 computin...

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 conta...

This book aims at developers, assessors, certification bodies, and purchasers of safety instrumented systems and informs the reader about the most important PoC documents. A typical PoC documentati...