Search Results - Semantics of Programming Languages. Process models

Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings by Goubault-Larrecq, Jean, König, Barbara

“…; semantics of programming languages; program analysis, correctness, transformation, and verification…”
Get full text

Exploring Relationships between Syntax and Semantics of a Process-Oriented Language by Category Theory by Zhu, Ming, Grogono, Peter, Ormandjieva, Olga

“… In this paper, we propose to use mandatory/optional trace sets to model the semantics of a process-oriented programming language named Erasmus…”
Get full text

Developing Agent-Based Migration Models in Pairs by Reinhardt, Oliver, Uhrmacher, Adelinde M., Hinsch, Martin, Bijak, Jakub

“… One model is realized in the programming language Julia, the underlying execution semantics is of a discrete stepwise stochastic process…”
Get full text

DENOTATIONAL MODELS BASED ON SYNCHRONOUSLY COMMUNICATING PROCESSES (SEMANTICS, PROGRAMMING LANGUAGES) by GOLSON, WILLIAM GUYRE

“…We initially establish a fundamental connection between the semantic theories of concurrency and communication in the works of de Bakker and Milner…”
Get full text

RoboChart: modelling and verification of the functional behaviour of robotic applications by Miyazawa, Alvaro, Ribeiro, Pedro, Li, Wei, Cavalcanti, Ana, Timmis, Jon, Woodcock, Jim

“… Our goal is to support roboticists in writing models and applying modern verification techniques using a language familiar…”
Get full text

Dependency-Based Construction of Semantic Space Models by Sebastian Padó, Mirella Lapata

Get full text

Geometric semantic genetic programming with normalized and standardized random programs by Bakurov, Illya, Muñoz Contreras, José Manuel, Castelli, Mauro, Rodrigues, Nuno, Silva, Sara, Trujillo, Leonardo, Vanneschi, Leonardo

“…Geometric semantic genetic programming (GSGP) represents one of the most promising developments in the area of evolutionary computation (EC) in the last decade…”
Get full text

Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

“…; semantics of programming languages; program analysis, correctness, transformation, and verification…”
Get full text

ST-Petri: A Visual Executable Semantic Model for PLC Structured Text Language by Hu, Xiaoyu, Liang, Yonghui, Zhu, Shibo, Li, Hui, Zhu, Shanying

“…) and their programs determine the stability of the production process. Structured Text (ST) is one of the most widely used PLC programming languages…”
Get full text

Automaton-based comparison of Declare process models by Schützenmeier, Nicolai, Käppel, Martin, Ackermann, Lars, Jablonski, Stefan, Petter, Sebastian

“… Thus, it is also hard to decide whether two process models are equal with respect to their semantic meaning, whether one model is completely contained in another one or how far two models overlap…”
Get full text

The polychronous model of computation and Kahn process networks by Gautier, Thierry, Le Guernic, Paul, Besnard, Loïc, Talpin, Jean-Pierre

“…In 1974, Gilles Khan defined a seminal semantic model for asynchronous dataflow programming that would then be called as the eponymous Kahn process networks (KPN…”
Get full text

A neural joint model for entity and relation extraction from biomedical text by Li, Fei, Zhang, Meishan, Fu, Guohong, Ji, Donghong

“… Previous work primarily utilized feature-based pipeline models to process this task. Many efforts need to be made on feature engineering when feature-based models are employed…”
Get full text

Hybrid optimization and ontology-based semantic model for efficient text-based information retrieval: Hybrid optimization and ontology-based semantic model by Kumar, Ram, Sharma, S. C.

“… The utilization of identical data sources and weighting strategies for expanding such terms are the major cause of this issue which leads the model unable to capture the comprehensive relationship…”
Get full text

Large Language Models are Few-Shot Summarizers: Multi-Intent Comment Generation via In-Context Learning by Geng, Mingyang, Wang, Shangwen, Dong, Dezun, Wang, Haotian, Li, Ge, Jin, Zhi, Mao, Xiaoguang, Liao, Xiangke

“… from diverse perspectives such as what is the functionality of this code snippet and how to use it. To tackle this limitation, this study empirically investigates the feasibility of utilizing large language models (LLMs…”
Get full text

Ontology-based affective models to organize artworks in the social semantic web by Bertola, Federico, Patti, Viviana

“… artworks on social platforms. We present a framework where methods and tools from a set of disciplines, ranging from Semantic and Social Web to Natural Language Processing, provide us the building…”
Get full text

Adding liveness to behavioral programming: theory, implementation, and user study by Yaacov, Tom, Elyasaf, Achiya, Weiss, Gera

“…This paper investigates how Behavioral Programming (BP), and executable specifications in general, can more effectively align models with requirements, addressing a key motivation behind BP’s development…”
Get full text

Better late than never: a fully-abstract semantics for classical processes by Kokke, Wen, Montesi, Fabrizio, Peressotti, Marco

“…We present Hypersequent Classical Processes (HCP), a revised interpretation of the “Proofs as Processes” correspondence between linear logic…”
Get full text

Semantic segmentation network stacking with genetic programming by Bakurov, Illya, Buzzelli, Marco, Schettini, Raimondo, Castelli, Mauro, Vanneschi, Leonardo

“… to process the input images rapidly. In this paper, we explore genetic programming (GP) as a meta-model…”
Get full text

A model‐driven approach for semantic web service modeling using web service modeling languages by Mohseni, Mohsen, Sohrabi, Mohammad Karim, Dorrigiv, Morteza

“… high‐level modeling language, such as the Unified Modeling Language (UML), to a low‐level semantic description, such as the Web Service Modeling Language (WSML…”
Get full text

MASSpy: Building, simulating, and visualizing dynamic biological models in Python using mass action kinetics by Haiman, Zachary B., Zielinski, Daniel C., Koike, Yuko, Yurkovich, James T., Palsson, Bernhard O.

“… MASSpy utilizes mass action kinetics and detailed chemical mechanisms to build dynamic models of complex biological processes…”
Get full text