42,604 Hits in 4.9 sec

Mathematical semantics and data flow programming

Paul R. Kosinski
1976 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages - POPL '76  
This paper proves the semantic behavior of some elementary Data Flow programs and proves that certain optimization transformations preserve other behaviors.  ...  A Data Flow program [1,2] is a flowchart like network of operators which compute concurrently, dependent only on the availability of the data which flow along the paths.  ...  Background In the past several years, the mathematical specification of programming language semantics has been much investigated.  ... 
doi:10.1145/800168.811551 dblp:conf/popl/Kosinski76 fatcat:dzmazurch5exbokec2ylfttghu

Page 543 of Mathematical Reviews Vol. 58, Issue 1 [page]

1979 Mathematical Reviews  
There is also a review of the basic terminology from graph theory and from data flow analysis in global program optimiza- tion.  ...  These expressions provide the basis of a classification scheme for data flow which represents patterns of data flow along paths within subprograms and along paths which cross subprogram boundaries.  ... 

Page 4268 of Mathematical Reviews Vol. , Issue 83j [page]

1983 Mathematical Reviews  
Data flow analysis is carried out by studying data flow graphs, which have the structure of directed graphs with one initial vertex.  ...  Buda, A. 83j:68015 On the experience of riding two horses in programming. Algorithms in modern mathematics and computer science (Urgench, 1979), pp. 444-448, Lecture Notes in Comput.  ... 

Page 2431 of Mathematical Reviews Vol. 57, Issue 6 [page]

1979 Mathematical Reviews  
This paper develops a programming language notation and semantic interpretations which allow a program to operate on a data object in a manner which is dependent only on its logical or abstract properties  ...  The language and evaluation mechanism is defined, the mathematical model is in- troduced and some results connecting the mathematical and oper- ational meanings of programs are outlined.”  ... 

Foreword: programming language interference and dependence

2011 Mathematical Structures in Computer Science  
, model checking, program manipulation, program slicing, reverse engineering, data mining, distributed databases and systems biology.  ...  Giacobazzi and C. Mu 1110 problem in language-based security and advanced mathematical models are required for its solution.  ... 
doi:10.1017/s0960129511000168 fatcat:5idllhv7vveqzej3p7qi7auf5i

Teaching machines to understand data science code by semantic enrichment of dataflow graphs [article]

Evan Patterson, Ioana Baldini, Aleksandra Mojsilovic, Kush R. Varshney
2019 arXiv   pre-print
The semantic enrichment algorithm is undergirded by a new ontology language for modeling computer programs and a new ontology about data science, written in this language.  ...  Towards this prospect, we develop an AI system that forms semantic representations of computer programs, using techniques from knowledge representation and program analysis.  ...  The semantic flow graph describes the same program in terms of abstract concepts belonging to the Data Science Ontology. This graph is programming language and library independent.  ... 
arXiv:1807.05691v2 fatcat:cmgrc2ku3jbabctmhngxtknunu

Page 3210 of Mathematical Reviews Vol. , Issue 98E [page]

1998 Mathematical Reviews  
Data flow analy- sis and control flow analysis are combined into a single formalism in Chapter 6. Here a bridge is described between the semantic descriptions of sequential and parallel programs.  ...  This chapter in- troduces the notion of a concrete atomic action with data flow and control flow effects and gives an extension of the syntax for sequential programs with atomic actions, including an operational  ... 

Page 3359 of Mathematical Reviews Vol. , Issue 84h [page]

1984 Mathematical Reviews  
3359 Nielson, Flemming A denotational framework for data flow analysis. Acta Inform. 18 (1982/83), no. 3, 265-287. In this paper data flow analysis is treated from a semantic point of view.  ...  mathematics.”  ... 

Page 242 of Mathematical Reviews Vol. 55, Issue 1 [page]

1978 Mathematical Reviews  
Elgot, Remarks on one-argument program schemes (pp. 59-64); Dana Scott, Lattice theory, data types and semantics (pp. 65-106); J. H.  ...  ; (b) control flow graphs for | each procedure; (c) a description of the data flow within each procedure; (d) the flow of control between procedures; (e) the manner of which information flows between procedures  ... 

Page 1895 of Mathematical Reviews Vol. , Issue 81E [page]

1981 Mathematical Reviews  
From the introduction: “We investigate the mechanism for forming information relations (data flow) among the vertices of the control graph of a program.  ...  Society for Industrial and Applied Mathematics (SIAM), Philadelphia, Pa., 1980. iv + 49 pp. $7.50.  ... 

Page 1001 of Mathematical Reviews Vol. 56, Issue 3 [page]

1978 Mathematical Reviews  
Vaida (Bucharest) Scott, Dana 7304 Lattice theory, data types and semantics. Formal semantics of programming languages (Courant Comput. Sci. Sympos. 2, New York Univ., New York, 1970),. pp. 65- 106.  ...  Mathematically, a structured flow chart is a finite labeled directed graph inductively defined on certain fixed graphs.  ... 

Page 401 of Mathematical Reviews Vol. , Issue 93a [page]

1993 Mathematical Reviews  
about the quantified and nested NAF notions.” 93a:68083 68Q55 68Q10 Kearney, Peter (5-GRIF-C); Staples, John (5-QLD-C) An extensional fixed-point semantics for nondeterministic data flow.  ...  This paper presents a semantics for nondeterministic data flow computation, extending David Park’s ideas on this subject. The approach is based on the use of oracles.  ... 

OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical Systems [chapter]

Janos Sztipanovits, Ted Bapty, Sandeep Neema, Larry Howard, Ethan Jackson
2014 Lecture Notes in Computer Science  
This challenge is compounded by the need for rapidly evolving the design flow by changing/updating the selection of modeling languages, analysis and verification tools and synthesis methods.  ...  The primary driver for the OpenMETA tool chain was to push the boundaries of the "correct-by-construction" principle to decrease significantly the costly design-build-test-redesign cycles in design flows  ...  FORMULA's algebraic data types (ADTs) and constraint logic programming (CLP) based semantics is rich enough for defining mathematically modeling domains, transformations across domains, as well as constraints  ... 
doi:10.1007/978-3-642-54848-2_16 fatcat:3kryhumez5aovfp6wx7xkgtzsu

OMEX: Software for Mining Mathematical Expression Semantics from Scientific Documents

Yiannos A. Stathopoulos, Brian Harrington
2011 2011 IEEE Fifth International Conference on Semantic Computing  
Semantic analysis of scientific documents can benefit from the information carried by mathematical expressions.  ...  However, making established data-mining techniques formula-aware is pre-conditioned on the ability to process expressions in documents.  ...  Formulae in printed material are laid out in two dimensions and have semantics that deviate from expressions found in programming languages.  ... 
doi:10.1109/icsc.2011.65 dblp:conf/semco/StathopoulosH11 fatcat:6gvqrnyad5an5lsrwctytepxki

Foundations of Total Functional Data-Flow Programming

Baltasar Trancón y Widemann, Markus Lepper
2014 Electronic Proceedings in Theoretical Computer Science  
The field of declarative stream programming (discrete time, clocked synchronous, modular, data-centric) is divided between the data-flow graph paradigm favored by domain experts, and the functional reactive  ...  The abstract syntax and semantics introduced here constitute the full core of a novel stream programming language.  ...  Acknowledgments Signal graphs for the ARMA and ADSR models in Figures 1 and 2 , respectively, have been drawn using the free statistical software system R.  ... 
doi:10.4204/eptcs.153.10 fatcat:blwpsefnwvcx7ifdkqszpr7rfu
« Previous Showing results 1 — 15 out of 42,604 results