Filters








10,836 Hits in 6.4 sec

A program integration algorithm that accommodates semantics-preserving transformations

Wuu Yang, Susan Horwitz, Thomas Reps
1990 Software engineering notes  
ACKNOWLEDGEMENT Thanks are due to Bowen Alpern for his participation in early discussions that led to the development of the Sequence-Congruence Algorithm.  ...  This paper describes a new integration algorithm that is able to accommodate semantics-preserving transformations.  ...  It is thus desirable to have an integration algorithm that can accommodate semantics-preserving transformations.  ... 
doi:10.1145/99278.99290 fatcat:ph7qlrowcjccfib4zl5ms2jsiq

A program integration algorithm that accommodates semantics-preserving transformations

Wuu Yang, Susan Horwitz, Thomas Reps
1990 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments - SDE 4  
ACKNOWLEDGEMENT Thanks are due to Bowen Alpern for his participation in early discussions that led to the development of the Sequence-Congruence Algorithm.  ...  This paper describes a new integration algorithm that is able to accommodate semantics-preserving transformations.  ...  It is thus desirable to have an integration algorithm that can accommodate semantics-preserving transformations.  ... 
doi:10.1145/99277.99290 dblp:conf/sde/YangHR90 fatcat:3z2pyn7dzjdxninwimumok4nlq

A program integration algorithm that accommodates semantics-preserving transformations

Wuu Yang, Susan Horwitz, Thomas Reps
1992 ACM Transactions on Software Engineering and Methodology  
ACKNOWLEDGEMENT Thanks are due to Bowen Alpern for his participation in early discussions that led to the development of the Sequence-Congruence Algorithm.  ...  This paper describes a new integration algorithm that is able to accommodate semantics-preserving transformations.  ...  It is thus desirable to have an integration algorithm that can accommodate semantics-preserving transformations.  ... 
doi:10.1145/131736.131756 fatcat:hvhcasodl5e2bgu3iuufr32aqa

Towards a Generic Framework for AOP [chapter]

Pascal Fradet, Mario Südholt
1998 Lecture Notes in Computer Science  
Here, we have sketched a generic framework based on program transformation and analysis which accommodates a large class of aspects.  ...  We believe that restricting ourselves to semantics-preserving transformations would be too strong a limitation. The class of expressible aspects would boil down to optimization aspects.  ... 
doi:10.1007/3-540-49255-0_118 fatcat:l5ercwp5jjdcvbtcewqilvz7bq

Page 8116 of Mathematical Reviews Vol. , Issue 2000k [page]

2000 Mathematical Reviews  
In particular, under these conditions, logical consequence is preserved under composition.” 2000k:68030 68N18 Boudol, Gérard (F-INRIA2; Sophia Antipolis) On the semantics of the call-by-name CPS transform  ...  We argue that these extensions of LP, accommodating multi-theories embedded in a shared environment, provide the necessary multi-agent func- tionality.  ... 

The use of program dependence graphs in software engineering

S. Horwitz, T. Reps
1992 International Conference on Software Engineering  
several versions of a program, and creating new programs by combining pieces of old programs.  ...  This paper describes a language-independent program representation-the program dependence graph-and discusses how program dependence graphs, together with operations such as program slicing, can provide  ...  Accommodating Semantics-Preserving Transformations One limitation of the HPR algorithm is that it incorporates no notion of a semantics-preserving transformation.  ... 
doi:10.1109/icse.1992.753516 fatcat:f57yl2tf7rh3haop4iossdu77u

The use of program dependence graphs in software engineering

Susan Horwitz, Thomas Reps
1992 Proceedings of the 14th international conference on Software engineering - ICSE '92  
several versions of a program, and creating new programs by combining pieces of old programs.  ...  This paper describes a language-independent program representation-the program dependence graph-and discusses how program dependence graphs, together with operations such as program slicing, can provide  ...  Accommodating Semantics-Preserving Transformations One limitation of the HPR algorithm is that it incorporates no notion of a semantics-preserving transformation.  ... 
doi:10.1145/143062.143156 dblp:conf/icse/HorwitzR92 fatcat:f5vaj6u3tragtophtrtilcnlja

Extending Automatic Parallelization to Optimize High-Level Abstractions for Multicore [chapter]

Chunhua Liao, Daniel J. Quinlan, Jeremiah J. Willcock, Thomas Panas
2009 Lecture Notes in Computer Science  
In this paper, we automatically parallelize C++ applications using ROSE, a multiple-language source-to-source compiler infrastructure which preserves the high-level abstractions and allows us to unambiguously  ...  leverage their known semantics.  ...  Although semantics of standard types and operations can be directly integrated into ROSE to facilitate parallelization, a versatile interface is still favorable to accommodate semantics of user-defined  ... 
doi:10.1007/978-3-642-02303-3_3 fatcat:tddm42kq7rhbjhze2i7kpj6wfi

