BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
erlang
Google erlang

Tag #erlang

56 papers:

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.