A Constraint and Object Oriented Fifth Generation Programming Language and its Compiler and Runtime System [PDF]
arXiv.org, 2022 22 pages, 8 figures, submitted to Chinese Journal of ...
Jipeng, Han, Zhihang, Lichen
semanticscholar +5 more sources
CRITICAL REVIEW OF THE FIFTH GENERATION OF PROGRAMMING LANGUAGE: THE PAST, PRESENT AND THE FUTURE.
, 2021 For ...
Okemiri Henry Anayo
openaire +2 more sources
Extending Isabelle/HOL's Code Generator with support for the Go programming language [PDF]
World Congress on Formal Methods, 2023 The Isabelle proof assistant includes a small functional language, which allows users to write and reason about programs. So far, these programs could be extracted into a number of functional languages: Standard ML, OCaml, Scala, and Haskell.
Terru Stübinger, Lars Hupel
semanticscholar +1 more source
Lightweight Blockchain Framework For Medical Record Data Integrity
Journal of Applied Science and Engineering, 2022 Medical data record from the patient is private data that is very confidential and secure. Securing medical data records using blockchain can prevent unauthorized parties from seeing or changing the data.
Viddi Mardiansyah, Riri Fitri Sari
doaj +1 more source
Revisiting Language Support for Generic Programming: When Genericity Is a Core Design Goal [PDF]
The Art, Science, and Engineering of Programming, 2023, Vol. 7,
Issue 2, Article 4, 2022 Context: Generic programming, as defined by Stepanov, is a methodology for writing efficient and reusable algorithms by considering only the required properties of their underlying data types and operations. Generic programming has proven to be an effective means of constructing libraries of reusable software components in languages that support it ...
arxiv +1 more source
On the Applicability of Language Models to Block-Based Programs [PDF]
, 2023 Block-based programming languages like Scratch are increasingly popular for programming education and end-user programming. Recent program analyses build on the insight that source code can be modelled using techniques from natural language processing. Many of the regularities of source code that support this approach are due to the syntactic overhead ...
arxiv +1 more source
RaPro: A Novel 5G Rapid Prototyping System Architecture [PDF]
IEEE Wireless Communications Letters, 2017 We propose a novel fifth-generation (5G) rapid prototyping system architecture by combining FPGA-privileged modules from a software defined radio (or FPGA-coprocessor) and high-level programming language for advanced algorithms from multi-core general ...
Xi Yang +6 more
semanticscholar +1 more source
A Fifth Generation Approach to Problem-Solving in Forest Mensuration and Sampling
, 1988 A new problem-solving methodology, based on fifth generation computer programming languages, is presented for use in forestry or other technically-oriented fields.
S. Titus, W. Adams
semanticscholar +1 more source
Programming Languages and Law: A Research Agenda [PDF]
arXiv, 2022 If code is law, then the language of law is a programming language. Lawyers and legal scholars can learn about law by studying programming-language theory, and programming-language tools can be usefully applied to legal problems. This article surveys the history of research on programming languages and law and presents ten promising avenues for future ...
arxiv
Topics in Programming Languages: A Philosophical Analysis Through the Case of Prolog
, 2013 Programming languages seldom find proper anchorage in philosophy of logic, language and science. is more, philosophy of language seems to be restricted to natural languages and linguistics, and even philosophy of logic is rarely framed into programming ...
Luis Manuel Cabrita Pais Homen
semanticscholar +1 more source