Výsledky vyhledávání - Programming Language Theory and its Implementation

On the implementation of the probabilistic logic programming language ProbLog Autor 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…”
Získat plný text

Implementation and Research of Finite Element Method for Nonlocal Elasticity Theory Problems in Julia Programming Language Autor 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…”
Získat plný text

Psi4NumPy: An Interactive Quantum Chemistry Programming Environment for Reference Implementations and Rapid Development Autor 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…”
Zjistit podrobnosti o přístupu

Adding liveness to behavioral programming: theory, implementation, and user study Autor 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…”
Získat plný text

Practical Foundations for Programming Languages Autor Harper, Robert

“…Types are the central organizing principle of the theory of programming languages…”
Získat plný text

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

“…We present a versatile high‐level programming‐language implementation of non‐linear topology optimization…”
Získat plný text

Automatically generating Feynman rules for improved lattice field theories Autor 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…”
Získat plný 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 Autor Muller, Peter

“… The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems…”
Získat plný text

Development and Teaching Application of Interactive Virtual Algorithm Animation of C Language Program Autor 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…”
Získat plný text

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

“…Programming distributed applications free from communication deadlocks and race conditions is complex…”
Získat plný text

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

Získat plný text

Benchmarking bidirectional transformations: theory, implementation, application, and assessment Autor 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…”
Získat plný 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…”
Získat plný text

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

Získat plný text

Idris, a general-purpose dependently typed programming language: Design and implementation Autor 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…”
Získat plný text

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

“…The paper proposes finite element method algorithm implemented in Julia programming language…”
Získat plný text

pocl: A Performance-Portable OpenCL Implementation Autor 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…”
Získat plný text

Cubical agda: a dependently typed programming language with univalence and higher inductive types Autor 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…”
Získat plný text

On the efficiency of software implementations of lightweight block ciphers from the perspective of programming languages Autor 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…”
Získat plný 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 Autor Johnsen, Einar Broch, Wimmer, Manuel

“…, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022…”
Získat plný text