×

Found 67 Documents (Results 1–67)

Towards fast nominal anti-unification of Letrec-expressions. (English) Zbl 07838502

Pientka, Brigitte (ed.) et al., Automated deduction – CADE 29. 29th international conference on automated deduction, Rome, Italy, July 1–4, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14132, 456-473 (2023).
MSC:  03B35 68V15
PDFBibTeX XMLCite
Full Text: DOI

Reversibility in Erlang: imperative constructs. (English) Zbl 07615950

Mezzina, Claudio Antares (ed.) et al., Reversible computation. 14th international conference, RC 2022, Urbino, Italy, July 5–6, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13354, 187-203 (2022).
MSC:  68Q09 68Q10 81P68
PDFBibTeX XMLCite
Full Text: DOI HAL

Polymorphic success types for Erlang. (English) Zbl 1415.68056

Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 515-533 (2018).
MSC:  68N15 68N18 68N19
PDFBibTeX XMLCite
Full Text: DOI

Erlang code evolution control. (English) Zbl 1508.68061

Fioravanti, Fabio (ed.) et al., Logic-based program synthesis and transformation. 27th international symposium, LOPSTR 2017, Namur, Belgium, October 10–12, 2017. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10855, 128-144 (2018).
MSC:  68N30 68N15
PDFBibTeX XMLCite
Full Text: DOI arXiv

A formal, resource consumption-preserving translation of actors to Haskell. (English) Zbl 1485.68049

Hermenegildo, Manuel V. (ed.) et al., Logic-based program synthesis and transformation. 26th international symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10184, 21-37 (2017).
MSC:  68N30 68N18 68Q55
PDFBibTeX XMLCite
Full Text: DOI arXiv

Polymorphic types in Erlang function specifications. (English) Zbl 1475.68066

Kiselyov, Oleg (ed.) et al., Functional and logic programming. 13th international symposium, FLOPS 2016, Kochi, Japan, March 4–6, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9613, 181-197 (2016).
MSC:  68N18 68N15
PDFBibTeX XMLCite
Full Text: DOI

Towards modelling actor-based concurrency in term rewriting. (English) Zbl 1428.68204

Chiba, Yuki (ed.) et al., Second international workshop on rewriting techniques for program transformations and evaluation, WPTE’15, Warsaw, Poland, July 2, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. OASIcs – OpenAccess Ser. Inform. 46, 19-29 (2015).
MSC:  68Q85 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Concolic execution in functional programming by program instrumentation. (English) Zbl 1473.68039

Falaschi, Moreno (ed.), Logic-based program synthesis and transformation. 25th international symposium, LOPSTR 2015, Siena, Italy, July 13–15, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9527, 277-292 (2015).
MSC:  68N18
PDFBibTeX XMLCite
Full Text: DOI

Memory-efficient tail calls in the JVM with imperative functional objects. (English) Zbl 1329.68072

Feng, Xinyu (ed.) et al., Programming languages and systems. 13th Asian symposium, APLAS 2015, Pohang, South Korea, November 30 – December 2, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-26528-5/pbk; 978-3-319-26529-2/ebook). Lecture Notes in Computer Science 9458, 11-28 (2015).
MSC:  68N20 68N18
PDFBibTeX XMLCite
Full Text: DOI

Logic-based program synthesis and transformation. 23rd international symposium, LOPSTR 2013, Madrid, Spain, September 18–19, 2013. Revised selected papers. (English) Zbl 1320.68017

Lecture Notes in Computer Science 8901. Cham: Springer (ISBN 978-3-319-14124-4/pbk; 978-3-319-14125-1/ebook). xii, 237 p. (2014).
MSC:  68-06 68N30 00B25
PDFBibTeX XMLCite
Full Text: DOI

Design and analysis of purely functional programs. 2nd ed. (Conception et analyse des programmes purement fonctionnels.) (French) Zbl 1283.68007

