Erlang
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Amalgamating sessions and methods in object-oriented languages with generics
- Scala actors: Unifying thread-based and event-based programming
- simpA
- Scheduling problems in parallel systems for telecommunications
- Computing in unpredictable environments: semantics, reduction strategies, and program transformations
- Klava
- Kieker
- MetaKlaim
- VoDKA
- JoCaml
- Erlang/OTP
- SIGNAL
- On modelling mobility
- IC2D
- Haskell
- AS 75
- Parallel actor monitors: disentangling task-level parallelism from data partitioning in the actor model
- Erlang code evolution control
- ARMCI
- Model-based fault injection for testing gray-box systems
- A theory of reversibility for Erlang
- AgentSpeak
- Jason
- occam-pi
- QuickCheck
- Declarative debugging of concurrent Erlang programs
- Preemptive type checking
- A coordination protocol language for power grid operation control
- ReverCSP: time-travelling in CSP computations
- PerformERL: a performance testing framework for Erlang
- Pict
- CloneDigger
- WADE
- Gaining trust by tracing security protocols
- ULM
- Reversibility in Erlang: imperative constructs
- Timber
- On distributability
- Multilisp
- Creol
- Rebeca
- LIME
- Linda
- SNZI
- Autolocker
- QuakeTM
- Computing race variants in message-passing concurrent programming with selective receives
- McErlang
- HaRe
- evt
- ASPIER
- COSTABS
- SCELlight
- Fudgets
- Feather-Trace
- iCanCloud
- A formal approach to the engineering of domain-specific distributed systems
- CouchDB
- ReCaml
- Dynamic structural operational semantics
- Higher-order pattern anti-unification in linear time
- JADE
- Jadex
- CArtAgO
- Rely-guarantee termination and cost analyses of loops with concurrent interleavings
- A formal, resource consumption-preserving translation of actors to Haskell
- A reversible semantics for Erlang
- A reduction semantics for direct-style asynchronous observables
- Operational semantics for declarative multi-paradigm languages
- Efficient memory management for concurrent programs that use message passing
- Resource control for synchronous cooperative threads
- RefactorErl
- Wrangler
- DiSTM
- Java-MOP
- Nikola
- Program equivalence in an untyped, call-by-value functional language with uncurried functions
- scientific article; zbMATH DE number 1612498 (Why is no real title available?)
- Promoting rewriting to a programming language: A compiler for non-deterministic rewrite programs in associative-commutative theories
- scientific article; zbMATH DE number 1691455 (Why is no real title available?)
- httperf
- go
- Polymorphic types in Erlang function specifications
- Featherweight Java
- \textsc{PSync}: a partially synchronous language for fault-tolerant distributed algorithms
- Defining actions in concurrent declarative programming
- Model checking Erlang programs -- abstracting recursive function calls
- Equational abstractions for model checking Erlang programs
- Abstraction and model checking of core Erlang programs in Maude
- FCore
- HPROF
- Extended pattern matching for embedded languages
- Synthesis of distributed mobile programs using monadic types in Coq
- Metrics based optimization of functional source code
- PSync
- Distal
- Implicitly threaded parallelism in Manticore
- Akkaprof
- Validating timed models of deployment components with parametric concurrency
- scientific article; zbMATH DE number 997344 (Why is no real title available?)
This page was built for software: Erlang
