Filters








10,384 Hits in 3.9 sec

Adding Rule-Based Model Transformation to Modelling Languages in MetaEdit+

Simon Van Mierlo, Hans Vangheluwe
2012 Electronic Communications of the EASST  
This modification is performed in a structured fashion using a process called RAMification. Both the model and the rules are exported from MetaEdit+ to Python code.  ...  Such transformations are useful as they allow domain experts to intuitively (using domain-specific notations) model either operational semantics (a simulator) or denotational semantics (through model-to-model  ...  They allow the modeller to, for example, define semantics for a modelling language, either by simulating the model (operational semantics) or by mapping onto a known formalism (denotational semantics).  ... 
doi:10.14279/tuj.eceasst.54.781 dblp:journals/eceasst/MierloV12 fatcat:bgwq4434krecvcpki6y7r7oopi

Juxtaposing Python with BASIC in the Context of Introductory Programming

2020 jecet  
Exploratory context of lexical and semantic similarities between BASIC and Python were provided in this paper.  ...  Though, different programming languages had came into being with focus and diversity for problem solving in different domains.  ...  Compilation approach is associated with the structure and elements of computer program because the execution attention is more on the operation than the required operands for computational process [7,  ... 
doi:10.24214/jecet.b.9.1.01520 fatcat:5vnnbtijx5dwxpq4zvav6ba4w4

������ ��������� ��������� �������в� ���� PYTHON

B Hoshko, V Chernyakhivskyy
2019 Application Mathematics and Informatics  
We dene semantics models in two groups: 1) models based on valid Python operations; 2) models based on Python operators and control structures.  ...  The semantic denitions of compound Python programming language operators, for which we have expanding applications in application projects, are explained in the article.  ...  Models of semantics are dened by two groups: 1) models based on permissible operations of the language Python; 2) models based on operators and Python control structures.  ... 
doi:10.30970/vam.2019.27.10293 fatcat:jektkxewlfgbpe4giloazyuy4y

A Model-Based Testing Framework for Automotive Embedded Systems

Raluca Marinescu, Mehrdad Saadatmand, Alessio Bucaioni, Cristina Seceleanu, Paul Pettersson
2014 2014 40th EUROMICRO Conference on Software Engineering and Advanced Applications  
The methodology relies on: (i) automated model-based test-case generation for functional requirements criteria based on the EAST-ADL model extended with timed automata semantics, and (ii) validation of  ...  system implementation by generating Python test scripts based on the abstract test-cases.  ...  ACKNOWLEDGMENT The authors would like to thank Elaine Weyuker for her valuable comments on this work.  ... 
doi:10.1109/seaa.2014.70 dblp:conf/euromicro/MarinescuSBSP14 fatcat:6yg72o7cljh3beiwtnaha7scre

Static Value Analysis of Python Programs by Abstract Interpretation [chapter]

Aymeric Fromherz, Abdelraouf Ouadjaout, Antoine Miné
2018 Lecture Notes in Computer Science  
As Python lacks a formal specification, we first present a concrete collecting semantics of reachable program states.  ...  Python is a high-level language with dynamic typing, a class-based object system, complex control structures such as generators, and a large library of builtin objects.  ...  Planned work include completing the support for builtins and libraries to be able to analyze Python applications.  ... 
doi:10.1007/978-3-319-77935-5_14 fatcat:3azifz2fbfg5xfu52rxsoxaqfe

Static Type Analysis by Abstract Interpretation of Python Programs

Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné, Tobias Pape, Robert Hirschfeld
2020 European Conference on Object-Oriented Programming  
Python is an increasingly popular dynamic programming language, particularly used in the scientific community and well-known for its powerful and permissive high-level syntax.  ...  It handles both typing paradigms used in Python, nominal and structural, supports Python's object model, introspection operators allowing dynamic type testing, dynamic attribute addition, as well as exception  ...  Acknowledgements We thank the anonymous reviewers for their valuable comments and feedback. Cons ist en t * Comple te  ... 
doi:10.4230/lipics.ecoop.2020.17 dblp:conf/ecoop/MonatOM19 fatcat:c6bujhm42na6paexk5sukwqa7q

ABCD: A User-Friendly Language for Formal Modelling and Analysis [chapter]

Franck Pommereau
2016 Lecture Notes in Computer Science  
The model for the tracks has the same structure.  ...  This paper provides the first complete and formal definition of abcd, i.e., its syntax and semantics.  ... 
doi:10.1007/978-3-319-39086-4_12 fatcat:azbf6viupfakblteegj6cxglsq

Will we think in programming languages?

Jiří Fišer
2012 Acta Informatica Pragensia  
The transformation must overcome the gap between abstract human formal notation and low level semantics of contemporary programming languages.  ...  The simultaneous knowledge of specific scientific models and programming languages is an unpleasant necessity for a significant proportion of scientists and practitioners (engineers, economist, etc.).  ...  The second dimension -the freedom of implement new operational syntax and semantics needs an easy tool for metaprogramming i.e. programming of program constructs.  ... 
doi:10.18267/j.aip.1 fatcat:p5urykhulfardol7pxloh3wx5y