Cahiers de Logique et d’Épistémologie 12. London: College Publications (ISBN 978-1-84890-076-9/pbk). xii, 514 p. (2012).
PDFBibTeX XMLCite

Functional and constraint logic programming. 20th international workshop, WFLP 2011, Odense, Denmark, July 19th. Proceedings. (English) Zbl 1218.68021

Lecture Notes in Computer Science 6816. Berlin: Springer (ISBN 978-3-642-22530-7/pbk). vii, 157 p. (2011).
PDFBibTeX XMLCite
Full Text: DOI

ReCaml: execution state as the cornerstone of reconfigurations. (English) Zbl 1323.68060

Proceedings of the 15th ACM SIGPLAN international conference on functional programming, ICFP ’10, Baltimore, MD, USA, September 27–29, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-794-3). ACM SIGPLAN Notices 45, No. 9, 27-38 (2010).
MSC:  68N01 68N15 68N18
PDFBibTeX XMLCite
Full Text: DOI

Equational abstractions for reducing the state space of rewrite theories. (English) Zbl 1347.68195

Roşu, Grigore (ed.), Proceedings of the 7th international workshop on rewriting logic and its applications (WRLA 2008), Budapest, Hungary, March 29–30, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 238, No. 3, 139-154 (2009).
PDFBibTeX XMLCite
Full Text: DOI

Static rules of variable scoping in Erlang. (English) Zbl 1183.68197

Kovács, Emőd (ed.) et al., Proceedings of the 7th international conference on applied informatics (ICAI 2007), January 28–31, 2007, Eger, Hungary. Vol. II. Eger: Eszterházy Károly College. 137-145 (2009).
MSC:  68N99
PDFBibTeX XMLCite

The Orc programming language. (English) Zbl 1217.68049

Lee, David (ed.) et al., Formal techniques for distributed systems. Joint 11th IFIP WG 6.1 international conference FMOODS 2009 and 29th IFIP WG 6.1 international conference FORTE 2009, Lisboa, Portugal, June 9–12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02137-4/pbk). Lecture Notes in Computer Science 5522, 1-25 (2009).
PDFBibTeX XMLCite
Full Text: DOI

Use cases for refactoring in Erlang. (English) Zbl 1170.68414

Horváth, Zoltán (ed.) et al., Central European functional programming school. Second summer school, CEFP 2007, Cluj-Napoca, Romania, June 23–30, 2007. Revised selected lectures. Berlin: Springer (ISBN 978-3-540-88058-5/pbk). Lecture Notes in Computer Science 5161, 250-285 (2008).
MSC:  68N15 68N18
PDFBibTeX XMLCite
Full Text: DOI

Towards an implementation of a computer algebra system in a functional language. (English) Zbl 1166.68378

Autexier, Serge (ed.) et al., Intelligent computer mathematics. 9th international conference, AISC 2008, 15th symposium, Calculemus 2008, 7th international conference, MKM 2008, Birmingham, UK, July 28–August 1, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85109-7/pbk). Lecture Notes in Computer Science 5144. Lecture Notes in Artificial Intelligence, 141-154 (2008).
MSC:  68W30 68N18
PDFBibTeX XMLCite
Full Text: DOI

Abstraction and model checking of core Erlang programs in Maude. (English) Zbl 1279.68216

Denker, Grit (ed.) et al., Proceedings of the 6th international workshop on rewriting logic and its applications (WRLA 2006), Vienna, Austria, April 1–2, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 176, No. 4, 147-163 (2007).
PDFBibTeX XMLCite
Full Text: DOI

Tutorial on subtype marks. (English) Zbl 1156.68334

Horváth, Zoltán (ed.), Central European functional programming school. First summer school, CEFP 2005, Budapest, Hungary, July 4–15, 2005. Revised selected lectures. Berlin: Springer (ISBN 978-3-540-46843-1/pbk). Lecture Notes in Computer Science 4164, 191-222 (2006).
MSC:  68N18
PDFBibTeX XMLCite
Full Text: DOI

