Suchergebnisse - 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 von Goubault-Larrecq, Jean, König, Barbara

“… ; semantics of programming languages; program analysis, correctness, transformation, and verification …”
Volltext

Exploring Relationships between Syntax and Semantics of a Process-Oriented Language by Category Theory von 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 …”
Volltext

Developing Agent-Based Migration Models in Pairs von 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 …”
Volltext

DENOTATIONAL MODELS BASED ON SYNCHRONOUSLY COMMUNICATING PROCESSES (SEMANTICS, PROGRAMMING LANGUAGES) von 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 …”
Volltext

RoboChart: modelling and verification of the functional behaviour of robotic applications von 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 …”
Volltext

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

Volltext

Geometric semantic genetic programming with normalized and standardized random programs von 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 …”
Volltext

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 …”
Volltext

ST-Petri: A Visual Executable Semantic Model for PLC Structured Text Language von 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 …”
Volltext

Automaton-based comparison of Declare process models von 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 …”
Volltext

The polychronous model of computation and Kahn process networks von 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 …”
Volltext

A neural joint model for entity and relation extraction from biomedical text von 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 …”
Volltext

Hybrid optimization and ontology-based semantic model for efficient text-based information retrieval: Hybrid optimization and ontology-based semantic model von 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 …”
Volltext

Large Language Models are Few-Shot Summarizers: Multi-Intent Comment Generation via In-Context Learning von 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 …”
Volltext

Ontology-based affective models to organize artworks in the social semantic web von 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 …”
Volltext

Adding liveness to behavioral programming: theory, implementation, and user study von 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 …”
Volltext

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

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

Semantic segmentation network stacking with genetic programming von 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 …”
Volltext

A model‐driven approach for semantic web service modeling using web service modeling languages von 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 …”
Volltext

MASSpy: Building, simulating, and visualizing dynamic biological models in Python using mass action kinetics von 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 …”
Volltext