• *Search*: Programming language foundations

*sublabel_EDS*

*custom_text_above_search_result**custom_text_above_search_result_EDS*

*Showing* 1 - 20 *of* 549*number_thousands_separator*392

1

Structural foundations for probabilistic programming languages
Stein, Dario Maximilian ; Staton, Samuel

Categories (Mathematics) Programming languages (E... Measure theory Denotational semantics Descriptive set theory
*Dissertation/ Thesis*
*Add to favorites*
2

Programming language foundations in Agda
Kokke, Wen ; Siek, Jeremy G. ; Wadler, Philip
In Science of Computer Programming 1 August 2020 194

*Academic Journal*
*Add to favorites*
3

Programming language semantics as a foundation for Bayesian inference
Szymczak, Marcin ; Gordon, Andrew ; Aspinall, David

probabilistic programmin... Bayesian modelling Tabular probabilistic languages inference algorithms Markov chain Monte Carlo …
*Dissertation/ Thesis*
*Add to favorites*
4

Theoretical foundations of the organization of branches and repetitions in programs in the logic programming language Prolog
D. V. Zdor
Advanced Engineering Research, Vol 21, Iss 2, Pp 200-206 (2021)

logical programming branching repetition of predicates recursive rule recursion termination co... Materials of engineering... …
*Academic Journal*
*Add to favorites*
5

A Pattern-Oriented Ontology and Workflow Modeling Approach for the Sui Move Programming Language.
Giatzis, Antonios ; Georgiadis, Christos K.
Information. Jan2026, Vol. 17 Issue 1, p4. 27p.

Programming languages Ontology Auditing Computer security vulner...
*Academic Journal*
*Add to favorites*
6

Programming Language Foundations in Agda
Formal methods: foundations and applications
Wadler, Philip
Lecture notes in computer science. 11254:56-73

*Conference*
*Add to favorites*
7

Blended Pedagogy for Computer Programming Language
Ling Zhang
10

COVID-19 Pandemics Blended Learning Programming Languages Programming Teaching Methods …
*Academic Journal*
*Add to favorites*
8

A comparison of three solver-aided programming languages: [formula omitted]Rby, ProB, and Rosette
St-Denis, Richard
In Journal of Computer Languages November 2023 77

*Academic Journal*
*Add to favorites*
9

A Categorical Foundation for Structured Reversible Flowchart Languages
Glück, Robert ; Kaarsgaard, Robin
In Electronic Notes in Theoretical Computer Science 16 April 2018 336:155-171

*Academic Journal*
*Add to favorites*
10

Foundations of fuzzy logic and semantic web languages
Straccia, Umberto, (DE-588)1045011096, (DE-627)773395601, (DE-576)398322864, aut ; Straccia, Umberto, (DE-588)1045011096, (DE-627)773395601, (DE-576)398322864, aut
2014

*Book*
*Add to favorites*
11

Smart Block: A visual block language and its programming environment for IoT
Bak, Nayeon ; Chang, Byeong-Mo ; Choi, Kwanghoon
In Journal of Computer Languages October 2020 60

*Academic Journal*
*Add to favorites*
12

From reversible programming languages to reversible metalanguages
Glück, Robert ; Kaarsgaard, Robin ; Yokoyama, Tetsuo
In Theoretical Computer Science 12 June 2022 920:46-63

*Academic Journal*
*Add to favorites*
13

Higher-order semantics for quantum programming languages with classical control
Atzemoglou, George Philip ; Abramsky, Samson ; Coecke, Bob

006.3 Theory and automated ver... Computer science (mathem... Mathematical logic and f... Quantum theory (mathemat... computer science …
*Dissertation/ Thesis*
*Add to favorites*
14

Programming Languages and Systems
Vafeiadis, Viktor

effects functional programming semantics program synthesis session types dependent types …
*eBook*
*Add to favorites*
15

Applying the Block-Based Programming Language ALICE for Developing Programming Competencies in University Students
Mariuxi Vinueza-Morales ; Jesennia Cardenas-Cobo ; Jessica Cabezas-Quinto ; et al.
IEEE Access, Vol 13, Pp 21471-21485 (2025)

Programming competencies programming teaching programming learning block-based programming... ALICE Electrical engineering.... …
*Academic Journal*
*Add to favorites*
16

Assessing the Effect of Programming Language and Task Type on Eye Movements of Computer Science Students
Niloofar Mansoor ; Cole S. Peterson ; Michael D. Dodd ; et al.
38

Biofeedback Eye Movements Computer Science Educati... Programming Languages Evaluation Correlation …
*Academic Journal*
*Add to favorites*
17

A Logical Approach to Type Soundness.
Timany, Amin ; Krebbers, Robbert ; Dreyer, Derek ; et al.
Journal of the ACM; Dec2024, Vol. 71 Issue 6, p1-75, 75p

LOGIC PROGRAMMING languages RESEARCH personnel PRIMARY audience PRIOR learning
*Academic Journal*
*Add to favorites*
18

Foundations for programming and implementing effect handlers
Hillerström, Daniel ; Lindley, Sam ; Longley, John

effect handlers first-class control row polymorphism generalised continuation... continuation passing sty... abstract machine semanti... …
*Dissertation/ Thesis*
*Add to favorites*
19

A categorical foundation for structured reversible flowchart languages: Soundness and adequacy
Robert Glück ; Robin Kaarsgaard
Logical Methods in Computer Science, Vol 14, Issue 3 (2018)

computer science - progr... mathematics - category t... d.3.1 f.3.2 Logic BC1-199 …
*Academic Journal*
*Add to favorites*
*Search Tools*: *Get RSS Feed* *Email this Search* *save_search*

*Filter*