Search

Search Results

1. Implementation of a Plausible Reasoning in the Prolog Programming Language

   Features of the representation of a plausible reasoning in various implementations of the logical programming language Prolog are considered. A...

   E. A. Efimova in Automatic Documentation and Mathematical Linguistics

   Article 01 June 2023
   

2. Programming Language Design and Implementation

   This textbook is intended as a guide for programming-language designers and users to better help them understand consequences of design decisions.

   The...

   Torben Ægidius Mogensen in Texts in Computer Science

   Textbook 2022
   

3. GSGP-hardware: instantaneous symbolic regression with an FPGA implementation of geometric semantic genetic programming

   Geometric Semantic Genetic Programming (GSGP) proposed an important enhancement to GP-based learning, incorporating search operators that operate...

   Yazmin Maldonado, Ruben Salas, ... Leonardo Trujillo in Genetic Programming and Evolvable Machines

   Article 25 June 2024
   

4. Programming Language Implementations with Multiparty Session Types

   Session types provide a ty** discipline for communication systems, and a number of programming languages are integrated with session types. This...

   Nobuko Yoshida in Active Object Languages: Current Research Trends

   Chapter 2024
   

5. Describing a Programming Language

   A programming language is an artificial formalism in which algorithms can be expressed. For all its artificiality, though, this formalism remains a...

   Maurizio Gabbrielli, Simone Martini in Programming Languages: Principles and Paradigms

   Chapter 2023
   

6. A dynamic programming-based data-adaptive information granulation approach and its distributed implementation

   Abstract

   Information granules are fundamental and effective constructs in human cognitive and decision-making activities. It is unavoidable to...

   Yashuang Mu, Kai Hou, ... **aodong Liu in Applied Intelligence

   Article 18 July 2023
   

7. What Is a Programming Language?

   In this chapter we learn what programming languages are and what the basic differences are between them and natural languages. We also look at how...

   Joachim L. Zuckarelli in Learn coding with Python and JavaScript

   Chapter 2024
   

8. Jeopardy: An Invertible Functional Programming Language

   Reversible programming languages guarantee that their programs are invertible at the cost of restricting the permissible operations to those which...

   Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen in Reversible Computation

   Conference paper 2024
   

9. Advanced Assembly Language Programming

   In this chapter, you’ll review a few source code examples that demonstrate advanced x86 assembly language programming techniques. The first two...

   Daniel Kusswurm in Modern X86 Assembly Language Programming

   Chapter 2023
   

10. Programming event monitors

    Specification languages for runtime verification are commonly rooted in formal languages, such as temporal logic, automata, or regular expressions....

    Klaus Havelund, Gerard J. Holzmann in International Journal on Software Tools for Technology Transfer

    Article 22 June 2023

11. A Novel Teaching Strategy Based on EduCoder Platform for C Programming Language

    Experimental teaching is an important part of the C programming language course, which aims to cultivate students’ Computational thinking ability,...

    Wei Li, **nhong Hei, ... Yichuan Wang in Computer Science and Educational Informatization

    Conference paper 2024
    

12. Coordinating and programming multiple ROS-based robots with X-KLAIM

    Software development for robotics applications is still a major challenge that becomes even more complex when considering multi-robot systems (MRSs)....

    Lorenzo Bettini, Khalid Bourr, ... Francesco Tiezzi in International Journal on Software Tools for Technology Transfer

    Article Open access 02 November 2023

13. Enabling Dynamic Selection of Implementation Variants in Component-Based Parallel Programming for Heterogeneous Systems

    Heterogeneous systems, consisting of CPUs and GPUs, offer the capability to address the demands of compute- and data-intensive applications. However,...

    Suejb Memeti in Euro-Par 2023: Parallel Processing Workshops

    Conference paper 2024
    

14. Hardware Implementation of OCaml Using a Synchronous Functional Language

    We present a hardware implementation of the high-level multi-paradigm language OCaml using a declarative language called Eclat. Eclat is tailored for...

    Loïc Sylvestre, Jocelyn Sérot, Emmanuel Chailloux in Practical Aspects of Declarative Languages

    Conference paper 2023
    

15. SwitchLog: A Logic Programming Language for Network Switches

    The development of programmable switches such as the Intel Tofino has allowed network designers to implement a wide range of new in-network...

    Vaibhav Mehta, Devon Loehr, ... David Walker in Practical Aspects of Declarative Languages

    Conference paper 2023
    

16. Would ChatGPT-facilitated programming mode impact college students’ programming behaviors, performances, and perceptions? An empirical study

    ChatGPT, an AI-based chatbot with automatic code generation abilities, has shown its promise in improving the quality of programming education by...

    Dan Sun, Azzeddine Boudouaia, ... Yan Li in International Journal of Educational Technology in Higher Education

    Article Open access 22 February 2024
    

17. Language Server Protocol and Implementation Supporting Language-Smart Editing and Programming Tools

    Understand the important aspects of implementing a production-grade language server in support of language-smart tools such as code editors and other...

    Nadeeshaan Gunasinghe, Nipuna Marcus

    Book 2022
    

18. Transformation of C Programming Language Memory Model into Object-Oriented Representation of EO Language

    Abstract—

    The paper analyzes the possibilities of transforming C programming language constructs into objects of EO programming language. The key...

    A. I. Legalov, Y. G. Bugayenko, ... A. N. Kamenskiy in Automatic Control and Computer Sciences

    Article 01 December 2023

19. Reactamole: functional reactive molecular programming

    Chemical reaction networks (CRNs) are an important tool for molecular programming. This field is rapidly expanding our ability to deploy computer...

    Titus H. Klinge, James I. Lathrop, ... Allison Rogers in Natural Computing

    Article 19 April 2024
    

20. Compilation Semantics for a Programming Language with Versions

    Programming with versions is a paradigm that allows a program to use multiple versions of a module so that the programmer can selectively use...

    Yudai Tanabe, Luthfan Anshar Lubis, ... Hidehiko Masuhara in Programming Languages and Systems

    Conference paper Open access 2023