Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang (English)
- New search for: Gustafsson, Per
- New search for: Sagonas, Konstantinos
- New search for: Gustafsson, Per
- New search for: Sagonas, Konstantinos
In:
Practical Aspects of Declarative Languages
;
94-108
;
2006
- Article/Chapter (Book) / Electronic Resource
-
Title:Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang
-
Contributors:Gustafsson, Per ( author ) / Sagonas, Konstantinos ( author )
-
Published in:Lecture Notes in Computer Science ; 4354 ; 94-108
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin, Heidelberg
-
Publication date:2006-01-01
-
Size:15 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
QuickCheck Testing for Fun and ProfitHughes, John et al. | 2006
- 33
-
A Constraint Programming Approach to Bioinformatics Structural ProblemsBarahona, Pedro / Krippahl, Ludwig et al. | 2006
- 50
-
Rewriting Haskell StringsCoutts, Duncan / Stewart, Don / Leshchinskiy, Roman et al. | 2006
- 65
-
Instantly Turning a Naive Exhaustive Search into Three Efficient Searches with PruningMorimoto, Takeshi / Takano, Yasunao / Iwasaki, Hideya et al. | 2006
- 80
-
Algebraic Knowledge Discovery Using HaskellFisseler, Jens / Kern-Isberner, Gabriele / Beierle, Christoph / Koch, Andreas / Müller, Christian et al. | 2006
- 94
-
Applications, Implementation and Performance Evaluation of Bit Stream Programming in ErlangGustafsson, Per / Sagonas, Konstantinos et al. | 2006
- 109
-
Automatic Incrementalization of Prolog Based Static AnalysesEichberg, Michael / Kahl, Matthias / Saha, Diptikalyan / Mezini, Mira / Ostermann, Klaus et al. | 2006
- 124
-
Verification of Java Bytecode Using Analysis and Transformation of Logic ProgramsAlbert, Elvira / Gómez-Zamalloa, Miguel / Hubert, Laurent / Puebla, Germán et al. | 2006
- 140
-
Combining Static Analysis and Profiling for Estimating Execution TimesMera, Edison / López-García, Pedro / Puebla, Germán / Carro, Manuel / Hermenegildo, Manuel V. et al. | 2006
- 155
-
On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled EvaluationRocha, Ricardo et al. | 2006
- 170
-
Compiling Constraint Handling Rules for Efficient Tabled EvaluationSarna-Starosta, Beata / Ramakrishnan, C. R. et al. | 2006
- 185
-
Prolog Performance on Larger DatasetsCosta, Vítor Santos et al. | 2006
- 200
-
BAD, a Declarative Logic-Based Language for Brain ModelingBond, Alan H. et al. | 2006
- 215
-
From Zinc to Design ModelRafeh, Reza / Banda, Maria Garcia / Marriott, Kim / Wallace, Mark et al. | 2006
- 230
-
Inductive Logic Programming by Instance PatternsLiu, Chongbing / Pontelli, Enrico et al. | 2006
- 245
-
ARMC: The Logical Choice for Software Model Checking with Abstraction RefinementPodelski, Andreas / Rybalchenko, Andrey et al. | 2006
- 260
-
The Joins Concurrency LibraryRusso, Claudio et al. | 2006
- 275
-
HPorter: Using Arrows to Compose Parallel ProcessesHuang, Liwen / Hudak, Paul / Peterson, John et al. | 2006
- 290
-
Coupled Schema Transformation and Data Conversion for XML and SQLBerdaguer, Pablo / Cunha, Alcino / Pacheco, Hugo / Visser, Joost et al. | 2006
- 305
-
Aspect-Oriented Programming in Higher-Order and Linear LogicLiang, Chuck C. et al. | 2006
- 320
-
Partial Evaluation of PointcutsKlose, Karl / Ostermann, Klaus / Leuschel, Michael et al. | 2006