Programming Languages

Name: Programming Languages | 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings
Brand: Springer
Price: 42.79 EUR
Availability: OnlineOnly

19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings

Alberto Pardo S. Doaitse Swierstra(Editor)

Springer (Publisher)

Published on 6. October 2015

IX, 143 pages

E-Book

PDF with digital watermarking

System requirements

978-3-319-24012-1 (ISBN)

€42.79incl. 7% vat

System requirements

for PDF with digital watermarking

E-Book Single Licence

Available for download

Description

More details

Other editions

Content

Intro
Preface
Organization
Contents
Automatic Inference of Loop Complexity Through Polynomial Interpolation
1 Introduction
2 Overview
3 Complexity Analysis
3.1 Input Analysis
3.2 Loop Dependence Analysis
3.3 Code Instrumentation
3.4 Polynomial Interpolation
4 Experiments
5 Related Works
6 Conclusion
References
Type Inference for GADTs and Anti-unification
1 Introduction
2 Preliminaries
2.1 Anti-unification
2.2 System CT
3 Type Inference
3.1 Examples
3.2 Term and Type Syntax
3.3 Algorithm Definition
3.4 GADT and Principal Type
4 Related Work
5 Conclusion
References
Preserving Lexical Scoping When Dynamically Embedding Languages
1 Introduction
2 Related Work
3 Lua2AST
3.1 Function Lua2ast.toAST(func)
3.2 Function Lua2ast.compile(ast)
4 Semantics
5 Conclusion
References
The Dinamica Virtual Machine for Geosciences
1 Introduction
2 Dinamica in One Example
3 The Dinamica Virtual Machine
4 Optimizations
4.1 Fusion
4.2 Window Optimizations
5 Related Work
6 Conclusion
References
Go Model and Object Oriented Programming
1 Introduction
2 Go: A First Glance
3 Mini-Go: A Model Language for Go OO Model
3.1 Typing
3.2 Semantics
3.3 Redundancies of Mini-Go and Go
4 Go: A Simplified OO Model Language for Go
4.1 Typing Go
4.2 Operational Semantics
5 Object Model
6 Related Work and Conclusions
References
An Intrinsic Denotational Semantics for a Lazy Functional Language
1 Introduction
2 Syntax and Semantics
3 Type System
4 Denotational Semantics
5 Further Work
References
Color Flipping
1 Introduction
2 Color Flipping
3 Color Flipping Algorithm
4 Experimental Results and Discussion
4.1 Appel and George Graph Experiments
4.2 LLVM Experiments
5 Conclusion
References
Deadlocks as Runtime Exceptions
1 Introduction
2 Bug Reports Study
2.1 Data Collection
2.2 Data Labeling
2.3 Results Analysis
2.4 Threats to Validity
3 Deadlock Detection
3.1 Extension: Raising Exceptions in All Threads
3.2 Implementation
4 Evaluation
4.1 Usability Evaluation
4.2 Performance Overhead
5 Conclusion
References
Model-Driven Engineering Based on Attribute Grammars
1 Introduction
2 Model-Driven Engineering
3 AG-based Structural and Semantical Conformance
4 AG-based Model Transformations
5 Related Work
6 Conclusions and Future Work
References
Composable Memory Transactions for Java Using a Monadic Intermediate Language
1 Introduction
2 Composable Memory Transactions for Java
2.1 CMTJava and the Bank Account Example
3 The Monadic Intermediate Language: The STM Monad
3.1 Monads and Closures
3.2 The STM Monad
4 Implementation of the RTS for Transactions
4.1 Software Transactional Memory Design Space
4.2 Transactional Algorithms Implemented
4.3 FieldInfos and the Implementation of retry
5 Preliminary Performance Measurements
6 Related Work
7 Conclusions and Future Work
References
Author Index

System requirements

Save as PDF Copy link into clipboard

Schweitzer Fachinformationen

Programming Languages

Description

More details

Other editions

Additional editions

Content

System requirements