Erlang
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Finding Counter Examples in Induction Proofs
- Object-oriented programming: some history, and challenges for the next fifty years
- Promoting rewriting to a programming language: A compiler for non-deterministic rewrite programs in associative-commutative theories
- Optimal dynamic partial order reduction
- Validating timed models of deployment components with parametric concurrency
- Testing in functional programming
- scientific article; zbMATH DE number 2088359 (Why is no real title available?)
- \textsc{PSync}: a partially synchronous language for fault-tolerant distributed algorithms
- ABS-NET: fully decentralized runtime adaptation for distributed objects
- Transactional events
- On modelling mobility
- ReverCSP: time-travelling in CSP computations
- Computing in unpredictable environments: semantics, reduction strategies, and program transformations
- Concurrent objects à la carte
- Dynamic structural operational semantics
- Declarative debugging of concurrent Erlang programs
- Preemptive type checking
- Adaptable processes
- scientific article; zbMATH DE number 1830942 (Why is no real title available?)
- scientific article; zbMATH DE number 7566052 (Why is no real title available?)
- Model-based fault injection for testing gray-box systems
- Computer Aided Systems Theory – EUROCAST 2005
- Refactoring tools for functional languages
- Higher-order pattern anti-unification in linear time
- scientific article; zbMATH DE number 1954123 (Why is no real title available?)
- Extended pattern matching for embedded languages
- Concolic execution in functional programming by program instrumentation
- Automated synthesis of distributed controllers
- Towards Modelling Actor-Based Concurrency in Term Rewriting
- scientific article; zbMATH DE number 6292199 (Why is no real title available?)
- Functional and constraint logic programming. 20th international workshop, WFLP 2011, Odense, Denmark, July 19th. Proceedings
- A coordination protocol language for power grid operation control
- On distributability
- Metrics based optimization of functional source code
- Principled software development. Essays dedicated to Arnd Poetzsch-Heffter on the occasion of his 60th birthday. Selected papers based on the presentations at the symposium, Kaiserslautern, Germany, November 2018
- Operational semantics for declarative multi-paradigm languages
- scientific article; zbMATH DE number 2000438 (Why is no real title available?)
- scientific article; zbMATH DE number 2090841 (Why is no real title available?)
- Formal Approaches to Software Testing
- The Orc Programming Language
- Use Cases for Refactoring in Erlang
- lambda!-calculus, Intersection Types, and Involutions
- Introduction to concurrency in programming languages.
- VoDKA: Developing a Video-on-Demand Server using Distributed Functional Programming
- Amalgamating sessions and methods in object-oriented languages with generics
- scientific article; zbMATH DE number 1612498 (Why is no real title available?)
- The buffered \(\pi\)-calculus: a model for concurrent languages
- Adaptation of a Refactoring DSL for the Object-Oriented Paradigm
- Abstraction and model checking of core Erlang programs in Maude
- Global reproducibility through local control for distributed active objects
- Parallel actor monitors: disentangling task-level parallelism from data partitioning in the actor model
- Synthesising correct concurrent runtime monitors
- simpA
- Klava
- Kieker
- MetaKlaim
- Erlang/OTP
- JoCaml
- VoDKA
- SIGNAL
- IC2D
- Haskell
- AS 75
- ARMCI
- AgentSpeak
- Jason
- occam-pi
- QuickCheck
- CloneDigger
- Pict
- Creol
- Autolocker
- LIME
- Linda
- Multilisp
- WADE
- Timber
- ULM
- Rebeca
- QuakeTM
- SNZI
- HaRe
- ASPIER
- evt
- McErlang
- COSTABS
- Fudgets
- SCELlight
- Feather-Trace
- iCanCloud
- CouchDB
- ReCaml
- CArtAgO
- JADE
- Jadex
- DiSTM
- RefactorErl
- Java-MOP
- Nikola
- Wrangler
This page was built for software: Erlang
