Suchergebnisse - Programming Language Theory and its Implementation

On the implementation of the probabilistic logic programming language ProbLog von 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 …”
Volltext

Implementation and Research of Finite Element Method for Nonlocal Elasticity Theory Problems in Julia Programming Language von 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 …”
Volltext

Psi4NumPy: An Interactive Quantum Chemistry Programming Environment for Reference Implementations and Rapid Development von 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 …”
Weitere Angaben

Adding liveness to behavioral programming: theory, implementation, and user study von 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 …”
Volltext

Practical Foundations for Programming Languages von Harper, Robert

“… Types are the central organizing principle of the theory of programming languages …”
Volltext

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

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

Automatically generating Feynman rules for improved lattice field theories von 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 …”
Volltext

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 von Muller, Peter

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

Development and Teaching Application of Interactive Virtual Algorithm Animation of C Language Program von 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 …”
Volltext

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

“… Programming distributed applications free from communication deadlocks and race conditions is complex …”
Volltext

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

Volltext

Benchmarking bidirectional transformations: theory, implementation, application, and assessment von 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 …”
Volltext

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 …”
Volltext

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

Volltext

Idris, a general-purpose dependently typed programming language: Design and implementation von 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 …”
Volltext

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

“… The paper proposes finite element method algorithm implemented in Julia programming language …”
Volltext

pocl: A Performance-Portable OpenCL Implementation von 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 …”
Volltext

Cubical agda: a dependently typed programming language with univalence and higher inductive types von 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 …”
Volltext

On the efficiency of software implementations of lightweight block ciphers from the perspective of programming languages von 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 …”
Volltext

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 von Johnsen, Einar Broch, Wimmer, Manuel

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