Search Results - Semantics of Programming Languages—Process models*

An empirical study on the potential of word embedding techniques in bug report management tasks by Chen, Bingting, Zou, Weiqin, Cai, Biyu, Meng, Qianshuang, Liu, Wenjie, Li, Piji, Chen, Lin

“…) to do semantic extraction. Little attention is paid to exploring whether word embedding (WE) models from the natural language process could help BRM tasks…”
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

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

Simplifying environmental model reuse by Holzworth, Dean P., Huth, Neil I., de Voil, Peter G.

“…The environmental modelling community has developed many models with varying levels of complexity and functionality. Many of these have overlapping problem…”
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

Distributed processes and location failures by Riely, James, Hennessy, Matthew

“…Site failure is an essential aspect of distributed systems; nonetheless its effect on programming language semantics remains poorly understood…”
Get full text

Towards a Process Algebra for Shared Processors by Buchholtz, Mikael, Andersen, Jacob, Løvengreen, Hans Henrik

“… Applications of the model for process scheduling, programming language semantics, and kernel development are outlined…”
Get full text

CoSTV: Accelerating Code Search with Two-Stage Paradigm and Vector Retrieval by Zheng, Dewu, Wang, Yanlin, Chen, Wenqing, Chen, Jiachi, Zheng, Zibin

“… Recent pre-trained code models based on deep learning can capture the semantic connection between programming language and natural language, generating more accurate vector representations for codes…”
Get full text

Causal Consistency for Reversible Multiparty Protocols by Mezzina, Claudio Antares, Pérez, Jorge A.

“…In programming models with a reversible semantics, computational steps can be undone…”
Get full text

Compositional verification of model-level refactorings based on graph transformations by Bisztray, Dénes András

“…, using process algebras as semantics domain for architectural models. Denotational semantics of programming languages are by definition compositional…”
Get full text

Proceedings 37th Conference on Mathematical Foundations of Programming Semantics by Sokolova, Ana

“…; constructive mathematics; domain theory and categorical models; formal languages; formal methods; game semantics; lambda calculus; programming-language theory…”
Get full text

Compositionality of Model Transformations by Bisztray, Dénes, Heckel, Reiko, Ehrig, Hartmut

“… using process algebras as semantics for visual modeling languages. Denotational semantics of programming languages are by definition compositional…”
Get full text

Causal Consistency for Reversible Multiparty Protocols by Claudio Antares Mezzina, Pérez, Jorge A

“…In programming models with a reversible semantics, computational steps can be undone…”
Get full text

Optimization and Security Analysis of Interconnected Security Control Based on Semantic of Process Communication by Bo LU, Yueming LU

“… was proposed.The interaction model of master-slave processes was described in a parallel programming language…”
Get full text

Optimization and Security Analysis of Interconnected Security Control Based on Semantic of Process Communication by Bo LU, Yueming LU

“… was proposed.The interaction model of master-slave processes was described in a parallel programming language…”
Get full text

FORMATION AND DEVELOPMENT OF SOFTWARE ENGINEERING AS A KNOWLEDGE AREA by Striuk, A.

“… The modern SE is based on three groups of key principles: the basic concepts of computer science, related to data structures, algorithms, programming languages and their semantics, analysis, computational, computational models, etc…”
Get full text

Intensionality, Definability and Computation by Samson Abramsky

“… of programming languages, with applications in program analysis and verification. In a broader context, we can regard game semantics as a first step towards developing…”
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

Basic research in computer science and software engineering at SKLCS by Zhang, Jian, Zhang, Wenhui, Zhan, Naijun, Shen, Yidong, Chen, Haiming, Zhang, Yunquan, Wang, Yongji, Wu, Enhua, Wang, Hongan, Zhu, Xueyang

“… The research topics of the laboratory include: concurrency theory, theory and algorithms for real-time systems, formal specifications based on context-free grammars, semantics of programming languages, model checking, automated reasoning, logic…”
Get full text