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
programming language
Google programming language

Tag #programming language

434 papers:

POPLPOPL-2020-AbadiP
A simple differentiable programming language (MA, GDP), p. 28.
FSCDFSCD-2019-Yang #probability #semantics
Some Semantic Issues in Probabilistic Programming Languages (Invited Talk) (HY), p. 6.
ICFP-2019-VezzosiM0 #induction
Cubical agda: a dependently typed programming language with univalence and higher inductive types (AV, AM, AA0), p. 29.
OnwardOnward-2019-BasuFG
Property conveyances as a programming language (SB, NF, JG), pp. 128–142.
OnwardOnward-2019-Smaragdakis #question #what
Next-paradigm programming languages: what will they look like and what changes will they bring? (YS), pp. 187–197.
PLATEAUPLATEAU-2019-KambhatlaCOSAM #case study #safety #usability
A Pilot Study of the Safety and Usability of the Obsidian Blockchain Programming Language (GK, MJC, RO, JS, JA, BAM), p. 11.
POPLPOPL-2019-PodkopaevLV #hardware #memory management #modelling
Bridging the gap between programming languages and hardware weak memory models (AP, OL, VV), p. 31.
QAPLQAPL-2019-Aldini #aspect-oriented
Quantitative Aspects of Programming Languages and Systems over the past $2^4$ years and beyond (AA), pp. 1–19.
SLESLE-2019-IzquierdoC #analysis #modelling
Analysis and modeling of the governance in general programming languages (JLCI, JC), pp. 179–183.
ICPCICPC-2018-OttAHBAFL #learning #network #using
Learning lexical features of programming languages from imagery using convolutional neural networks (JO, AA, PH, NB, HA, CF, EL), pp. 336–339.
MSRMSR-2018-GeorgiouKLS #energy #question #what
What are your programming language's energy-delay implications? (SG, MK, PL, DS), pp. 303–313.
FSCDFSCD-2018-Selinger #challenge #quantum
Challenges in Quantum Programming Languages (Invited Talk) (PS), p. 2.
OnwardOnward-2018-CoblenzAMS #design
Interdisciplinary programming language design (MJC, JA, BAM, JS), pp. 133–146.
OOPSLAOOPSLA-2018-MeierRG #design #parallel #virtual machine
Virtual machine design for parallel dynamic programming languages (RM, AR, TRG), p. 25.
POPLPOPL-2018-0002JKD #named #rust
RustBelt: securing the foundations of the rust programming language (RJ0, JHJ, RK, DD), p. 34.
PPDPPPDP-2018-Schmidt-Schauss #concurrent #functional #parallel
Sequential and Parallel Improvements in a Concurrent Functional Programming Language (MSS, DS, ND), p. 13.
ESEC-FSEESEC-FSE-2018-Meijer #concept #framework #learning
Behind every great deep learning framework is an even greater programming languages concept (keynote) (EM0), p. 1.
SEFMSEFM-2017-FachiniM #validation
Validating the Meta-Theory of Programming Languages (Short Paper) (GF, AM), pp. 367–374.
ECOOPECOOP-2017-ZhangO #framework #named #reuse #visitor
EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse (WZ, BCdSO), p. 32.
OnwardOnward-2017-Chamberlain #design
Assessing user preferences in programming language design (RDC), pp. 18–29.
OnwardOnward-2017-HallSH #named #visual notation
Infra: structure all the way down: structured data as a visual programming language (CH0, TS, TH), pp. 180–197.
OnwardOnward-2017-Kaijanaho #concept analysis #research
Concept analysis in programming language research: done well it is all right (AJK), pp. 246–259.
OnwardOnward-2017-Steimann #dependence #design #implementation
Replacing phrase structure grammar with dependency grammar in the design and implementation of programming languages (FS), pp. 30–43.
QAPLQAPL-2017-WiklickyV #aspect-oriented
Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL@ETAPS 2017, Uppsala, Sweden, 23rd April 2017.
SLESLE-2017-Pereira0RRCFS #energy #how #memory management #performance #question
Energy efficiency across programming languages: how do energy, time, and memory relate? (RP, MC, FR, RR, JC, JPF, JS), pp. 256–267.
SANERSANER-2016-KochharWL #case study #multi #quality #scalability
A Large Scale Study of Multiple Programming Languages and Code Quality (PSK, DW, DL0), pp. 563–573.
SANERSANER-2016-ReboucasPETSC #empirical
An Empirical Study on the Usage of the Swift Programming Language (MR, GP0, FE, WT, AS, FC), pp. 634–638.
SKYSKY-2016-ExmanS #natural language #performance #reliability
Fast and Reliable Software Translation of Programming Languages to Natural Language (IE, OS), pp. 57–64.
OnwardOnward-2016-ReinHT #development #named
Gramada: immediacy in programming language development (PR, RH, MT), pp. 165–179.
PLATEAUPLATEAU-2016-Ko #question #what
What is a programming language, really? (AJK0), pp. 32–33.
PLATEAUPLATEAU-2016-KurtevCT #evaluation
Discount method for programming language evaluation (SK, TAC, BT), pp. 1–8.
AdaEuropeAdaEurope-2016-Burns #ada #physics #power of #why
Why the Expressive Power of Programming Languages Such as Ada Is Needed for Future Cyber Physical Systems (AB), pp. 3–11.
POPLPOPL-2016-Walker #research
Confluences in programming languages research (keynote) (DW), p. 4.
QAPLQAPL-2016-TribastoneW #aspect-oriented
Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems, QAPL 2016, Eindhoven, The Netherlands, April 2-3, 2016.
ASEASE-2016-ChenX #automation #library #named #recommendation
SimilarTech: automatically recommend analogical libraries across different programming languages (CC, ZX), pp. 834–839.
ESOPESOP-2016-HuangM #probability #semantics
An Application of Computable Distributions to the Semantics of Probabilistic Programming Languages (DH0, GM), pp. 337–363.
GaMGaM-2015-BakFPR #graph #interpreter
A Reference Interpreter for the Graph Programming Language GP 2 (CB, GF, DP, CR), pp. 48–64.
SEKESEKE-2015-WuCZX15a #case study #comparative #object-oriented
A metrics-based comparative study on object-oriented programming languages (DW, LC, YZ, BX), pp. 272–277.
OOPSLAOOPSLA-2015-FelgentreffMBH #constraints #theorem proving
Checks and balances: constraint solving without surprises in object-constraint programming languages (TF, TDM, AB, RH), pp. 767–782.
PLATEAUPLATEAU-2015-RazaliNM #precedence
Operators and precedence in programming languages (NR, JN0, SM), pp. 53–56.
POPLPOPL-2015-Staton #algebra #quantum
Algebraic Effects, Linearity, and Quantum Programming Languages (SS), pp. 395–406.
ESEC-FSEESEC-FSE-2015-Jain #automation #generative
Automated generation of programming language quizzes (SJ), pp. 1051–1053.
GTTSEGTTSE-2015-Hanenberg #empirical #evaluation
Empirical, Human-Centered Evaluation of Programming and Programming Language Constructs: Controlled Experiments (SH), pp. 45–72.
ICSEICSE-v1-2015-NanzF #case study #comparative
A Comparative Study of Programming Languages in Rosetta Code (SN, CAF), pp. 778–788.
GPCEGPCE-2015-FlorenceFFTKWNY #named
POP-PL: a patient-oriented prescription programming language (SPF, BF, MF, WHT, TK, DPW, CN, PRY, RBF, SMB), pp. 131–140.
ESOPESOP-2015-BattyMNPS #concurrent #problem #semantics
The Problem of Programming Language Concurrency Semantics (MB, KM, KN, JPP, PS), pp. 283–307.
SIGITESIGITE-2014-TsangGA #java #learning #question #student
The practical application of LEGO® MINDSTORMS® robotics kits: does it enhance undergraduate computing students’ engagement in learning the Java programming language? (ET, CG, MA), pp. 121–126.
TFPIETFPIE-2014-Winter #authentication #functional #named
Bricklayer: An Authentic Introduction to the Functional Programming Language SML (VLW), pp. 33–49.
ICPCICPC-2014-StefikHMAYS #design #empirical #what
What is the Foundation of Evidence of Human Factors Decisions in Language Design? An Empirical Study on Programming Language Workshops (AS, SH, MM, AAA, SKY, SS), pp. 223–231.
RTARTA-TLCA-2014-Schmidt-Schauss #analysis #concurrent #semantics
Concurrent Programming Languages and Methods for Semantic Analyses (MSS), pp. 21–30.
VISSOFTVISSOFT-2014-Noble
Livecoding the SynthKit: Little Bits as an Embodied Programming Language (JN), pp. 40–44.
ICMLICML-c2-2014-PaigeW #compilation #probability
A Compilation Target for Probabilistic Programming Languages (BP, FW), pp. 1935–1943.
MLDMMLDM-2014-KhasnabishSDS #detection #learning #source code #using
Detecting Programming Language from Source Code Using Bayesian Learning Techniques (JNK, MS, JD, GS), pp. 513–522.
OnwardOnward-2014-Conversy #visual notation
Unifying Textual and Visual: A Theoretical Account of the Visual Perception of Programming Languages (SC), pp. 201–212.
OnwardOnward-2014-KaraivanovRV #statistics
Phrase-Based Statistical Translation of Programming Languages (SK, VR, MTV), pp. 173–184.
OnwardOnward-2014-Skene #logic
Description Logic as Programming Language (JS), pp. 143–162.
OnwardOnward-2014-StefikH #community
The Programming Language Wars: Questions and Responsibilities for the Programming Language Community (AS, SH), pp. 283–299.
OOPSLAOOPSLA-2014-HolkNSL #data type #gpu #memory management
Region-based memory management for GPU programming languages: enabling rich data structures on a spartan host (EH, RN, JGS, AL), pp. 141–155.
PLATEAUPLATEAU-2014-KoitzS #comparison #education #empirical #hybrid #visual notation
Empirical Comparison of Visual to Hybrid Formula Manipulation in Educational Programming Languages for Teenagers (RK, WS), pp. 21–30.
PLATEAUPLATEAU-2014-KurilovaPA #design #named #security
Wyvern: Impacting Software Security via Programming Language Design (DK, AP, JA), pp. 57–58.
AdaEuropeAdaEurope-2014-PedroPPP #ada #framework #runtime #towards #verification
Towards a Runtime Verification Framework for the Ada Programming Language (AdMP, DP, LMP, JSP), pp. 58–73.
HILTHILT-2014-BocchinoGGS #named
Spot: a programming language for verified flight software (RLB, EG, KPG, RRS), pp. 97–102.
PADLPADL-2014-LakinP #compilation #functional #using
Compiling DNA Strand Displacement Reactions Using a Functional Programming Language (MRL, AP), pp. 81–86.
PLDIPLDI-2014-StorkNSMFMA #approach #named
Æminium: a permission based concurrent-by-default programming language approach (SS, KN, JS, MM, AF, PM, JA), p. 4.
POPLPOPL-2014-GordonGRRBG #named #probability
Tabular: a schema-driven probabilistic programming language (ADG, TG, NR, CVR, JB, JG), pp. 321–334.
FSEFSE-2014-RayPFD #case study #git #quality #scalability
A large scale study of programming languages and code quality in github (BR, DP, VF, PTD), pp. 155–165.
SLESLE-2014-KuhnLGSA #metamodelling #modelling #product line
A Metamodel Family for Role-Based Modeling and Programming Languages (TK, ML, SG, CS, UA), pp. 141–160.
ICLPICLP-J-2014-CruzRGP #concurrent #graph #linear #logic programming
A Linear Logic Programming Language for Concurrent Programming over Graph Structures (FC, RR, SCG, FP), pp. 493–507.
CSEETCSEET-2013-NobleHBB #design #education #question #re-engineering
Designing Grace: Can an introductory programming language support the teaching of software engineering? (JN, MH, KBB, APB), pp. 219–228.
ITiCSEITiCSE-2013-Alshaigy #development #education #interactive #learning #python
Development of an interactive learning tool to teach python programming language (BA), p. 344.
CEFPCEFP-2013-Brady #dependent type #domain-specific language #embedded #implementation
The Idris Programming Language — Implementing Embedded Domain Specific Languages with Dependent Types (EB), pp. 115–186.
VISSOFTVISSOFT-2013-HomerN #editing
A tile-based editor for a textual programming language (MH, JN), pp. 1–4.
SEKESEKE-2013-SakamotoWF #design pattern #object-oriented
Extended Design Patterns in New Object-Oriented Programming Languages (KS, HW, YF), pp. 600–605.
OOPSLAOOPSLA-2013-MeyerovichR #analysis #empirical
Empirical analysis of programming language adoption (LAM, ASR), pp. 1–18.
PLDIPLDI-2013-GreenLRSV #named #quantum #scalability
Quipper: a scalable quantum programming language (ASG, PLL, NJR, PS, BV), pp. 333–342.
PLDIPLDI-2013-Schneider #security
Programming languages in security: keynote (FBS), pp. 139–140.
POPLPOPL-2013-Krishnamurthi
From principles to programming languages (and back) (SK), pp. 233–234.
POPLPOPL-2013-StatonL
Universal properties of impure programming languages (SS, PBL), pp. 179–192.
SACSAC-2013-HongJ #named #network #object-oriented
Meso: an object-oriented programming language for building strongly-typed internet-based network applications (SH, YJJ), pp. 1579–1586.
GPCEGPCE-2013-Bodik #biology #modelling
Modeling biology with solver-aided programming languages (RB), pp. 1–2.
SLESLE-2013-VasudevanT #ambiguity #detection
Detecting Ambiguity in Programming Language Grammars (NV, LT), pp. 157–176.
ICSTICST-2013-SakamotoSTWF #framework #metric #multi #named #test coverage #tool support
OCCF: A Framework for Developing Test Coverage Measurement Tools Supporting Multiple Programming Languages (KS, KS, RT, HW, YF), pp. 422–430.
WCREWCRE-2012-Al-OmariKRR #detection #dot-net
Detecting Clones Across Microsoft .NET Programming Languages (FAO, IK, CKR, JR), pp. 405–414.
FLOPSFLOPS-2012-RoseVS #data flow #hybrid #query
A Data Flow Language for Hybrid Query and Programming Languages (KHR, LV, NS), pp. 228–242.
ICGTICGT-2012-Ong #graph transformation #multi #rule-based #using
Multi-scale Rule-Based Graph Transformation Using the Programming Language XL (YO), pp. 417–419.
SEKESEKE-2012-HumairaSOWF #framework #metric #multi #source code #towards
Towards a Unified Source Code Measurement Framework Supporting Multiple Programming Languages (RH, KS, AO, HW, YF), pp. 480–485.
OnwardOnward-2012-Gabriel
The structure of a programming language revolution (RPG), pp. 195–214.
OnwardOnward-2012-Heinlein #composition #named #static typing
MOST-flexiPL: modular, statically typed, flexibly extensible programming language (CH), pp. 159–178.
OnwardOnward-2012-MeyerovichR #named
Socio-PLT: principles for programming language adoption (LAM, ASR), pp. 39–54.
PLATEAUPLATEAU-2012-SpinellisKL #comparative #testing
Comparative language fuzz testing: programming languages vs. fat fingers (DS, VK, PL), pp. 25–34.
PLATEAUPLATEAU-2012-UrmaM #evolution #query #source code
Programming language evolution via source code query languages (RGU, AM), pp. 35–38.
AdaEuropeAdaEurope-2012-Tempelmeier #ada #concept #education
Teaching “Concepts of Programming Languages” with Ada (TT), pp. 60–74.
HILTHILT-2012-Steele #lifecycle
Programming language life cycles (GLSJ), pp. 95–96.
POPLPOPL-2012-MonsantoFHW #compilation #network #runtime
A compiler and run-time system for network programming languages (CM, NF, RH, DW), pp. 217–230.
POPLPOPL-2012-Rexford #network #programmable
Programming languages for programmable networks (JR), pp. 215–216.
LDTALDTA-2012-Voigtlander #bidirectional
Programming language approaches to bidirectional transformation (JV), p. 1.
ICSTICST-2012-GligoricMM #model checking #named
X10X: Model Checking a New Programming Language with an “Old” Model Checker (MG, PCM, DM), pp. 11–20.
SIGITESIGITE-2011-Federici #c #implementation
A minimal, extensible, drag-and-drop implementation of the C programming language (SF), pp. 191–196.
ICPCICPC-J-2009-StefikG11 #empirical
Empirical studies on programming language stimuli (AS, EG), pp. 65–99.
ICPCICPC-2011-StefikSSS #towards
Toward Intuitive Programming Languages (AS, SS, KS, MS), pp. 213–214.
MSRMSR-2011-CallauRTR #developer #how #smalltalk
How developers use the dynamic features of programming languages: the case of smalltalk (OC, RR, ÉT, DR), pp. 23–32.
HaskellHaskell-2011-WestbrookFB #encoding #functional #haskell #higher-order #library
Hobbits for Haskell: a library for higher-order encodings in functional programming languages (EMW, NF, PB), pp. 35–46.
ICFPICFP-2011-FosterHFMRSW #named #network
Frenetic: a network programming language (NF, RH, MJF, CM, JR, AS, DW), pp. 279–291.
ICFPICFP-2011-OhoriU #database #ml #standard
Making standard ML a practical database programming language (AO, KU), pp. 307–319.
BXBX-2011-Glueck
Principles of Reversible Programming Languages (RG), p. 50.
BXBX-2011-Yokoyama
A reversible programming language (TY), p. 65.
OnwardOnward-2011-AnslowMM #evaluation #tool support #usability
Evaluation and usability of programming languages and tools: (PLATEAU) (CA, SM, ERMH), pp. 119–120.
OnwardOnward-2011-Derk #perspective #what
What makes a programming language popular?: an essay from a historical perspective (MD), pp. 163–166.
OnwardOnward-2011-Orchard #design
The four Rs of programming language design (DAO), pp. 157–162.
PLATEAUPLATEAU-2011-SadowskiK #case study #evaluation #heuristic #parallel
Heuristic evaluation of programming language features: two parallel programming case studies (CS, SK), pp. 9–14.
PLATEAUPLATEAU-2011-StefikSSS #comparison #empirical #perl #using
An empirical comparison of the accuracy rates of novices using the quorum, perl, and randomo programming languages (AS, SS, MS, KS), pp. 3–8.
AdaEuropeAdaEurope-2011-Burns #hardware #parallel #realtime
Programming Languages for Real-Time Applications Executing on Parallel Hardware (AB), pp. 193–195.
AdaEuropeAdaEurope-2011-Ploedereder #manycore
Programming Languages Meet Multicore (EP), pp. 189–192.
POPLPOPL-2011-MacLaurin #design #visual notation
The design of kodu: a tiny visual programming language for children on the Xbox 360 (MM), pp. 241–246.
ICSEICSE-2011-AldrichGHMNSSSTW
Permission-based programming languages (JA, RG, MH, MM, KN, DS, SS, JS, ÉT, RW), pp. 828–831.
ICSEICSE-2011-BhattacharyaN #c #c++ #case study #development #maintenance
Assessing programming language impact on development and maintenance: a study on c and c++ (PB, IN), pp. 171–180.
SACSAC-2011-HauptPH #approach #type system
Type harvesting: a practical approach to obtaining typing information in dynamic programming languages (MH, MP, RH), pp. 1282–1289.
SLESLE-2011-KaminskiW #attribute grammar #functional
Integrating Attribute Grammar and Functional Programming Language Features (TK, EVW), pp. 263–282.
CCCC-2011-Axelsen #imperative
Clean Translation of an Imperative Reversible Programming Language (HBA), pp. 144–163.
FoSSaCSFoSSaCS-2011-Hoshino #functional #linear
A Modified GoI Interpretation for a Linear Functional Programming Language and Its Adequacy (NH), pp. 320–334.
TPDLECDL-2010-MaurizioO #named #query
Manuzio: A Model for Digital Annotated Text and Its Query/Programming Language (MM, RO), pp. 478–481.
SIGITESIGITE-2010-Kaplan
Choosing a first programming language (RMK), pp. 163–164.
LATALATA-2010-HemmerlingSK #difference #equation #network #process #specification
A Programming Language Tailored to the Specification and Solution of Differential Equations Describing Processes on Networks (RH, KS, WK), pp. 297–308.
ICFPICFP-2010-CrestaniS #case study #experience #student
Experience report: growing programming languages for beginning students (MC, MS), pp. 229–234.
CHICHI-2010-TarkanSDGBWA #design #named
Toque: designing a cooking-based programming language for and with children (ST, VS, AD, EG, EMB, GW, ZA), pp. 2417–2426.
PLDIPLDI-2010-MarinoSMMN #concurrent #memory management #named #performance
DRFX: a simple and efficient memory model for concurrent programming languages (DM, AS, TDM, MM, SN), pp. 351–362.
ICSEICSE-2010-Badreddin #named
Umple: a model-oriented programming language (OBB), pp. 337–338.
SACSAC-2010-ReisS #constant
General constant expressions for system programming languages (GDR, BS), pp. 2131–2136.
WRLAWRLA-2010-SerbanutaR #named #semantics
K-Maude: A Rewriting Based Tool for Semantics of Programming Languages (TFS, GR), pp. 104–122.
ICLPICLP-2010-Martinez10 #concurrent #constraints #design #implementation #linear #logic programming
Design and Implementation of a Concurrent Logic Programming Language with Linear Logic Constraints (TM), pp. 277–280.
LICSLICS-2010-Laird #game studies #polymorphism #semantics
Game Semantics for a Polymorphic Programming Language (JL), pp. 41–49.
SIGMODSIGMOD-2009-IsardY #distributed #using
Distributed data-parallel computing using a high-level programming language (MI, YY), pp. 987–994.
ITiCSEITiCSE-2009-MiuraSK #concept #interactive #object-oriented
Anchor garden: an interactive workbenchfor basic data concept learningin object oriented programming languages (MM, TS, SK), pp. 141–145.
ICFPICFP-2009-Pierce #education #proving #using
λ, the ultimate TA: using a proof assistant to teach programming language foundations (BCP), pp. 121–122.
CHICHI-2009-HornSCJ #education #using #visual notation
Comparing the use of tangible and graphical programming languages for informal science education (MSH, ETS, RJC, RJKJ), pp. 975–984.
OOPSLAOOPSLA-2009-MeyerovichGBCGBK #ajax #named
Flapjax: a programming language for Ajax applications (LAM, AG, JPB, GHC, MG, AB, SK), pp. 1–20.
OOPSLAOOPSLA-2009-OverbeyJ #refactoring #tool support
Regrowing a language: refactoring tools allow programming languages to evolve (JLO, REJ), pp. 493–502.
AdaEuropeAdaEurope-2009-ZoviV #requirements
Requirements on the Target Programming Language for High-Integrity MDE (AZ, TV), pp. 1–15.
AdaSIGAda-2009-TardieuP #ada
Complementing Ada with other programming languages (ST, AP), pp. 105–114.
ESOPESOP-2009-Eber #contract #design #question #specification #tool support #what
The Financial Crisis, a Lack of Contract Specification Tools: What Can Finance Learn from Programming Language Design? (JME), pp. 205–206.
ESOPESOP-2009-Reynolds #category theory #design #using
Using Category Theory to Design Programming Languages (JCR), pp. 62–63.
ITiCSEITiCSE-2008-SandersL #python #student
Students’ perceptions of python as a first programming language at wits (IDS, SL), p. 365.
ICFPICFP-2008-Danvy
Defunctionalized interpreters for programming languages (OD), pp. 131–142.
ICFPICFP-2008-JiaVMZZSZ #named
AURA: a programming language for authorization and audit (LJ, JAV, KM, JZ, LZ, JS, SZ), pp. 27–38.
GT-VMTGT-VMT-2008-HassanMS #design #implementation #interactive
Interaction nets: programming language design and implementation (AH, IM, SS).
SEKESEKE-2008-PatroneR #bound #logic
Sharing Application Logic Across Programming Language Boundaries (DSP, BR), pp. 227–231.
BXBX-2008-Glueck1
Reversible Programming Languages (RG), p. 35.
OOPSLAOOPSLA-2008-SimpkinsBIM #adaptation #learning #towards
Towards adaptive programming: integrating reinforcement learning into a programming language (CS, SB, CLIJ, MM), pp. 603–614.
PEPMPEPM-2008-JancuraP #framework #ide #integration
Generic framework for integration of programming languages into netbeans ide (JJ, DP), pp. 123–124.
PPDPPPDP-2008-PaoliniP #linear #semantics
Semantically linear programming languages (LP, MP), pp. 97–107.
AdaSIGAda-2008-Doran #ada #development #embedded #named #realtime
Anima: a Ada derived programming language for real-time embedded software development (SD), pp. 121–132.
ASPLOSASPLOS-2008-DeviettiBMZ #architecture #bound #c #named #safety
Hardbound: architectural support for spatial safety of the C programming language (JD, CB, MMKM, SZ), pp. 103–114.
FoSSaCSFoSSaCS-2008-BarrasB #calculus #dependent type
The Implicit Calculus of Constructions as a Programming Language with Dependent Types (BB, BB), pp. 365–379.
VMCAIVMCAI-2008-Pistoia #program analysis #security
Program Analysis and Programming Languages for Security (MP), p. 7.
TLCATLCA-2007-LiptonN #constraints #higher-order #logic programming #semantics
Higher-Order Logic Programming Languages with Constraints: A Semantics (JL, SN), pp. 272–289.
ICFPICFP-2007-FredlundS #distributed #functional #model checking #named
McErlang: a model checker for a distributed functional programming language (LÅF, HS), pp. 125–136.
AGTIVEAGTIVE-2007-KniemeyerK #framework #modelling #platform
The Modelling Platform GroIMP and the Programming Language XL (OK, WK), pp. 570–572.
OOPSLAOOPSLA-2007-McDirmid #live programming
Living it up with a live programming language (SM), pp. 623–638.
OOPSLAOOPSLA-2007-Meijer
Confessions of a used programming language salesman (EM), pp. 677–694.
TOOLSTOOLS-EUROPE-2007-LeitnerEOC
Reflecting on an Existing Programming Language (AL, PTE, MO, IC), pp. 319–339.
PEPMPEPM-2007-YokoyamaG #self
A reversible programming language and its invertible self-interpreter (TY, RG), pp. 144–153.
POPLPOPL-2007-Murthy #design #enterprise #λ-calculus
Advanced programming language design in enterprise software: a λ-calculus theorist wanders into a datacenter (CM), pp. 263–264.
SASSAS-2007-Mycroft #analysis #design #evolution #hardware #motivation
Programming Language Design and Analysis Motivated by Hardware Evolution (AM), pp. 18–33.
WRLAWRLA-2006-FarzanM07 #partial order #reduction #semantics
Partial Order Reduction for Rewriting Semantics of Programming Languages (AF, JM), pp. 61–78.
ICLPICLP-2007-West #animation #logic programming #specification #using
The Use of a Logic Programming Language in the Animation of Z Specifications (MMW), pp. 451–452.
ITiCSEITiCSE-2006-AdamsBBELS #education
Approaches to teaching the programming languages course: a potpourri (ESA, DB, JB, JE, PBL, DS), pp. 299–300.
WCREWCRE-2006-Ribic #concept #decompiler #embedded #equivalence #execution #implementation
Concept and implementation of the programming language and translator, for embedded systems, based on machine code decompilation and equivalence between source and executable code (SR), pp. 307–308.
RTARTA-2006-GieslSST #analysis #automation #haskell #term rewriting #termination
Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages (JG, SS, PSK, RT), pp. 297–312.
SOFTVISSOFTVIS-2006-GauvinB #automation #data flow #layout #visual notation
Transparency, holophrasting, and automatic layout applied to control structures for visual dataflow programming languages (SG, OB), pp. 67–75.
SEKESEKE-2006-ChenLC
Supporting Connector in Programming Language (BC, ZL, HC), pp. 369–374.
PLDIPLDI-2006-CarlstromMCCMKO #transaction
The Atomos transactional programming language (BDC, AM, HC, JC, CCM, CEK, KO), pp. 1–13.
POPLPOPL-2006-Sweeney #developer #game studies #perspective
The next mainstream programming language: a game developer’s perspective (TS), p. 269.
ASEASE-2006-PaarT #data type #owl #xml
Programming Language Inherent Support for Constrained XML Schema Definition Data Types and OWL DL (AP, WFT), pp. 281–284.
SACSAC-2006-BaldoniBT #java #named #object-oriented
powerJava: ontologically founded roles in object oriented programming languages (MB, GB, LWNvdT), pp. 1414–1418.
LDTALDTA-J-2004-BegelG #algorithm #ambiguity #named
XGLR — an algorithm for ambiguity in programming languages (AB, SLG), pp. 211–227.
FASEFASE-2006-CooneyDR #implementation #named
GPSL: A Programming Language for Service Implementation (DC, MD, PR), pp. 3–17.
ICLPICLP-2006-Phan #logic programming #memory management
Static Memory Management for Logic Programming Languages (QP), pp. 465–466.
ICLPICLP-2006-SilvaC #compilation #design #implementation #logic programming #optimisation
The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages (AFdS, VSC), pp. 461–462.
ITiCSEITiCSE-2005-Kumar05a
Projects in the programming languages course (ANK), p. 395.
ITiCSEITiCSE-2005-Velazquez-Iturbide
A programming languages course for freshmen (JÁVI), pp. 271–275.
ICFPICFP-2005-DantasWWW #aspect-oriented #functional #named #polymorphism
PolyAML: a polymorphic aspect-oriented functional programming language (DSD, DW, GW, SW), pp. 306–319.
ICFPICFP-2005-Harper
Mechanizing the meta-theory of programming languages (RH), p. 240.
ICFPICFP-2005-SewellLWNAHV #design #distributed #named
Acute: high-level programming language design for distributed computation (PS, JJL, KW, FZN, MAW, PH, VV), pp. 15–26.
LDTALDTA-2005-SloaneW #eclipse #education #eli #using
Eclipse Support for Using Eli and Teaching Programming Languages (AMS, WMW), pp. 189–194.
ICLPICLP-2005-BortolussiW #concurrent #constraints #distributed #probability
A Distributed and Probabilistic Concurrent Constraint Programming Language (LB, HW), pp. 143–158.
ICLPICLP-2005-ChristiansenD #abduction #logic programming #named #prolog
HYPROLOG: A New Logic Programming Language with Assumptions and Abduction (HC, VD), pp. 159–173.
ICLPICLP-2005-Nogueira #information management
A Temporal Programming Language for Heterogeneous Information Systems (VN), pp. 444–445.
LICSLICS-2005-AltenkirchG #functional #quantum
A Functional Quantum Programming Language (TA, JG), pp. 249–258.
LICSLICS-2005-EscardoK
Operational Domain Theory and Topology of a Sequential Programming Language (MHE, WKH), pp. 427–436.
FLOPSFLOPS-2004-Selinger #overview #quantum
A Brief Survey of Quantum Programming Languages (PS), pp. 1–6.
ICEISICEIS-v4-2004-VoG #information management
Agent Programming Language with Incomplete Knowledge — Agentspeak(I) (DV, AG), pp. 356–363.
OOPSLAOOPSLA-2004-BrachaU #design #named #object-oriented
Mirrors: design principles for meta-level facilities of object-oriented programming languages (GB, DU), pp. 331–344.
PPDPPPDP-2004-GrecoGSS #datalog #logic programming #multi #reasoning
Event choice datalog: a logic programming language for reasoning in multiple dimensions (GG, AG, DS, FS), pp. 238–249.
SACSAC-2004-Bracha #towards
Keynote address: towards secure systems programming languages (GB), pp. 1–2.
SACSAC-2004-TorgersenHEABG #java
Adding wildcards to the Java programming language (MT, CPH, EE, PvdA, GB, NMG), pp. 1289–1296.
SACSAC-PL-J-2004-TorgersenEHABG #java
Adding Wildcards to the Java Programming Language (MT, EE, CPH, PvdA, GB, NMG), pp. 97–116.
GPCEGPCE-2004-NeverovR #multi #named #object-oriented
Metaphor: A Multi-stage, Object-Oriented Programming Language (GN, PR), pp. 168–185.
LDTALDTA-2004-Cordy #named #tool support #txl
TXL — A Language for Programming Language Tools and Applications (JRC), pp. 3–31.
ICLPICLP-2004-BryPS #evolution #logic programming #query #web
Xcerpt and XChange — Logic Programming Languages for Querying and Evolution on the Web (FB, PLP, SS), pp. 450–451.
ICLPICLP-2004-CheneyU #logic programming #named #prolog
αProlog: A Logic Programming Language with Names, Binding and α-Equivalence (JC, CU), pp. 269–283.
SACSAC-2003-Huntbach #concurrent
Features of the Concurrent Programming Language Aldwych (MMH), pp. 1048–1054.
LDTALDTA-J-2001-DohM #semantics
Composing programming languages by combining action-semantics modules (KGD, PDM), pp. 3–36.
CCCC-2003-Ryder #analysis #object-oriented #precise
Dimensions of Precision in Reference Analysis of Object-Oriented Programming Languages (BGR), pp. 126–137.
ESOPESOP-2003-Leroy #perspective #security #static analysis
Computer Security from a Programming Language and Static Analysis Perspective (XL), pp. 1–9.
LICSLICS-2003-Pierce #generative
Types and Programming Languages: The Next Generation (BCP), p. 32–?.
ITiCSEITiCSE-2002-ShahK #parametricity
A tutoring system for parameter passing in programming languages (HS, ANK), pp. 170–174.
SCAMSCAM-2002-HarmerW #metric #object-oriented
An Extensible Metrics Extraction Environment for Object-Oriented Programming Languages (TJH, FGW), pp. 26–35.
ICFPICFP-2002-Myers #functional #towards
Towards more natural functional programming languages (BAM), p. 1.
OOPSLAOOPSLA-2002-Dmitriev #java
Language-specific make technology for the Java programming language (MD), pp. 373–385.
TOOLSTOOLS-USA-2002-Plosch #evaluation #java
Evaluation of Assertion Support for the Java Programming Language (RP), pp. 5–17.
AdaEuropeAda-2002-Thom #ada #exclamation #integration #modelling #standard #uml #using
Conformity! A Practical Integration of Standards — A Case for using the Unified Modelling Language (UML) with the Ada Programming Language (FT), pp. 29–36.
PADLPADL-2002-ShenSNS #eclipse #interface
A High-Level Generic Interface to External Programming Languages for ECLiPSe (KS, JS, SN, JS), pp. 262–279.
PEPMPEPM-2002-MeurLC #partial evaluation #towards
Towards bridging the gap between programming languages and partial evaluation (AFLM, JLL, CC), pp. 9–18.
PPDPPPDP-2002-NielsenPV #concurrent #constraints #on the #power of
On the expressive power of temporal concurrent constraint programming languages (MN, CP, FDV), pp. 156–167.
SACSAC-2002-JoA
The Agent-based Programming Language: APL (CHJ, AJA), pp. 27–31.
ASPLOSASPLOS-2002-KohlerMC #composition #optimisation
Programming language optimizations for modular router configurations (EK, RM, BC), pp. 251–263.
CCCC-2002-MernikLAZ #development #interactive #named
LISA: An Interactive Environment for Programming Language Development (MM, ML, EA, VZ), pp. 1–4.
ESOPESOP-2002-McGuireKH
Programming Languages for Compressing Graphics (MM, SK, JFH), pp. 68–82.
WRLAWRLA-2002-StehrT #maude #network #specification
Plan in Maude: Specifying an Active Network Programming Language (MOS, CLT), pp. 240–260.
FLOPSFLOPS-2001-LeachN #constraints #higher-order #logic programming
A Higher-Order Logic Programming Language with Constraints (JL, SN), pp. 108–122.
TOOLSTOOLS-EUROPE-2001-ThorupT #object-oriented
Genericity in Object-Oriented Programming Languages (KKT, MT), pp. 180–181.
TOOLSTOOLS-USA-2001-Liu #logic programming #named #object-oriented
Pluto: An Object-Oriented Logic Programming Language (ML), pp. 153–163.
POPLPOPL-2001-Mitchell #security
Programming language methods in computer security (JCM), pp. 1–3.
LDTALDTA-2001-DohM #semantics
Composing Programming Languages by Combining Action-Semantics Modules (KGD, PDM), pp. 87–109.
ESOPESOP-2001-GraunkeKHF #web
Programming the Web with High-Level Programming Languages (PTG, SK, SVDH, MF), pp. 122–136.
FoSSaCSFoSSaCS-2001-HabelP #graph transformation
Computational Completeness of Programming Languages Based on Graph Transformation (AH, DP), pp. 230–245.
ECOOPECOOP-2000-Duggan #approach #domain-specific language #mixin #reuse #semantics
A Mixin-Based, Semantics-Based Approach to Reusing Domain-Specific Programming Languages (DD), pp. 179–200.
ECOOPECOOP-2000-Madsen #towards
Towards a Unified Programming Language (OLM), pp. 1–26.
SACSAC-2000-PowerM #approach #c++ #modelling #problem
An Approach for Modeling the Name Lookup Problem in the C++ Programming Language (JFP, BAM), pp. 792–796.
DACDAC-2000-HutchingsN #design #using
Using general-purpose programming languages for FPGA design (BLH, BEN), pp. 561–566.
PDPPDP-2000-FolinoS #named
CELLAR: a high level cellular programming language with regions (GF, GS), pp. 259–266.
ICLPCL-2000-Liang #generative #logic programming #parsing
A Deterministic Shift-Reduce Parser Generator for a Logic Programming Language (CL), pp. 1315–1329.
VLDBVLDB-1999-HoskingC #design #implementation #named #orthogonal #performance #persistent
PM3: An Orthogonal Persistent Systems Programming Language — Design, Implementation, Performance (ALH, JC), pp. 587–598.
ICALPICALP-1999-CraryM #low level
Type Structure for Low-Level Programming Languages (KC, JGM), pp. 40–54.
ICFPICFP-1999-FlattFKF #lisp #operating system
Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine) (MF, RBF, SK, MF), pp. 138–147.
ICFPICFP-1999-ZdancewicGM #proving
Principals in Programming Languages: A Syntactic Proof Technique (SZ, DG, JGM), pp. 197–207.
IFLIFL-1999-DidrichGSTT #functional
Reflections in Opal — Meta Information in a Functional Programming Language (KD, WG, FS, TT, BTyW), pp. 149–164.
AGTIVEAGTIVE-1999-RodgersV99a #graph grammar
A Demonstration of the Grrr Graph Rewriting Programming Language (PJR, NV), pp. 473–480.
CHICHI-1999-BruckmanE #analysis #fault
Should we Leverage Natural-Language Knowledge? An Analysis of User Errors in a Natural-Language-Style Programming Language (AB, EE), pp. 207–214.
TOOLSTOOLS-USA-1999-Dedene #case study #education #eiffel #experience #student
Experiences Teaching Eiffel as a First Programming Language to Economy Students (GD), pp. 584–592.
TOOLSTOOLS-USA-1999-Taft #design #quality
Programming Language Design and Software Quality (STT), p. 5.
PPDPPPDP-1999-Davila #abduction #logic programming #named
OPENLOG: A Logic Programming Language Based on Abduction (JAD), pp. 278–293.
AdaSIGAda-1999-Tonndorf #ada #question
Ada conformity assessments: a model for other programming languages? (MT), pp. 89–99.
SACSAC-1999-ArcelliF #flexibility #logic programming #named #retrieval
Likelog: A Logic Programming Language for Flexible Data Retrieval (FAF, FF), pp. 260–267.
CADECADE-1999-Nipkow #proving #theorem proving
Invited Talk: Embedding Programming Languages in Theorem Provers (TN), p. 398.
CSLCSL-1999-GastinM #concurrent #parallel #semantics
A Truly Concurrent Semantics for a Simple Parallel Programming Language (PG, MWM), pp. 515–529.
CSLCSL-1999-KinoshitaP #call-by
Data-Refinement for Call-By-Value Programming Languages (YK, JP), pp. 562–576.
ICLPICLP-1999-KangT #linear #logic programming #static analysis
A Static Analysis for Classical Linear Logic Programming Language (KSK, NT), p. 610.
ITiCSEITiCSE-1998-Scoy #using
Using the BURKS 2 CD-ROM in a principles of programming languages course (FLVS), pp. 239–242.
ITiCSEITiCSE-1998-WardS #javascript #multi #student
JavaScript as a first programming language for multimedia students (RW, MS), pp. 249–253.
AFPAFP-1998-Sheard98 #ml #staged #using
Using MetaML: A Staged Programming Language (TS), pp. 207–239.
FLOPSFLOPS-1998-AbramovG #approach #semantics #standard
Semantics Modifiers: An Approach to Non-Standard Semantics of Programming Languages (SMA, RG), pp. 247–270.
OOPSLAOOPSLA-1998-BrachaOSW #java
Making the Future Safe for the Past: Adding Genericity to the Java Programming Language (GB, MO, DS, PW), pp. 183–200.
OOPSLAOOPSLA-1998-CartwrightS #java #runtime
Compatible Genericity with Run-Time Types for the Java Programming Language (RC, GLSJ), pp. 201–215.
CCCC-1998-Burnett #challenge #research #visual notation
Challenges and Oppurtunities Visual Programming Languages Bring to Programming Language Research (MMB), p. 188.
ICLPJICSLP-1998-HodasWTK #implementation #linear #logic programming #performance
Efficient Implementation of a Linear Logic Programming Language (JSH, KMW, NT, KSK), pp. 145–159.
FMFME-1997-AndersonT #diagrams #programmable
Diagrams and Programming Languages for Programmable Controllers (SA, KT), pp. 1–19.
RTARTA-1997-Ringeissen #algorithm #prototype #rule-based #unification
Prototyping Combination of Unification Algorithms with the ELAN Rule-Based Programming Language (CR), pp. 323–326.
UMLUML-1997-SeemannG #design #named #object-oriented
UMLscript: A Programming Language for Object-Oriented Design (JS, JWvG), pp. 160–169.
ECOOPECOOP-1997-BenzakenS #constraints #database #object-oriented
Static Integrity Constraint Management in Object-Oriented Database Programming Languages via Predicate Transformers (VB, XS), pp. 60–84.
AdaEuropeAdaEurope-1997-CoolingDC #development #education
Computer Aided Teaching of Programming Languages: An Ada-specific Development (JEC, ND, JC), pp. 35–45.
PLDIPLDI-1997-WagnerG #analysis #incremental
Incremental Analysis of real Programming Languages (TAW, SLG), pp. 31–43.
POPLPOPL-1997-Godefroid #model checking #using
Model Checking for Programming Languages using Verisoft (PG), pp. 174–186.
POPLPOPL-1997-JanssonJ #named
Polyp — A Polytypic Programming Language (PJ, JJ), pp. 470–482.
SASSAS-1997-IgarashiK #analysis #communication #concurrent #type system
Type-Based Analysis of Communication for Concurrent Programming Languages (AI, NK), pp. 187–201.
PPoPPPPoPP-1997-TauraY #effectiveness #garbage collection #parallel #scalability
An Effective Garbage Collection Strategy for Parallel Programming Languages on Large Scale Distributed-Memory Machines (KT, AY), pp. 264–275.
TAPSOFTTAPSOFT-1997-DidrichK #algebra #documentation
DOSFOP - A Documentation Tool for the Algebraic Programming Language OPAL (KD, TK), pp. 875–878.
ICLPICLP-1997-BruynoogheJK #analysis #logic programming
Live-Structure Analysis for Logic Programming Languages with Declarations (MB, GJ, AK), pp. 33–47.
CSCWCSCW-1996-CortesM #collaboration #named
DCWPL: A Programming Language for Describing Collaborative Work (MC, PM), pp. 21–29.
CIKMCIKM-1996-AndrewsLSS #database #implementation #on the
On Implementing SchemaLog — A Database Programming Language (AA, NS, LVSL, INS), pp. 309–316.
OOPSLAOOPSLA-1996-DurhamJ #framework #runtime #visual notation
A Framework for Run-Time Systems and its Visual Programming Language (AMD, REJ), pp. 406–420.
AdaEuropeAdaEurope-1996-BurnsW #ada #concurrent #effectiveness
Ada 95: An Effective Concurrent Programming Language (AB, AJW), pp. 58–77.
PPDPPLILP-1996-Liu #database #deduction
The LOL Deductive Database Programming Language (ML), pp. 454–468.
SACSAC-1996-Jo #concurrent #empirical #object-oriented
An experiment on a concurrent object-oriented programming language (CHJ), pp. 98–104.
PDPPDP-1996-LeungC #behaviour #concurrent #equation #inheritance #object-oriented
Behaviour Equation as Solution of Inheritance Anomaly in Concurrent Object-Oriented Programming Languages (BCLL, PPKC), pp. 360–366.
CSLCSL-1996-EekelenSP #functional #graph grammar #semantics
Graph Rewriting Semantics for Functional Programming Languages (MCJDvE, SS, MJP), pp. 106–128.
SEKESEKE-1995-Auguston #compilation
Programming language RIGAL as a compiler writing tool (MA), p. 500.
OOPSLAOOPSLA-1995-Malenfant #on the #semantics
On the Semantic Diversity of Delegation-Based Programming Languages (JM), pp. 215–230.
SASSAS-1995-KobayashiNY #communication #concurrent #static analysis
Static Analysis of Communication for Asynchronous Concurrent Programming Languages (NK, MN, AY), pp. 225–242.
SACSAC-1995-Scholz #concurrent #data type #functional
Turning a functional data type into a concurrent programming language (ES), pp. 135–139.
ICLPICLP-1995-GregoryR #concurrent #declarative #named
Tempo: A Declarative Concurrent Programming Language (SG, RR), pp. 515–529.
ICLPILPS-1995-TseWL #concurrent #logic programming #object-oriented #prolog
P&P: A Combined Parlog and Prolog Concurrent Object-Oriented Logic Programming Language (MlT, WhW, HfL), p. 640.
ICLPILPS-1995-WinikoffH #implementation #linear #logic programming
Implementing the Linear Logic Programming Language Lygon (MW, JH), pp. 66–80.
VLDBVLDB-1994-PoulovassilisS #algebra #database #optimisation #query
Investigation of Algebraic Query Optimisation Techniques for Database Programming Languages (AP, CS), pp. 415–426.
OOPSLAOOPSLA-1994-LopezFB #constraints #imperative #implementation #virtual machine
Implementing Constraint Imperative Programming Languages: The Kaleidospace’93 Virtual Machine (GL, BNFB, AB), pp. 259–271.
LOPSTRLOPSTR-1994-BarklundBD #logic programming #multi
A Basis for a Multi-Level Meta-Logic Programming Language (JB, KB, PD), pp. 262–275.
AdaTRI-Ada-1994-RybinK #ada
Ada-Based Programming Language Course in Moscow State University (SR, VSK), pp. 194–202.
CCCC-1994-FranzleM #code generation #realtime #towards
Towards Provably Correct Code Generation for a Hard Real-Time Programming Language (MF, MMO), pp. 294–308.
ICLPICLP-1994-Guglielmi #concurrent #generative #logic programming
Concurrency and Plan Generation in a Logic Programming Language with a Sequential Operator (AG), pp. 240–254.
ICLPILPS-1994-Brisset #logic programming #polymorphism #type checking
Avoiding Dynamic Type Checking in a Polymorphic Logic Programming Language (PB), p. 674.
ICLPILPS-1994-Lloyd #functional #logic programming
Combining Functional and Logic Programming Languages (JWL), pp. 43–57.
VLDBVLDB-1993-HoskingBM #comparative #evaluation #performance #persistent
Update Logging for Persistent Programming Languages: A Comparative Performance Evaluation (ALH, EWB, JEBM), pp. 429–440.
DLTDLT-1993-Vaida
Iteration Conditions of W. Ogden’s Type and Applications to Programming Languages (II) (DV), pp. 44–50.
ICALPICALP-1993-KannegantiC #higher-order #question #what
What is a Universal Higher-Order Programming Language? (RK, RC), pp. 682–695.
FPCAFPCA-1993-HammarlundL #functional #on the #parallel
On the Relation between Functional and Data Parallel Programming Languages (PH, BL), pp. 210–222.
HCIHCI-SHI-1993-BenaliaDM #parallel #visual notation
HelpDraw Graphical Environment: A Step Beyond Data Parallel Programming Languages (ADB, JLD, PM), pp. 591–596.
HCIHCI-SHI-1993-ScholtzC #development
The Development of a Plan Based Tutor to Aid in Transfer between Programming Languages (JS, AC), pp. 519–524.
SEKESEKE-1993-Cooke93a #multi #order
A High Level Programming Language Based Upon Ordered Multisets (DEC), pp. 117–124.
SEKESEKE-1993-ReynoldsM #metric #process #refinement #using
The Use of Refinement Metrics to Assess Programming Language Support for the Stepwise Refinement Process (RGR, JIM), pp. 150–157.
OOPSLAOOPSLA-1993-HoskingM #evaluation #fault #performance #persistent
Object Fault Handling for Persistent Programming Languages: A Performance Evaluation (ALH, JEBM), pp. 288–303.
LOPSTRLOPSTR-1993-Gurr #logic programming #representation
Specialising the Ground Representation in the Logic Programming Language Gödel (CAG), pp. 124–140.
PPDPPLILP-1993-DarlingtonGK #functional #linear #logic #perspective
Functional Programming Languages with Logical Variables: A Linear Logic View (JD, YG, MK), pp. 201–219.
PPDPPLILP-1993-Poetzsch-Heffter #prototype #specification #using
Programming Language Specification and Prototyping Using the MAX System (APH), pp. 137–150.
POPLPOPL-1993-Bruce #object-oriented #static typing #type checking
Safe Type Checking in a Statically-Typed Object-Oriented Programming Language (KBB), pp. 285–298.
ICSEICSE-1993-GarlanS
Adding Implicit Invocation to Rraditional Programming Languages (DG, CS), pp. 447–455.
SACSAC-1993-AlGhamdiU
Comparing and Assessing Programming Languages: Basis for a Qualitative Methodology (JA, JEU), pp. 222–229.
TAPSOFTTAPSOFT-1993-AndreoliLPT #communication #concurrent #linear #logic programming #semantics
True Concurrency Semantics for a Linear Logic Programming Language with Braodcast Communication (JMA, LLT, RP, BT), pp. 182–198.
CSLCSL-1993-GurevichH #c #semantics
ERRATA to “The Semantics of the C Programming Language” (YG, JKH), pp. 334–336.
SIGMODSIGMOD-1992-LieuwenD #approach #database #optimisation
A Transformation-Based Approach to Optimizing Loops in Database Programming Languages (DFL, DJD), pp. 91–100.
ECOOPECOOP-1992-Frolund #concurrent #constraints #inheritance #object-oriented
Inheritance of Synchronization Constraints in Concurrent Object-Oriented Programming Languages (SF), pp. 185–196.
OOPSLAOOPSLA-1992-TakashioT #distributed #named #object-oriented #realtime
DROL: An Object-Oriented Programming Language for Distributed Real-Time Systems (KT, MT), pp. 276–294.
TOOLSTOOLS-EUROPE-1992-Ege #object-oriented #overview
Overview of Object-Oriented Programming Languages (RKE), p. 427.
TOOLSTOOLS-USA-1992-Ege92a #object-oriented
Object-Oriented Programming Languages (RKE), p. 260.
PPDPPLILP-1992-Hoa #bottom-up #higher-order #interpreter #logic programming
A Bottom-Up Interpreter for a Higher-Order Logic Programming Language (AHBH), pp. 326–340.
POPLPOPL-1992-NirkheP #imperative #partial evaluation #realtime
Partial Evaluation of High-Level Imperative Programming Languages, with Applications in Hard Real-Time Systems (VN, WP), pp. 269–280.
SASWSA-1992-AmatoGM #analysis #concurrent #database #functional #transaction
Analysis of Concurrent Transactions in a Functional Database Programming Language (GA, FG, GM), pp. 174–184.
ISMMIWMM-1992-BekkersRU #logic programming #memory management
Dynamic Memory Management for Sequential Logic Programming Languages (YB, OR, LU), pp. 82–102.
CSLCSL-1992-GurevichH #c #semantics
The Semantics of the C Programming Language (YG, JKH), pp. 274–308.
ICLPJICSLP-1992-Hodas #dependence #logic programming #semiparsing #specification
Specifying Filler-Gap Dependency Parsers in a Linear-Logic Programming Language (JSH), pp. 622–636.
SIGMODSIGMOD-1991-Annevelink #approach #database #functional
Database Programming Languages: A Functional Approach (JA), pp. 318–327.
SIGMODSIGMOD-1991-ShyyS #database #knowledge base #named
K: A High-Level Knowledge Base Programming Language for Advanced Database Applications (YMS, SYWS), pp. 338–347.
VLDBVLDB-1991-Kent #database #object-oriented #problem
Solving Domain Mismatch and Schema Mismatch Problems with an Object-Oriented Database Programming Language (WK), pp. 147–160.
FMVDME-1991-McParlandK #specification
A Specification of a Complex Programming Language Statement (PM, PK), pp. 658–667.
ECOOPECOOP-1991-MugridgeHH #multi #static typing
Multi-Methods in a Statically-Typed Programming Language (WBM, JH, JGH), pp. 307–324.
OOPSLAOOPSLA-1991-HansonHR #case study #database #experience #implementation #object-oriented #persistent #tool support #using
Experiences in DBMS Implementation Using an Object-Oriented Persistent Programming Language and a Database Toolkit (ENH, TMH, MAR), pp. 314–328.
PEPMPEPM-1991-Smith #constraints #logic programming #partial evaluation #pattern matching
Partial Evaluation of Pattern Matching in Constraint Logic Programming Languages (DAS), pp. 62–71.
PLDIPLDI-1991-Goldberg #garbage collection
Tag-Free Garbage Collection for Strongly Typed Programming Languages (BG), pp. 165–176.
PPDPPLILP-1991-Aasa #implementation #specification
Precedences in Specifications and Implementations of Programming Languages (AA), pp. 183–194.
ESOPESOP-J-1990-Felleisen91 #on the #power of
On the Expressive Power of Programming Languages (MF), pp. 35–75.
TAPSOFTCAAP-1991-Breugel #comparative #integration #realtime #semantics
Comparative Semantics for a Real-Time Programming Language with Integration (FvB), pp. 397–411.
ICLPICLP-1991-Bottcher #logic programming #on the #transaction
On Transactions in Logic Programming Languages (SB), p. 889.
ICLPICLP-1991-ChabrierPL #constraints #logic programming
Applications of Constraints Logic Programming Languages (JJC, CP, BL), p. 944.
ICLPICLP-1991-DovierOPR #finite #logic programming #set
{log}: A Logic Programming Language with Finite Sets (AD, EGO, EP, GR), pp. 111–124.
ICLPICLP-1991-KorslootT #compilation #concurrent #logic programming
Compilation Techniques for Nondeterminate Flat Concurrent Logic Programming Languages (MK, ET), pp. 457–471.
VLDBVLDB-1990-AoshimaIMSY #database
The C-based Database Programming Language Jasmine/C (MA, YI, AM, FS, YY), pp. 539–551.
LISPLFP-1990-GiorgiM #functional #implementation #parallel
Continuation-Based Parallel Implementation of Functional Programming Languages (JFG, DLM), pp. 209–217.
LISPLFP-1990-WalinskyB #compilation #functional #parallel
A Functional Programming Language Compiler for Massively Parallel Computers (CW, DB), pp. 131–138.
SEKESEKE-1990-BairdS #aspect-oriented
Theoretical Aspects of the Universal Programming Language Genotype (JCB, SKS), pp. 135–140.
PPoPPPPoPP-1990-TickI #logic programming #parallel
Programming Techniques for Efficiently Exploiting Parallelism in Logic Programming Languages (ET, NI), pp. 31–39.
ESOPESOP-1990-BarendregtH #λ-calculus
Types in λ Calculi and Programming Languages (HB, KH), pp. 1–35.
ESOPESOP-1990-Felleisen #on the #power of
On the Expressive Power of Programming Languages (MF), pp. 134–151.
CADECADE-1990-FeltyM #encoding #logic programming #λ-calculus
Encoding a Dependent-Type Lambda-Calculus in a Logic Programming Language (APF, DM), pp. 221–235.
LICSLICS-1990-DrosteG #formal method #semantics
Universal Domains in the Theory of Denotational Semantics of Programming Languages (MD, RG), pp. 19–34.
ICLPNACLP-1990-CoxMT #complexity #constraints #logic programming
Computational Complexity and Constraint Logic Programming Languages (JC, KM, CT), pp. 401–415.
ICLPNACLP-1990-JacquetM #comparative #logic programming #parallel #semantics
Comparative Semantics for a Parallel Contextual Logic Programming Language (JMJ, LM), pp. 195–214.
VLDBVLDB-1989-LecluseR #database
The O2 Database Programming Language (CL, PR), pp. 411–422.
CHICHI-1989-Olsen #user interface
A programming language basis for user interface (DROJ), pp. 171–176.
PLDIPLDI-1989-ChambersU #compilation #dynamic typing #named #object-oriented #optimisation
Customization: Optimizing Compiler Technology for SELF, A Dynamically-Typed Object-Oriented Programming Language (CC, DU), pp. 146–160.
PLDIPLDI-1989-SalomonC #parsing
Scannerless NSLR(1) Parsing of Programming Languages (DJS, GVC), pp. 170–178.
PLDIBest-of-PLDI-1989-ChambersU89a #compilation #dynamic typing #object-oriented #optimisation
A retrospective on: “customization: optimizing compiler technology for self, a dynamically-typed object-oriented programming language” (with retrospective) (CC, DU), pp. 295–312.
TAPSOFTAS-1989-Hoare
The Varieties of Programming Language (CARH), pp. 1–18.
ICLPNACLP-1989-MaherS #constraints #logic programming #query
Expanding Query Power in Constraint Logic Programming Languages (MJM, PJS), pp. 20–36.
PODSPODS-1988-Kuper #logic programming #on the #power of #set
On the Expressive Power of Logic Programming Languages with Sets (GMK), pp. 10–14.
LISPLFP-1988-Lamping
A Unified System of Parameterization for Programming Languages (JL), pp. 316–326.
LISPLFP-1988-OhoriB #database #type inference
Type Inference in a Database Programming Language (AO, PB), pp. 174–183.
ECOOPECOOP-1988-KnudsenM #education #object-oriented
Teaching Object-Oriented Programming Is More than Teaching Object-Oriented Programming Languages (JLK, OLM), pp. 21–40.
ECOOPECOOP-1988-LaenensV #database #object-oriented #overview
An Overview of OOPS+, An Object-Oriented Database Programming Language (EL, DV), pp. 350–373.
PPDPALP-1988-Giovannetti
Narrowing and Resolution in Logic-Functional programming Languages (EG), p. 30.
PPDPALP-1988-Moreno-NavarroR #functional #logic programming #named
BABEL: A Functional and Logic Programming Language based on Constructor Discipline and Narrowing (JJMN, MRA), pp. 223–232.
PLDIPLDI-1988-PlebanL #automation #compilation #imperative
An Automatically Generated, Realistic Compiler for an Imperative Programming Language (UFP, PL), pp. 222–232.
ESOPESOP-1988-BertDEDDSW #functional #logic #named
LPG: A Generic, Logic and Functional Programming Language (DB, PD, RE, OD, DD, PYS, FW), pp. 376–377.
ESOPESOP-1988-Kaes #parametricity #polymorphism
Parametric Overloading in Polymorphic Programming Languages (SK), pp. 131–144.
ESOPESOP-1988-WeemeeuwBH #architecture #data flow #implementation #logic programming #on the
On Implementing Logic Programming Languages on a Dataflow Architecture (PW, MB, MDH), pp. 359–372.
CADECADE-1988-FeltyGHMNS #logic programming #named #prolog #λ-calculus
Lambda-Prolog: An Extended Logic Programming Language (APF, ELG, JH, DM, GN, AS), pp. 754–755.
CADECADE-1988-FeltyM #higher-order #logic programming #proving #specification #theorem proving
Specifying Theorem Provers in a Higher-Order Logic Programming Language (APF, DM), pp. 61–80.
OOPSLAOOPSLA-1987-BloomZ #database #design #object-oriented
Issues in the Design of Object-Oriented Database Programming Languages (TB, SBZ), pp. 441–451.
PLDIPLDI-1987-DavidsonG #c #interpreter #named
Cint: a RISC interpreter for the C programming language (JWD, JVG), pp. 189–198.
PLDIPLDI-1987-OBagyG #interpreter #recursion
A recursive interpreter for the Icon programming language (JO, REG), pp. 138–149.
POPLPOPL-1987-CheritonW #multi
Extensions for Multi-Module Records in Conventional Programming Languages (DRC, MEW), pp. 296–306.
POPLPOPL-1987-Saraswat #concurrent #logic programming #semantics
The Concurrent Logic Programming Language CP: Definition and Operational Semantics (VAS), pp. 49–62.
ASPLOSASPLOS-1987-DitzelM #c #design #trade-off
Design Tradeoffs to Support the C Programming Language in the CRISP Microprocessor (DRD, HRM), pp. 158–163.
ASPLOSASPLOS-1987-HayesFWZ #architecture #execution
An Architecture for the Direct Execution of the Forth Programming Language (JRH, MEF, RLW, TZ), pp. 42–49.
ASPLOSASPLOS-1987-Wirth #architecture #hardware
Hardware Architectures for Programming Languages and Programming Languages for Hardware Architectures (NW), pp. 2–8.
TAPSOFTCFLP-1987-Thomas #algebra #data type #imperative #implementation
Implementing Algebraically Specified Abstract Data Types in an Imperative Programming Language (MT), pp. 197–211.
CSLCSL-1987-Leiss #object-oriented #on the #type inference
On Type Inference for Object-Oriented Programming Languages (HL), pp. 151–172.
ICLPICLP-1987-Ebcioglu87 #logic programming #music #performance
An Efficient Logic Programming Language and Its Application to Music (KE), pp. 513–532.
ICLPICLP-1987-OhkiTF87 #logic programming #object-oriented #parallel
An Object-Oriented Programming Language Based on the Parallel Logic Programming Language KL1 (MO, AT, KF), pp. 894–909.
SIGMODSIGMOD-1986-BunemanA #database #inheritance #persistent
Inheritance and Persistence in Database Programming Languages (PB, MPA), pp. 4–15.
LISPLFP-1986-Thatte #equation #semantics #towards
Towards a Semantic Theory for Equational Programming Languages (SRT), pp. 332–342.
OOPSLAOOPSLA-1986-KahnTMB #concurrent #logic programming
Objects in Concurrent Logic Programming Languages (KMK, EDT, MSM, DGB), pp. 242–257.
OOPSLAOOPSLA-1986-Snyder #encapsulation #inheritance #object-oriented
Encapsulation and Inheritance in Object-Oriented Programming Languages (AS), pp. 38–45.
AdaCRAI-1986-AstesianoR #approach #semantics #tutorial
The SMoLCS Approach to the Formal Semantics of Programming Languages — A Tutorial Introduction (EA, GR), pp. 81–116.
ESOPESOP-1986-BertE #design #functional #implementation #logic
Design and Implementation of a Generic, Logic and Functional Programming Language (DB, RE), pp. 119–132.
ESOPESOP-1986-DahlhausM
The Choice of Programming Primitives for SETL-Like Programming Languages (ED, JAM), pp. 160–172.
ICLPICLP-1986-Beckman86 #concurrent #logic programming #semantics #towards
Towards a Formal Semantics for Concurrent Logic Programming Languages (LB), pp. 335–349.
ICLPICLP-1986-FujitaKTM86 #compilation #logic programming #named #prolog
Tokio: Logic Programming Language Based on Temporal Logic and its Compilation to Prolog (MF, SK, HT, TMO), pp. 695–709.
ICLPICLP-1986-TakeuchiF86 #logic programming #parallel
Parallel Logic Programming Languages (AT, KF), pp. 242–254.
ICLPSLP-1986-BekkersCRU86 #garbage collection #implementation #logic programming #memory management #named #realtime
MALI: A Memory with a Real-time Garbage Collector for Implementing Logic Programming Languages (YB, BC, OR, LU), pp. 258–264.
TAPSOFTCAAP-1985-PoigneV #data type #implementation #on the
On the Implementation of Abstract Data Types by Programming Language Constructs (AP, JV), pp. 388–402.
ICLPSLP-1985-Fribourg85 #interpreter #logic programming #named
SLOG: A Logic Programming Language Interpreter Based on Clausal Superposition and Rewriting (LF), pp. 172–184.
ICALPICALP-1984-Fribourg #equation
Oriented Equational Clauses as a Programming Language (LF), pp. 162–173.
LISPLFP-1984-Griswold #evaluation
Expression Evaluation in the ICON Programming Language (REG), pp. 177–183.
LISPLFP-1984-Katayama #approach #functional #type checking #type inference
Type Inference and Type Checking for Functional Programming Languages: A Reduced Computation Approach (TK), pp. 263–272.
LISPLFP-1984-MalachiMW #named
TABLOG: The Deductive-Tableau Programming Language (YM, ZM, RJW), pp. 323–330.
POPLPOPL-1984-Bandes
Constraining-Unification and the Programming Language Unicorn (RGB), pp. 106–110.
ICLPILPC-1984-Miklos84 #case study #comparison #logic programming
A Comparison of two Logic Programming Languages: A Case Study (MS), pp. 41–51.
ICLPSLP-1984-Tamaki84 #logic programming #semantics
Semantics of a Logic Programming Language with a Reducibility Predicate (HT), pp. 259–264.
POPLPOPL-1983-KristensenMMN #abstraction
Abstraction Mechanisms in the BETA Programming Language (BBK, OLM, BMP, KN), pp. 285–298.
ICALPICALP-1982-BerklingF #functional #λ-calculus
A Modification of the λ-Calculus as a Base for Functional Programming Languages (KJB, EF), pp. 35–47.
ICALPICALP-1982-HarelK #induction #set
A Programming Language for the Inductive Sets, and Applications (DH, DK), pp. 313–329.
LISPLFP-1982-EggertS #logic programming
Logic Enhancement: A Metho for Extending Logic Programming Languages (PRE, DVS), pp. 74–80.
POPLPOPL-1982-Voda #named #operating system
Maple: a Programming Language, Operating System (PJV), pp. 157–168.
ICLPILPC-1982-MaluszynskiN82 #comparison #logic programming #prolog
A Comparison of the Logic Programming Language Prolog with Two-levels Grammars (JM, JFN), pp. 193–199.
POPLPOPL-1981-HalpernM #axiom
Axiomatic Definitions of Programming Languages, II (JYH, ARM), pp. 139–148.
STOCSTOC-1981-Leivant #complexity #independence #parametricity #polymorphism #theorem
The Complexity of Parameter Passing in Polymorphic Procedures (or: Programming Language Theorems Independent of Very Strong Theories) (DL), pp. 38–45.
SIGMODSIGMOD-1980-HammerB #data-driven #named
DIAL: A Programming Language for Data Intensive Applications (MH, BB), pp. 75–92.
ICALPICALP-1980-LangmaackO #hoare
Present-Day Hoare-Like Systems for Programming Languages with Procedures: Power, Limits and most Likely Expressions (HL, ERO), pp. 363–373.
POPLPOPL-1980-Klint #overview
An Overview of the Summer Programming Language (PK), pp. 47–55.
POPLPOPL-1980-MeyerH #assessment #axiom
Axiomatic Definitions of Programming Languages: A Theoretical Assessment (ARM, JYH), pp. 203–212.
POPLPOPL-1980-Sethi #case study #semantics #specification
A Case Study in Specifying the Semantics of a Programming Language (RS), pp. 117–130.
POPLPOPL-1979-GreifM #semantics #specification
Specifying Programming Language Semantics (IG, ARM), pp. 180–189.
STOCSTOC-1979-ODonnell #independence #theorem
A Programming Language Theorem Which Is Independent of Peano Arithmetic (MO), pp. 176–188.
VLDBVLDB-1978-Atkinson #database
Programming Languages and Databases (MPA), pp. 408–419.
FMVDM-1978-Lucas #formal method #on the
On the Formalization of Programming Languages: Early History and Main Approaches (PL), pp. 1–23.
ICGTGG-1978-Pratt #graph #semantics #using
Definition of Programming Language Semantics Using Grammars for Hierarchical Graphs (TWP), pp. 389–400.
POPLPOPL-1978-JoshiLY #constraints #semantics #syntax
Local Constraints in the Syntax and Semantics of Programming Languages (AKJ, LSL, KY), pp. 255–264.
VLDBVLDB-1977-StonebrakerR
Observations on Data Manipulation Languages and Their Embedding in General Purpose Programming Languages (MS, LAR), pp. 128–143.
POPLPOPL-1977-CherniavskyK #consistency #hoare #semantics
A Complete and Consistent Hoare Semantics for a Simple Programming Language (JCC, SNK), pp. 1–9.
POPLPOPL-1977-Clarke #axiom #hoare
Programming Language Constructs for Which it is Impossible to Obtain “Good” Hoare-Like Axiom Systems (EMC), pp. 10–20.
AdaDIPL-1976-Cheatham #design
Programming language design issues (TECJ), pp. 399–435.
AdaDIPL-1976-Fisher
The Common Programming Language Effort of the Department of Defense (DF), pp. 1–6.
POPLPOPL-1976-JonesM #design #optimisation #towards
Binding Time Optimization in Programming Languages: Some Thoughts Toward the Design of an Ideal Language (NDJ, SSM), pp. 77–94.
ICSEICSE-1976-Feldman #case study
New Languages from Old: The Extension of Programming Languages by Embedding, with a Case Study (MBF), pp. 237–242.
ICSEICSE-1976-Mashey #using
Using a Command Language as a High-Level Programming Language (JRM), pp. 169–176.
POPLPOPL-1975-Naur #natural language
Programming Languages, Natural Languages, and Mathematics (PN), pp. 137–148.
STOCSTOC-1975-EgliC #concept #semantics
Computability Concepts for Programming Language Semantics (HE, RLC), pp. 98–106.
POPLPOPL-1973-Backus #semantics
Programming Language Semantics and Closed Applicative Languages (JWB), pp. 71–86.
STOCSTOC-1973-Vuillemin #implementation #recursion
Correct and Optimal Implementations of Recursion in a Simple Programming Language (JV), pp. 224–239.
STOCSTOC-1973-Wagner #algebra
From Algebras to Programming Languages (EGW), pp. 214–223.
ICALPICALP-1972-AguzziPS #algorithm #approach #semantics
An Algorithmic Approach to the Semantics of Programming Languages (GA, RP, RS), pp. 147–166.
STOCSTOC-1972-Hamlet #independence #problem
A Patent Problem for Abstract Programming Languages: Machine-Independent Computations (RGH), pp. 193–197.
STOCSTOC-1969-Blum69a #compilation #formal method #semantics #towards
Towards a Theory of Semantics and Compilers for Programming Languages (EKB), pp. 217–227.
STOCSTOC-1969-Zeiger #formal method #modelling
Formal Models for Some Features of Programming Languages (HPZ), pp. 211–215.
DACDAC-1967-Weindlin #automation #design #question
Is there a “Best” Programming Language For Design Automation? (MW).

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.