scholarly journals On Some Language Extension of Logic MR: A Semantic and Tableau Approach

2021 ◽  
Vol 68 (4) ◽  
pp. 345-366
Author(s):  
Tomasz Jarmużek ◽  
Aleksander Parol
Keyword(s):  
Language Extension

O pewnym językowym rozszerzeniu logiki MR: podejście semantyczne i tabelau W artykule przedstawiamy rozszerzenie minimalnej, normalnej logiki pozycyjnej, czyli logiki z operatorem realizacji. Logika pozycyjna to logika filozoficzna, która umożliwia odniesienie zdań do kontekstów, które można rozumieć na wiele sposobów. Wzbogacamy podstawowy język minimalnej logiki pozycyjnej o dodatkowe wyrażenia zbudowane z predykatów i stałych pozycyjnych. Akceptujemy również wyrażenia zbudowane z operatorem realizacji oraz wiele pozycji, takich jak: Dzięki temu zwiększyliśmy wyrazistość minimalnej logiki pozycyjnej. W artykule wskazujemy na wiele przykładów na to, że dzięki tej niewielkiej zmianie mogą powstać złożone teorie oparte na proponowanym rozszerzeniu. Jako teorię dowodu dla naszej logiki zakładamy metody tableau, pokazujące twierdzenia o poprawności i zupełności. Na koniec jednak pokazujemy, że badana tutaj logika jest tylko rozszerzeniem językowym MR: wszystkie twierdzenia o przedłużeniu mają swoje odpowiedniki w czystych twierdzeniach MR. Jednak teorie oparte na proponowanym rozszerzeniu mogą wyrazić znacznie więcej niż teorie oparte na czystej MR.

How to write a C++ language extension proposal for ANSI-X3J16/ISO-WG21

1992 ◽  
Vol 27 (6) ◽  
pp. 64-71 ◽  
Author(s):  
Corporate X3J16 Working Group on Extensions
Keyword(s):  
C Language ◽  
Language Extension

scholarly journals A language extension set to generate adaptive versions automatically

2018 ◽  
Vol 73 ◽  
pp. 52 ◽  
Author(s):  
Maxime Schmitt ◽  
Cédric Bastoul ◽  
Philippe Helluy
Keyword(s):  
Second Step ◽  
Development Effort ◽  
Approximate Computing ◽  
Problem Size ◽  
Actual Problem ◽  
Language Extension ◽  
Time Space ◽  
Syntactic Information ◽  
Compiler Infrastructure ◽  
The Impact

A large part of the development effort of compute-intensive applications is devoted to optimization, i.e., achieving the computation within a finite budget of time, space or energy. Given the complexity of modern architectures, writing simulation applications is often a two-step workflow. Firstly, developers design a sequential program for algorithmic tuning and debugging purposes. Secondly, experts optimize and exploit possible approximations of the original program to scale to the actual problem size. This second step is a tedious, time-consuming and error-prone task. In this paper we investigate language extensions and compiler tools to achieve that task semi-automatically in the context of approximate computing. We identified the semantic and syntactic information necessary for a compiler to automatically handle approximation and adaptive techniques for a particular class of programs. We propose a set of language extensions generic enough to provide the compiler with the useful semantic information when approximation is beneficial. We implemented the compiler infrastructure to exploit these extensions and to automatically generate the adaptively approximated version of a program. We provide an experimental study of the impact and expressiveness of our language extension set on various applications.

Systems modeling language extension to support modeling of human-agent teams

2020 ◽  
Author(s):  
Michael E. Miller ◽  
John M. McGuirl ◽  
Michael F. Schneider ◽  
Thomas C. Ford
Keyword(s):  
Modeling Language ◽  
Systems Modeling ◽  
Human Agent ◽  
Language Extension ◽  
Agent Teams

Reliability of IoT-Aware BPMN Healthcare Processes

2020 ◽  
pp. 793-821 ◽  
Author(s):  
Dulce Domingos ◽  
Ana Respício ◽  
Ricardo Martinho
Keyword(s):  
Business Process ◽  
Assisted Living ◽  
Process Model ◽  
Ambient Assisted Living ◽  
Living System ◽  
Biomedical Sensors ◽  
Language Extension ◽  
Healthcare Process ◽  
Healthcare Processes ◽  
Electronic Tags

BPMN (Business Process Model and Notation) has become the de-facto business process modelling language standard. Healthcare processes have been increasingly incorporating participants other than humans, including Internet of Things (IoT) physical devices such as biomedical sensors or patient electronic tags. Due to its critical requirements, IoT-aware healthcare processes justify the relevance of Quality of Services aspects, such as reliability, availability, and cost, among others. This chapter focuses on reliability and proposes to use the Stochastic Workflow Reduction (SWR) method to calculate the reliability of IoT-aware BPMN healthcare processes. In addition, the chapter proposes a BPMN language extension to provide processes with reliability information. This way, at design time, modellers can analyse alternatives and, at run time, reliability information can be used to select participants, execute services, or monitor process executions. The proposal is applied to an Ambient Assisted Living system use case, a rich example of an IoT-aware healthcare process.

Spatial Modeling Language Extension

2008 ◽  
pp. 1101-1101
Author(s):  
Shashi Shekhar ◽  
Hui Xiong
Keyword(s):  
Spatial Modeling ◽  
Modeling Language ◽  
Language Extension

scholarly journals Virtual values for language extension

2011 ◽  
Vol 46 (10) ◽  
pp. 921-938 ◽  
Author(s):  
Thomas H. Austin ◽  
Tim Disney ◽  
Cormac Flanagan
Keyword(s):  
Language Extension
Sign in / Sign up

Export Citation Format

Share Document