Pragmatic reuse for DSML development

Stefan Klikovits, Didier Buchs
2020 Journal of Software and Systems Modeling  
We present the DSL's semantics, which thoroughly connect the various language concerns into an executable formalism that enables sound simulation and formal verification in , and discuss the lessons learned  ...  The borrowed aspects have been carefully combined and formalised in a well-defined operational semantics.  ...  We also appreciate the effort of Aurélien Coet, Stefan Bodoarcȃ and Guillaume Marthe for helping us improve the usability of CREST and crestdsl.  ... 
doi:10.1007/s10270-020-00831-4 fatcat:5keaddbsyrd4fm3vsy42utmini

High-performance analysis of filtered semantic graphs

Aydin Buluç, Armando Fox, John R. Gilbert, Shoaib A. Kamil, Adam Lugowski, Leonid Oliker, Samuel W. Williams
2012 Proceedings of the 21st international conference on Parallel architectures and compilation techniques - PACT '12  
High performance is a crucial consideration when executing a complex analytic query on a massive semantic graph. In a semantic graph, vertices and edges carry "attributes" of various types.  ...  to the bottleneck of having to call into the Python interpreter for each edge.  ...  Given the semantic model, now we define a mapping from Python syntax to the semantic model. Python Syntax for the Filter DSL Users of KDT are not exposed to the semantic model.  ... 
doi:10.1145/2370816.2370897 dblp:conf/IEEEpact/BulucFGKLOW12 fatcat:o2zz3sefpnezpe3hthxpcejunu

TRANX: A Transition-based Neural Abstract Syntax Parser for Semantic Parsing and Code Generation [article]

Pengcheng Yin, Graham Neubig
2018 arXiv   pre-print
We present TRANX, a transition-based neural semantic parser that maps natural language (NL) utterances into formal meaning representations (MRs).  ...  Experiments on four different semantic parsing and code generation tasks show that our system is generalizable, extensible, and effective, registering strong results compared to existing neural semantic  ...  PY would like to thank Junxian He and Li Dong for helpful discussions.  ... 
arXiv:1810.02720v1 fatcat:hexyla3b5nayla6inwqtqbmr4y

TRANX: A Transition-based Neural Abstract Syntax Parser for Semantic Parsing and Code Generation

Pengcheng Yin, Graham Neubig
2018 Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing: System Demonstrations  
We present TRANX, a transition-based neural semantic parser that maps natural language (NL) utterances into formal meaning representations (MRs).  ...  Experiments on four different semantic parsing and code generation tasks show that our system is generalizable, extensible, and effective, registering strong results compared to existing neural semantic  ...  The ASDL framework is a grammatical formalism to define ASTs. See Fig. 1 for an excerpt of the Python ASDL grammar. TRANX provides APIs to read such a grammar from human-readable text files.  ... 
doi:10.18653/v1/d18-2002 dblp:conf/emnlp/YinN18 fatcat:fsf433rphfajndgwuto3buqgie

Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification (Artifact) [article]

Christoph Sprenger, Tobias Klenze, Marco Eilers, Felix A. Wolf, Peter Müller, Martin Clochard, David Basin
2020 Zenodo  
Instructions for running the VM image and using the artifact can be found in the README.  ...  This is the artifact accompanying the OOPSLA 2020 paper "Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification".  ...  For both versions, we have also defined an example run that will automatically start several nodes in a ring; to execute it, run java impl.Main Inspecting, Verifying and Executing the Python Implementation  ... 
doi:10.5281/zenodo.4039826 fatcat:p6tt5w7ekjabffgrti2tj5jigm

Agile Engineering of Internal Domain-Specific Languages with Dynamic Programming Languages

Sebastian Gunther, Maximilian Haupt, Matthias Splieth
2010 2010 Fifth International Conference on Software Engineering Advances  
Domain-Specific Languages (DSL) abstract from the domain entities and operations to represent domain knowledge in the form of an executable language.  ...  This article presents an engineering process for internal DSLs. An agile process leads from analysis to design and implementation.  ...  ACKNOWLEDGEMENTS We thank Christian Kästner and the anonymous reviewers for helpful comments on earlier drafts of this paper.  ... 
doi:10.1109/icsea.2010.32 dblp:conf/icsea/GuntherHS10 fatcat:gxuhhtxz2jbqveanowbhlhtaoy

A modern compiler for the French tax code

Denis Merigoux, Raphaël Monat, Jonathan Protzenko
2021 Proceedings of the 30th ACM SIGPLAN International Conference on Compiler Construction  
This permissive behavior is fine for an interpreter which has a dynamic execution environment; however, our goal is to generate efficient C and Python code that can be integrated into existing software  ...  Most of these works follow the same structure: they take a subset of the law, analyze its logical structure, and encode it using a novel or existing formalism.  ... 
doi:10.1145/3446804.3446850 fatcat:jj2b4madqnfc7dqwx6yg5545li
« Previous Showing results 1 — 15 out of 10,384 results