A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is `application/pdf`

.

## Filters

##
###
Mathematical semantics and data flow programming

1976
*
Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages - POPL '76
*

This paper proves the

doi:10.1145/800168.811551
dblp:conf/popl/Kosinski76
fatcat:dzmazurch5exbokec2ylfttghu
*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. ...##
###
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,

doi:10.1017/s0960129511000168
fatcat:5idllhv7vveqzej3p7qi7auf5i
*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. ...##
###
Teaching machines to understand data science code by semantic enrichment of dataflow graphs
[article]

2019
*
arXiv
*
pre-print

The

arXiv:1807.05691v2
fatcat:cmgrc2ku3jbabctmhngxtknunu
*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. ...##
###
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]

2014
*
Lecture Notes in Computer Science
*

This challenge is compounded by the need for rapidly evolving the design

doi:10.1007/978-3-642-54848-2_16
fatcat:3kryhumez5aovfp6wx7xkgtzsu
*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 ...##
###
OMEX: Software for Mining Mathematical Expression Semantics from Scientific Documents

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. ...

##
###
Foundations of Total Functional Data-Flow Programming

2014
*
Electronic Proceedings in Theoretical Computer Science
*

The field of declarative stream

doi:10.4204/eptcs.153.10
fatcat:blwpsefnwvcx7ifdkqszpr7rfu
*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. ...
« Previous

*Showing results 1 — 15 out of 42,604 results*