Academic papers in programming language

Academic Papers where

Academic Discipline

Programming language

Name	Publication URL	DOI	Academic Discipline	Author Names
‌ Out-of-Things Debugging: A Live Debugging Approach for Internet of Things	arxiv.org/pdf/2211.01679v1	doi.org/10.48550/arXiv.2211.01679	Computer science Programming language	Carlos Rojas CastilloElisa Gonzalez BoixJim BauwensMatteo Marra
‌ Sub-method, partial behavioral reflection with Reflectivity: Looking back on 10 years of use	arxiv.org/pdf/2002.06182v1	doi.org/10.48550/arXiv.2002.06182	Computer science Programming language	Marcus DenkerSteven CostiouVincent Aranega
‌ Profiling and Optimizing Java Streams	arxiv.org/pdf/2302.10006v1	doi.org/10.48550/arXiv.2302.10006	Computer science Programming language	Andrea RosàEduardo RosalesMatteo BassoWalter Binder
‌ Reactive Programming without Functions	arxiv.org/pdf/2403.02296v1	doi.org/10.48550/arXiv.2403.02296	Computer science Programming language	Bjarno OeyenJoeri De KosterWolfgang De Meuter
‌ McMini: A Programmable DPOR-Based Model Checker for Multithreaded Programs	arxiv.org/pdf/2212.05468v2	doi.org/10.48550/arXiv.2212.05468	Computer science Programming language Logic in computer science	Gene CoopermanLuka JovanovicMaxwell Pirtle
‌ Debootstrapping without Archeology: Stacked Implementations in Camlboot	arxiv.org/pdf/2202.09231v1	doi.org/10.48550/arXiv.2202.09231	Computer science Programming language	Gabriel SchererJulien LepillerNathanaëlle Courant
‌ Did JHotDraw Respect the Law of Good Style?: A deep dive into the nature of false positives of bad code smells	arxiv.org/pdf/2002.06191.pdf	doi.org/10.48550/arXiv.2002.06191	Computer science Programming language Software engineering	Daniel Speicher
‌ Coqlex: Generating Formally Verified Lexers	arxiv.org/pdf/2306.12411v1	doi.org/10.48550/arXiv.2306.12411	Computer science Programming language	Gabriel SchererLutz StrassburgerWendlasida Ouedraogo
‌ Building a Secure Software Supply Chain with GNU Guix	arxiv.org/pdf/2206.14606.pdf	doi.org/10.48550/arXiv.2206.14606	Computer science Programming language Software engineering	Ludovic Courtès
‌ User-Defined Operators Including Name Binding for New Language Constructs	arxiv.org/pdf/1703.10861v1	doi.org/10.48550/arXiv.1703.10861	Computer science Programming language	Kazuhiro IchikawaShigeru Chiba
‌ Concrete Syntax with Black Box Parsers	arxiv.org/pdf/1902.00543v1	doi.org/10.48550/arXiv.1902.00543	Computer science Programming language	Jurgen VinjuRodin AarssenTijs van der Storm
‌ Reusing Static Analysis across Different Domain-Specific Languages using Reference Attribute Grammars	arxiv.org/pdf/2002.06187v1	doi.org/10.48550/arXiv.2002.06187	Computer science Programming language	Johannes MeyRené SchöneThomas KühnUwe Aßmann
‌ One Monad to Prove Them All	arxiv.org/pdf/1805.08059v4	doi.org/10.48550/arXiv.1805.08059	Computer science Programming language	Finn TeegenJan ChristiansenSandra Dylus
‌ Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System	arxiv.org/pdf/2002.06183v1	doi.org/10.48550/arXiv.2002.06183	Computer science Programming language	Eelco VisserGabriël D. P. KonatJeff Smits
‌ Lisp, Jazz, Aikido -- Three Expressions of a Single Essence	arxiv.org/pdf/1804.00485v1	doi.org/10.48550/arXiv.1804.00485	Computer science Programming language	Didier Verna
‌ Comprehensive Multiparty Session Types	arxiv.org/pdf/1902.00544v1	doi.org/10.48550/arXiv.1902.00544	Computer science Programming language	Andi BejleriElton DomnoriMalte VieringMira MeziniPatrick Eugster
‌ LiveRec: Prototyping Probes by Framing Debug Protocols	arxiv.org/pdf/2403.02161v1	doi.org/10.48550/arXiv.2403.02161	Computer science Programming language	Jean-Baptiste DöderleinRiemer van RozenTijs van der Storm
‌ Language Oriented Modularity: From Theory to Practice	arxiv.org/pdf/1703.10858.pdf	doi.org/10.48550/arXiv.1703.10858	Computer science Programming language Software engineering	Arik HadasDavid H Lorenz
‌ Collective Allocator Abstraction to Control Object Spatial Locality in C++	arxiv.org/pdf/2403.02183v1	doi.org/10.48550/arXiv.2403.02183	Computer science Programming language	Shigeyuki SatoTakato HideshimaTomoharu Ugawa
‌ Figuring and Drawing: A Visual Approach to Principled Programming	arxiv.org/pdf/2202.09229v1	doi.org/10.48550/arXiv.2202.09229	Computer science Programming language	Elpida Keravnou-Papailiou
‌ Primrose: Selecting Container Data Types by Their Properties	arxiv.org/pdf/2205.09655.pdf	doi.org/10.48550/arXiv.2205.09655	Computer science Programming language	Liam O'ConnorMichel SteuwerUniversity of Edinburgh, UKXueying Qin
‌ Bacatá: Notebooks for DSLs, Almost for Free	arxiv.org/pdf/2002.06180v1	doi.org/10.48550/arXiv.2002.06180	Computer science Programming language	Jurgen VinjuMauricio Verano MerinoTijs van der Storm
‌ Generating a Generic Fluent API in Java	arxiv.org/pdf/2002.06179v1	doi.org/10.48550/arXiv.2002.06179	Computer science Programming language	Shigeru ChibaTomoki Nakamaru
‌ Fine-Grained, Language-Based Access Control for Database-Backed Applications	arxiv.org/pdf/1909.12279v1	doi.org/10.48550/arXiv.1909.12279	Computer science Programming language	Christos DimoulasEzra ZigmondScott MooreStephen Chong
‌ Language-integrated provenance in Haskell	arxiv.org/pdf/1803.10202v1	doi.org/10.48550/arXiv.1803.10202	Computer science Programming language	James CheneyJan Stolarek

...

Results per page:

7,598 results

0 selected

7,598 results

0 selected