Knowledge-Based Verification of Concatenative Programming Patterns Inspired by Natural Language for Resource-Constrained Embedded Devices

Knowledge-Based Verification of Concatenative Programming Patterns Inspired by Natural Language for Resource-Constrained Embedded Devices

We propose a methodology to verify applications developed following programming patterns inspired by natural language that interact with physical environments and run on resource-constrained interconnected devices. Natural language patterns allow for the reduction of intermediate abstraction layers...

Full description

Bibliographic Details
Main Authors: Salvatore Gaglio, Giuseppe Lo Re, Gloria Martorella, Daniele Peri
Format: Article
Language:English
Published: MDPI AG 2021-12-01
Series:Sensors
Subjects:
embedded systems
wireless sensor networks
internet of things
symbolic programming
distributed programming
concatenative languages
Online Access:https://www.mdpi.com/1424-8220/21/1/107

Internet

https://www.mdpi.com/1424-8220/21/1/107

Similar Items