Results 11 to 20 of about 749,786 (298)
General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond [PDF]
Logical Methods in Computer Science, 2022 The model of asynchronous programming arises in many contexts, from low-level systems software to high-level web programming. We take a language-theoretic perspective and show general decidability and undecidability results for asynchronous programs that
Rupak Majumdar +2 more
doaj +1 more source
A high-level programming and command language [PDF]
ACM SIGPLAN Notices, 1983 Unifying programming and command languages is a promising idea that has yet to be thoroughly exploited. Most attempts at such unification have used Lisp or traditional languages, such as Pascal. This paper describes the command and programming language EZ , which attempts to unify command and programming languages ...
Christopher W. Fraser, David R. Hanson
openaire +1 more source
A C++-embedded Domain-Specific Language for programming the MORA soft processor array [PDF]
, 2010 MORA is a novel platform for high-level FPGA programming of streaming vector and matrix operations, aimed at multimedia applications. It consists of soft array of pipelined low-complexity SIMD processors-in-memory (PIM).
Chalamalasetti, S.R. +3 more
core +1 more source
Function‐level module sharing techniques in high‐level synthesis
ETRI Journal, 2020 High‐level synthesis (HLS), which automatically synthesizes a register‐transfer level (RTL) circuit from a behavioral description written in a high‐level programming language such as C/C++, is becoming a more popular technique for improving design ...
Hiroki Nishikawa +4 more
doaj +1 more source
Learners Programming Language a Helping System for Introductory Programming Courses [PDF]
Mehran University Research Journal of Engineering and Technology, 2016 Programming is the core of computer science and due to this momentousness a special care is taken in designing the curriculum of programming courses. A substantial work has been conducted on the definition of programming courses, yet the introductory ...
MUHAMMAD SHUMAIL NAVEED +2 more
doaj
A Framework for Rapid Development and Portable Execution of Packet-Handling Applications [PDF]
, 2005 This paper presents a framework that enables the execution of packet-handling applications (such as sniffers, firewalls, intrusion detectors, etc.) on different hardware platforms.
Baldi, Mario +1 more
core +1 more source
Programming the Web with High-Level Programming Languages [PDF]
, 2001 Many modern programs provide operating system-style services to extension modules. A Web server, for instance, behaves like a simple OS kernel. It invokes programs that dynamically generate Web pages and manages their resource consumption. Most Web servers, however, rely on conventional operating systems to provide these services.
Paul Graunke +3 more
openaire +1 more source
Denotational Semantics of A User-Oriented, Domain-Specific Language [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 This paper presents the formal definition of a domain-specific language, named Pantagruel, following the methodology proposed by David Schmidt for language development.
Julien Mercadal +2 more
doaj +1 more source
Multiactive objects and their applications [PDF]
Logical Methods in Computer Science, 2017 In order to tackle the development of concurrent and distributed systems, the active object programming model provides a high-level abstraction to program concurrent behaviours.
Ludovic Henrio, Justine Rochas
doaj +1 more source
Abstraction in situation calculus action theories [PDF]
, 2017 We develop a general framework for agent abstraction based on the situation calculus and the ConGolog agent programming language. We assume that we have a high-level specification and a low-level specification of the agent, both repre- sented as basic ...
Banihashemi, Bita +2 more
core +3 more sources