53 papers:
TACAS-2014-CaballeroMRT #debugging #declarative #erlang #named #source code- EDD: A Declarative Debugger for Sequential Erlang Programs (RC, EMM, AR, ST), pp. 581–586.
SEFM-2014-RodriguezFHM #erlang #execution #state machine #uml #verification- Execution and Verification of UML State Machines with Erlang (RJR, LÅF, ÁHN, JM), pp. 284–289.
SAS-2013-DOsualdoKO #automation #concurrent #verification- Automatic Verification of Erlang-Style Concurrency (ED, JK, CHLO), pp. 454–476.
IFM-2013-TaylorBD #automation #behaviour #erlang- Automatic Inference of Erlang Module Behaviour (RT, KB, JD), pp. 253–267.
LOPSTR-2013-Vidal #erlang #term rewriting #towards #verification- Towards Erlang Verification by Term Rewriting (GV), pp. 109–126.
ICST-2013-ChristakisGS #concurrent #detection #erlang #fault #source code #testing- Systematic Testing for Detecting Concurrency Errors in Erlang Programs (MC, AG, KFS), pp. 154–163.
TAP-2013-CaballeroMRT #debugging #declarative #erlang #source code- A Declarative Debugger for Sequential Erlang Programs (RC, EMM, AR, ST), pp. 96–114.
ASE-2012-LiT #api #automation #erlang #migration #refactoring #source code- Automated API migration in a user-extensible refactoring tool for Erlang programs (HL, SJT), pp. 294–297.
FASE-2012-LiT #domain-specific language #erlang #refactoring- A Domain-Specific Language for Scripting Refactorings in Erlang (HL, SJT), pp. 501–515.
- FASE-2012-SilvaTT #dependence #erlang #graph
- System Dependence Graphs in Sequential Erlang (JS, ST, CT), pp. 486–500.
- FASE-2011-LiT #clone detection #detection #erlang #incremental #source code
- Incremental Clone Detection and Elimination for Erlang Programs (HL, SJT), pp. 356–370.
CEFP-2011-TothB #erlang #static analysis- Static Analysis of Complex Software Systems Implemented in Erlang (MT, IB), pp. 440–498.
TOOLS-EUROPE-2011-SivieriCG #erlang #rest- Computational REST Meets Erlang (AS, GC, CG), pp. 244–259.
SCAM-2010-LiT #composition #erlang #maintenance #refactoring- Refactoring Support for Modularity Maintenance in Erlang (HL, SJT), pp. 157–166.
FLOPS-2010-Sagonas #concurrent #detection #erlang #fault #source code #static analysis #using- Using Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs (KFS), pp. 13–18.
IFL-2010-PitidisS #erlang- Purity in Erlang (MP, KFS), pp. 137–152.
PADL-2010-ChristakisS #detection #erlang #static analysis- Static Detection of Race Conditions in Erlang (MC, KFS), pp. 119–133.
- PADL-2010-LiT #detection #erlang #source code
- Similar Code Detection and Elimination for Erlang Programs (HL, SJT), pp. 104–118.
PEPM-2009-LiT #clone detection #detection #erlang #refactoring- Clone detection and removal for Erlang/OTP within a refactoring environment (HL, SJT), pp. 169–178.
- CEFP-2009-CesariniT #behaviour #design pattern #erlang #process #programming
- Erlang Behaviours: Programming with Process Design Patterns (FC, SJT), pp. 19–41.
- CEFP-2009-TothBHLTK #behaviour #dependence #erlang #graph #impact analysis #source code #using
- Impact Analysis of Erlang Programs Using Behaviour Dependency Graphs (MT, IB, ZH, LL, MT, TK), pp. 372–390.
ICFP-2009-ClaessenPSHSAW #erlang #quickcheck- Finding race conditions in Erlang with QuickCheck and PULSE (KC, MHP, NS, JH, HS, TA, UTW), pp. 149–160.
PPDP-2009-SagonasA #automation #erlang #refactoring #source code- Automatic refactoring of Erlang programs (KFS, TA), pp. 13–24.
TestCom-FATES-2009-GuoDW #erlang #source code #testing- Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs (QG, JD, NW), pp. 81–96.
- ICFP-2008-ConveyFGMH #case study #erlang #experience
- Experience report: erlang in acoustic ray tracing (CC, AF, CG, DM, LH), pp. 115–118.
WRLA-2006-NeuhausserN07 #abstraction #erlang #maude #model checking #source code- Abstraction and Model Checking of Core Erlang Programs in Maude (MRN, TN), pp. 147–163.
- CEFP-2007-KozsikCHKKLNTV #case study #erlang #refactoring
- Use Cases for Refactoring in Erlang (TK, ZC, ZH, RK, RK, LL, TN, MT, ANV), pp. 250–285.
- ICFP-2007-FredlundS #distributed #functional #model checking #named #programming language
- McErlang: a model checker for a distributed functional programming language (LÅF, HS), pp. 125–136.
- IFL-2007-LiT #erlang #quickcheck #refactoring #testing
- Testing Erlang Refactorings with QuickCheck (HL, SJT), pp. 19–36.
ECOOP-2007-Armstrong #concurrent #erlang #named- Erlang — Software for a Concurrent World (JA), p. 1.
- PPDP-2007-Sagonas #detection #erlang #fault #source code #static analysis #using
- Detecting defects in Erlang programs using static analysis (KFS), p. 37.
- PADL-2007-GustafssonS #erlang #evaluation #implementation #performance #programming
- Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang (PG, KFS), pp. 94–108.
- SCAM-2006-LiT #case study #comparative #erlang #haskell #refactoring #source code
- Comparative Study of Refactoring Haskell and Erlang Programs (HL, SJT), pp. 197–206.
- FATES-2004-ArtsCS #development #erlang #fault tolerance #protocol
- Semi-formal Development of a Fault-Tolerant Leader Election Protocol in Erlang (TA, KC, HS), pp. 140–154.
- FLOPS-2002-PetterssonSJ #compilation #erlang #evaluation #performance
- The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation (MP, KFS, EJ), pp. 228–244.
FME-2002-ArtsED #case study #erlang #verification- Verifying Erlang Code: A Resource Locker Case-Study (TA, CBE, JD), pp. 184–203.
- PADL-2002-JohanssonS #compilation #erlang #linear
- Linear Scan Register Allocation in a High-Performance Erlang Compiler (EJ, KFS), pp. 101–119.
- ASE-2001-FredlundGN #automation #erlang #verification
- Semi-Automated Verification of Erlang Code (LÅF, DG, TN), pp. 319–323.
- TACAS-2001-NollFG #erlang #verification
- The Erlang Verification Tool (TN, LÅF, DG), pp. 582–586.
LDTA-2001-Noll #erlang #implementation #logic- A Rewriting Logic Implementation of Erlang (TN), pp. 206–224.
- IFL-2000-ArtsN #erlang #implementation #verification
- Verifying Generic Erlang Client-Server Implementations (TA, TN), pp. 37–52.
- PPDP-2000-JohanssonPS #erlang #performance
- A high performance Erlang system (EJ, MP, KFS), pp. 32–43.
- FM-v1-1999-ArtsD #database #distributed #erlang #verification
- Verifying a Distributed Database Lookup Manager Written in Erlang (TA, MD), pp. 682–700.
- ICFP-1999-Huch #abstract interpretation #erlang #source code #using #verification
- Verification of Erlang Programs using Abstract Interpretation and Model Mhecking (FH), pp. 261–272.
CSL-1999-ArtsG #erlang #process #verification- Applying Rewriting Techniques to the Verification of Erlang Processes (TA, JG), pp. 96–110.
- ALP-PLILP-1998-FeeleyL #compilation #erlang
- Compiling Erlang to Scheme (MF, ML), pp. 300–317.
CADE-1998-ArtsDFG #distributed #erlang #source code #verification- System Description: Verification of Distributed Erlang Programs (TA, MD, LÅF, DG), pp. 38–41.
- ICFP-1997-Armstrong #development #erlang
- The Development of Erlang (JLA), pp. 196–203.
- ICFP-1997-MarlowW #erlang #type system
- A Practical Subtyping System For Erlang (SM, PW), pp. 136–149.
- PLILP-1997-JohanssonJLBM #approach #compilation #erlang
- A Pragmatic Approach to Compilation of Erlang (EJ, CJ, TL, JB, HM), pp. 419–420.
IWMM-1995-Virding #concurrent #erlang #garbage collection #realtime- A Garbage Collector for the Concurrent Real-Time Language Erlang (RV), pp. 343–354.
ICLP-1995-Hausman #erlang #hybrid #implementation- Hybrid Implementation Techniques in Erlang BEAM (BH), p. 816.
- ILPS-1993-Hausman #erlang
- Turbo Erlang (BH), p. 662.