Lazy Combinators for Executable Specifications of General Attribute Grammars [chapter]

Rahmatullah Hafiz, Richard A. Frost
2010 Lecture Notes in Computer Science  
Our objective is to have a program that is isomorphic with this grammar, i.e. an executable specification.  ...  A parser's alternative rules are formed with the combinator <|>. − Accommodates alternative syntax with a list of semantic rules.  ...  − All syntax rules are associated with semantic rules which implement a subset of the set-theoretic version of Montague semantics extracted from Frost and Fortier (2007) .  ... 
doi:10.1007/978-3-642-11503-5_15 fatcat:eu4qe4mrunfgvexamau7elhbki

Automated Refactoring of Legacy Java Software to Enumerated Types

Raffi Khatchadourian, Jason Sawin, Atanas Rountev
2007 Conference on Software Maintenance, Proceedings of the  
This semantics-preserving approach increases type safety, produces code that is easier to comprehend, removes unnecessary complexity, and eliminates brittleness problems due to separate compilation.  ...  Our results indicate that analysis cost is practical and the algorithm can successfully refactor a substantial number of fields to enumerated types.  ...  As a result, our approach must deal with different semantic preservation issues upon transformation.  ... 
doi:10.1109/icsm.2007.4362635 dblp:conf/icsm/KhatchadourianSR07 fatcat:6lfee3gpkzcc5ab5cqv3dbyrzq

Automated refactoring of legacy Java software to enumerated types

Raffi Khatchadourian
2016 Automated Software Engineering : An International Journal  
This semantics-preserving approach increases type safety, produces code that is easier to comprehend, removes unnecessary complexity, and eliminates brittleness problems due to separate compilation.  ...  Our results indicate that analysis cost is practical and the algorithm can successfully refactor a substantial number of fields to enumerated types.  ...  As a result, our approach must deal with different semantic preservation issues upon transformation.  ... 
doi:10.1007/s10515-016-0208-8 fatcat:xlufg3rx3bdmplhtuq7cvf446e

Semantic-Aware Automatic Parallelization of Modern Applications Using High-Level Abstractions

Chunhua Liao, Daniel J. Quinlan, Jeremiah J. Willcock, Thomas Panas
2010 International journal of parallel programming  
In this paper, we use a source-to-source compiler infrastructure, ROSE, to explore compiler techniques to recognize high-level abstractions and to exploit their semantics for automatic parallelization.  ...  Preliminary results have shown that semantics of abstractions can help extend the applicability of automatic parallelization to modern applications and expose more opportunities to take advantage of multicore  ...  Although semantics of standard types and operations can be directly integrated into ROSE to facilitate parallelization, a versatile interface is still favorable to accommodate semantics of user-defined  ... 
doi:10.1007/s10766-010-0139-0 fatcat:ru2s63ic3zfj7hozhbyw7mieim

A Concrete Memory Model for CompCert [chapter]

Frédéric Besson, Sandrine Blazy, Pierre Wilke
2015 Lecture Notes in Computer Science  
Semantics preserving compilation of low-level C programs is challenging because their semantics is implementation defined according to the C standard.  ...  This paper presents the proof of an enhanced and more concrete memory model for the CompCert C compiler which assigns a definite meaning to more C programs.  ...  The CompCert compiler [17] fills this verification gap: its semantics preservation theorem ensures that when the source program has a defined semantics, program invariants proved at source level still  ... 
doi:10.1007/978-3-319-22102-1_5 fatcat:szsefeh2greerk7jozunjmafba

Information-Flow Preservation in Compiler Optimisations

Frederic Besson, Alexandre Dang, Thomas Jensen
2019 2019 IEEE 32nd Computer Security Foundations Symposium (CSF)  
To tackle this problem, we propose a notion of Information-Flow Preserving (IFP) program transformation which ensures that a target program is no more vulnerable to passive side-channel attacks than a  ...  Correct compilers perform program transformations preserving input/output behaviours of programs.  ...  As a result, we have the guarantee that inserting erasure instructions, according to the rules above, is a sound algorithm to make COMPCERT RA a semantic preserving IFP transformation. VII.  ... 
doi:10.1109/csf.2019.00023 dblp:conf/csfw/BessonDJ19 fatcat:ohbzmbhczbgjzh4nvjx3yflc4q

D4.2 Bigdataocean Platform Architecture, Components Design And Apis - V1.00

Project Consortium Members
2018 Zenodo  
This deliverable includes the requirements, the architecture diagrams and all design documents regarding the platform, the components while it also defines and describes the API interfaces that are implemented  ...  The system should be able to program the semantic curation / reconciliation of datasets.  ...  DC-TR-5 The system should be able to program the semantic curation / reconciliation of datasets.  ... 
doi:10.5281/zenodo.1249386 fatcat:q4ozrm5awnhjxfi7jifmwkmykq
« Previous Showing results 1 — 15 out of 10,836 results