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