Search Results - Programming Language Theory and its Implementation

On the implementation of the probabilistic logic programming language ProbLog by KIMMIG, ANGELIKA, DEMOEN, BART, DE RAEDT, LUC, COSTA, VÍTOR SANTOS, ROCHA, RICARDO

“… Different kinds of queries can be posed to ProbLog programs. We introduce algorithms that allow the efficient execution of these queries, discuss their implementation…”
Get full text

Implementation and Research of Finite Element Method for Nonlocal Elasticity Theory Problems in Julia Programming Language by Kuvyrkin, G.N., Savelyeva, I.Y., Sokolov, A.A., Cherednichenko, A.V., Novozhilova, O.V.

“…The article proposes an implementation option for a finite element software package written in the Julia programming language that solves three-dimensional nonlocal elasticity theory problems…”
Get full text

Psi4NumPy: An Interactive Quantum Chemistry Programming Environment for Reference Implementations and Rapid Development by Smith, Daniel G A, Burns, Lori A, Sirianni, Dominic A, Nascimento, Daniel R, Kumar, Ashutosh, James, Andrew M, Schriber, Jeffrey B, Zhang, Tianyuan, Zhang, Boyi, Abbott, Adam S, Berquist, Eric J, Lechner, Marvin H, Cunha, Leonardo A, Heide, Alexander G, Waldrop, Jonathan M, Takeshita, Tyler Y, Alenaizan, Asem, Neuhauser, Daniel, King, Rollin A, Simmonett, Andrew C, Turney, Justin M, Schaefer, Henry F, Evangelista, Francesco A, DePrince, A Eugene, Crawford, T Daniel, Patkowski, Konrad, Sherrill, C David

“… Furthermore, several reference codes have been integrated into Jupyter notebooks, allowing background, underlying theory, and formula information to be associated with the implementation…”
Get more information

Adding liveness to behavioral programming: theory, implementation, and user study by Yaacov, Tom, Elyasaf, Achiya, Weiss, Gera

“…This paper investigates how Behavioral Programming (BP), and executable specifications in general, can more effectively align models with requirements, addressing a key motivation behind BP’s development…”
Get full text

Practical Foundations for Programming Languages by Harper, Robert

“…Types are the central organizing principle of the theory of programming languages…”
Get full text

A high-level programming-language implementation of topology optimization applied to steady-state Navier-Stokes flow by Olesen, Laurits Højgaard, Okkels, Fridolin, Bruus, Henrik

“…We present a versatile high‐level programming‐language implementation of non‐linear topology optimization…”
Get full text

Automatically generating Feynman rules for improved lattice field theories by Hart, A., von Hippel, G.M., Horgan, R.R., Storoni, L.C.

“… We also present an efficient implementation of this in a freely available, multi-platform programming language (P ython…”
Get full text

Programming Languages and Systems: 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings by Muller, Peter

“… The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems…”
Get full text

Development and Teaching Application of Interactive Virtual Algorithm Animation of C Language Program by Wan, Lei, Cao, Yongli, Shi, Lili, An, Ying

“… world problems or more specifically for the implementation of algorithms. Language programming is a course with strong theory and practice…”
Get full text

Dynamic Choreographies: Theory And Implementation by Preda, Mila Dalla, Gabbrielli, Maurizio, Giallorenzo, Saverio, Lanese, Ivan, Mauro, Jacopo

“…Programming distributed applications free from communication deadlocks and race conditions is complex…”
Get full text

An Efficient Implementation of Guard-Based Synchronization for an Object-Oriented Programming Language by Yao, Shucai, Sekerinski, Emil

Get full text

Benchmarking bidirectional transformations: theory, implementation, application, and assessment by Anjorin, Anthony, Buchmann, Thomas, Westfechtel, Bernhard, Diskin, Zinovy, Ko, Hsiang-Shang, Eramo, Romina, Hinkel, Georg, Samimi-Dehkordi, Leila, Zündorf, Albert

“… While bx problems may be solved with unidirectional languages and tools, maintaining separate implementations of forward and backward synchronizers with mutually consistent behavior can be difficult…”
Get full text

Programming Languages and Systems: 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

“…The open access book set LNCS 15694 + LNCS 15695 constitutes the proceedings of the 34th European Symposium on Programming, ESOP 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software…”
Get full text

Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming Language by Abounegm, Abdelrahman, Kudasov, Nikolai, Stepanov, Alexey

Get full text

Idris, a general-purpose dependently typed programming language: Design and implementation by BRADY, EDWIN

“…Many components of a dependently typed programming language are by now well understood, for example, the underlying type theory, type checking, unification and evaluation…”
Get full text

Implementation of finite element method for solid mechanics problems in Julia programming language by Antoshkin, A D, Cherednichenko, A V, Savelyeva, I Yu

“…The paper proposes finite element method algorithm implemented in Julia programming language…”
Get full text

pocl: A Performance-Portable OpenCL Implementation by Jääskeläinen, Pekka, de La Lama, Carlos Sánchez, Schnetter, Erik, Raiskila, Kalle, Takala, Jarmo, Berg, Heikki

“…OpenCL is a standard for parallel programming of heterogeneous systems. The benefits of a common programming standard are clear…”
Get full text

Cubical agda: a dependently typed programming language with univalence and higher inductive types by Vezzosi, Andrea, Mörtberg, Anders, Abel, Andreas

“…Proof assistants based on dependent type theory provide expressive languages for both programming and proving within the same system…”
Get full text

On the efficiency of software implementations of lightweight block ciphers from the perspective of programming languages by Raza, Abdur Rehman, Mahmood, Khawir, Amjad, Muhammad Faisal, Abbas, Haider, Afzal, Mehreen

“… various software implementations of a single lightweight block cipher across different programming languages and platforms in the cloud architecture…”
Get full text

Fundamental Approaches to Software Engineering: 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings by Johnsen, Einar Broch, Wimmer, Manuel

“…, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022…”
Get full text