A Constraint and Object Oriented Fifth Generation Programming Language and its Compiler and Runtime System [PDF]
, 2022 22 pages, 8 figures, submitted to Chinese Journal of ...
Jipeng, Han, Zhihang, Lichen
openaire +3 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
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
Instances and connectors : issues for a second generation process language [PDF]
, 1998 This work is supported by UK EPSRC grants GR/L34433 and GR/L32699Over the past decade a variety of process languages have been defined, used and evaluated. It is now possible to consider second generation languages based on this experience.
Bakvis Herman +68 more
core +7 more sources
Theory Solving Made Easy with Clingo 5 [PDF]
, 2016 Answer Set Programming (ASP) is a model, ground, and solve paradigm. The integration of application- or theory-specific reasoning into ASP systems thus impacts on many if not all elements of its workflow, viz.
Gebser, Martin +5 more
core +1 more source
Experience with [omega]: Implementation of a prototype programming environment, Part V [PDF]
, 1985 This is the fifth report of a series exploring the use of the £7 programming notation to prototype a programming environment. This environment includes an interpreter, unparser, syntax directed editor, command interpreter, debugger and code generator ...
MacLennan, Bruce J.
core +6 more sources
Variations on a Theme: A Bibliography on Approaches to Theorem Proving Inspired From Satchmo [PDF]
, 2005 This articles is a structured bibliography on theorem provers, approaches to theorem proving, and theorem proving applications inspired from Satchmo, the model generation theorem prover developed in the mid 80es of the 20th century at ECRC, the ...
Bry, François, Manthey, Rainer
core +1 more source
Extensible Automated Constraint Modelling [PDF]
, 2011 In constraint solving, a critical bottleneck is the formulationof an effective constraint model of a given problem. The CONJURE system described in this paper, a substantial step forward over prototype versions of CONJURE previously reported, makes a ...
Akgun, Ozgur +4 more
core +1 more source
Transforming specifications of observable behaviour into programs [PDF]
, 1994 A methodology for deriving programs from specifications of observable behaviour is described. The class of processes to which this methodology is applicable includes those whose state changes are fully definable by labelled transition systems, for ...
Gilbert, D, Hogger, C, Zlatuska, J
core +2 more sources
RaPro: A Novel 5G Rapid Prototyping System Architecture
, 2017 We propose a novel fifth-generation (5G) rapid prototyping (RaPro) 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 ...
Gao, Feifei +6 more
core +1 more source