Exploiting purely functional programming to obtain bounded resource behaviour: The Hume approach. (English) Zbl 1156.68332

Horváth, Zoltán (ed.), Central European functional programming school. First summer school, CEFP 2005, Budapest, Hungary, July 4–15, 2005. Revised selected lectures. Berlin: Springer (ISBN 978-3-540-46843-1/pbk). Lecture Notes in Computer Science 4164, 100-134 (2006).
MSC:  68N18 68N30 68Q05
PDFBibTeX XMLCite
Full Text: DOI

Mutatis mutandis: safe and predictable dynamic software updating. (English) Zbl 1369.68157

Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’05, Long Beach, CA, USA, January 12–14, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-830-X). 183-194 (2005).
MSC:  68N30 68N15 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Semi-formal development of a fault-tolerant leader election protocol in Erlang. (English) Zbl 1081.68565

Grabowski, Jens (ed.) et al., Formal approaches to software testing. 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004. Revised selected papers. Berlin: Springer (ISBN 3-540-25109-X/pbk). Lecture Notes in Computer Science 3395, 140-154 (2005).
PDFBibTeX XMLCite
Full Text: DOI

Model checking Erlang programs – abstracting recursive function calls. (English) Zbl 1268.68112

Hanus, Michael (ed.), WFLP 2001. Selected papers of the international workshop on functional and (constraint) logic programming, Kiel, Germany, September 13–15, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 64, 195-219 (2002).
MSC:  68Q60 68N18
PDFBibTeX XMLCite
Full Text: DOI

Defining actions in concurrent declarative programming. (English) Zbl 1268.68125

Hanus, Michael (ed.), WFLP 2001. Selected papers of the international workshop on functional and (constraint) logic programming, Kiel, Germany, September 13–15, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 64, 176-194 (2002).
PDFBibTeX XMLCite
Full Text: DOI

Verifying Erlang code: A resource locker case-study. (English) Zbl 1064.68548

Eriksson, Lars-Henrik (ed.) et al., FME 2002: Formal methods - getting IT right. International symposium of formal methods Europe, Copenhagen, Denmark, July 22–24, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43928-5). Lect. Notes Comput. Sci. 2391, 184-203 (2002).
MSC:  68Q60 68Q85
PDFBibTeX XMLCite
Full Text: Link

The HiPE/x86 Erlang compiler: System description and performance evaluation. (English) Zbl 1019.68521

Hu, Zhenjiang (ed.) et al., Functional and logic programming. 6th international symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2441, 228-244 (2002).
MSC:  68N20 68N18
PDFBibTeX XMLCite
Full Text: Link

The tertiary level in a functional cluster-based hierarchical VoD server. (English) Zbl 1023.68707

Moreno-Díaz, Roberto (ed.) et al., Computer aided systems theory - EUROCAST 2001. A selection of papers from the 8th international workshop, Las Palmas de Gran Canaria, Spain, February 19-23, 2001. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 2178, 540-554 (2001).
MSC:  68U99 68U35 68N18
PDFBibTeX XMLCite
Full Text: Link

The development of Erlang. (English) Zbl 1369.68069

Berman, A. Michael (ed.), Proceedings of the 2nd ACM SIGPLAN international conference on functional programming, ICFP ’97, Amsterdam, Netherlands, June 9–11, 1997. New York, NY: Association for Computing Machinery (ACM) (ISBN 0-89791-918-1). ACM SIGPLAN Notices 32, No. 8, 196-203 (1997).
MSC:  68N15 68-03
PDFBibTeX XMLCite
Full Text: DOI

A practical subtyping system for Erlang. (English) Zbl 1369.68110

Berman, A. Michael (ed.), Proceedings of the 2nd ACM SIGPLAN international conference on functional programming, ICFP ’97, Amsterdam, Netherlands, June 9–11, 1997. New York, NY: Association for Computing Machinery (ACM) (ISBN 0-89791-918-1). ACM SIGPLAN Notices 32, No. 8, 136-149 (1997).
MSC:  68N18 68N15
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software