Erlang

swMATH7202MaRDI QIDQ19254FDOQ19254

Author name not available (Why is that?)

Described by source

• Erlang programming.
• Unnamed Publication

Cited In (only showing first 100 items - show all)

• Title not available (Why is that?)
• Object-oriented programming: some history, and challenges for the next fifty years
• ABS-NET: fully decentralized runtime adaptation for distributed objects
• Transactional events
• \textsc{PSync}: a partially synchronous language for fault-tolerant distributed algorithms
• On modelling mobility
• ReverCSP: time-travelling in CSP computations
• Adaptable processes
• Computing in unpredictable environments: semantics, reduction strategies, and program transformations
• Title not available (Why is that?)
• Dynamic structural operational semantics
• Declarative debugging of concurrent Erlang programs
• Preemptive type checking
• Model-based fault injection for testing gray-box systems
• Higher-order pattern anti-unification in linear time
• Concolic execution in functional programming by program instrumentation
• 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
• Operational semantics for declarative multi-paradigm languages
• Formal Approaches to Software Testing
• The Orc Programming Language
• Use Cases for Refactoring in Erlang
• VoDKA: Developing a Video-on-Demand Server using Distributed Functional Programming
• Amalgamating sessions and methods in object-oriented languages with generics
• 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
• Computation semantics of the functional scientific workflow language Cuneiform
• Verification of Erlang processes by dependency pairs
• Towards an Implementation of a Computer Algebra System in a Functional Language
• Synthesising correct concurrent runtime monitors
• A theory of reversibility for Erlang
• Adaptive locks: combining transactions and locks for efficient concurrency
• Program equivalence in an untyped, call-by-value functional language with uncurried functions
• Erlang code evolution control
• Resource control for synchronous cooperative threads
• Title not available (Why is that?)
• Reversibility in Erlang: imperative constructs
• Polymorphic success types for Erlang
• Mutatis mutandis: safe and predictable dynamic software updating
• Computing race variants in message-passing concurrent programming with selective receives
• Integrating deployment architectures and resource consumption in timed object-oriented models
• simpA: an agent-oriented approach for programming concurrent applications on top of Java
• Scheduling problems in parallel systems for telecommunications
• A reversible semantics for Erlang
• Scala actors: Unifying thread-based and event-based programming
• Quantified abstract configurations of distributed systems
• Applying prolog to develop distributed systems
• Rely-guarantee termination and cost analyses of loops with concurrent interleavings
• Logic-based program synthesis and transformation. 23rd international symposium, LOPSTR 2013, Madrid, Spain, September 18--19, 2013. Revised selected papers
• A formal, resource consumption-preserving translation of actors to Haskell
• The development of Erlang
• Equational abstractions for reducing the state space of rewrite theories
• A formal approach to the engineering of domain-specific distributed systems
• PerformERL: a performance testing framework for Erlang
• Title not available (Why is that?)
• ReCaml: execution state as the cornerstone of reconfigurations
• Polymorphic types in Erlang function specifications
• Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach
• Progress-preserving refinements of CTA
• Finding Counter Examples in Induction Proofs
• Gaining trust by tracing security protocols
• Optimal dynamic partial order reduction
• Promoting rewriting to a programming language: A compiler for non-deterministic rewrite programs in associative-commutative theories
• Validating timed models of deployment components with parametric concurrency
• Graph-based communication in Eden
• Testing in functional programming
• Concurrent objects à la carte
• Title not available (Why is that?)
• Computer Aided Systems Theory – EUROCAST 2005
• Refactoring tools for functional languages
• Title not available (Why is that?)
• Extended pattern matching for embedded languages
• Automated synthesis of distributed controllers
• Towards Modelling Actor-Based Concurrency in Term Rewriting
• Title not available (Why is that?)
• 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
• Metrics based optimization of functional source code
• Title not available (Why is that?)
• Title not available (Why is that?)
• lambda!-calculus, Intersection Types, and Involutions
• Introduction to concurrency in programming languages.
• Adaptation of a Refactoring DSL for the Object-Oriented Paradigm
• The buffered \(\pi\)-calculus: a model for concurrent languages
• Title not available (Why is that?)
• Static rules of variable scoping in Erlang
• Tutorial on Subtype Marks
• Efficient memory management for concurrent programs that use message passing
• Towards symbolic execution in Erlang
• Title not available (Why is that?)
• Permission-based separation logic for message-passing concurrency
• Defining actions in concurrent declarative programming
• Model checking Erlang programs -- abstracting recursive function calls
• Design and analysis of purely functional programs.
• Memory-efficient tail calls in the JVM with imperative functional objects
• Equational abstractions for model checking Erlang programs
• On Distributed Monitoring and Synthesis
• Implicitly threaded parallelism in Manticore
• Horn binary serialization analysis

This page was built for software: Erlang