Filters








56,634 Hits in 5.1 sec

Static analysis for syntax objects

David Fisher, Olin Shivers
2006 SIGPLAN notices  
We describe an s-expression based syntax-extension framework much like Scheme macros, with a key additional facility: the ability to define static semantics, such as type systems or program analysis, for  ...  We demonstrate our system by designing macros for an assembly language, together with some example static analyses (termination analysis, type inference and control-flow analysis).  ...  Each syntax node, then, rather than running the analysis on itself, describes how to change the analysis object. For example, type inference is non-local.  ... 
doi:10.1145/1160074.1159817 fatcat:3h6z47vswvdwrnzot3ozy6fwfe

Static analysis for syntax objects

David Fisher, Olin Shivers
2006 Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming - ICFP '06  
We describe an s-expression based syntax-extension framework much like Scheme macros, with a key additional facility: the ability to define static semantics, such as type systems or program analysis, for  ...  We demonstrate our system by designing macros for an assembly language, together with some example static analyses (termination analysis, type inference and control-flow analysis).  ...  Each syntax node, then, rather than running the analysis on itself, describes how to change the analysis object. For example, type inference is non-local.  ... 
doi:10.1145/1159803.1159817 dblp:conf/icfp/FisherS06 fatcat:rzwswa6yf5fkpfqiue2slb7hfa

Generating safe template languages

Florian Heidenreich, Jendrik Johannes, Mirko Seifert, Christian Wende, Marcel Böhme
2009 Proceedings of the eighth international conference on Generative programming and component engineering - GPCE '09  
These languages provide means for syntax checking and static semantic analysis w.r.t. the object language at template design time.  ...  To make sure that generated artefacts always conform to the object language, we propose to perform static analysis at template design time.  ...  To preserve the static semantic analysis for name and type resolving, no additional analysis module for template concepts was required.  ... 
doi:10.1145/1621607.1621624 dblp:conf/gpce/HeidenreichJSWB09 fatcat:rjw5pl4qbvfqnewclmrnwzcppu

A Generic Framework for Automated Quality Assurance of Software Models –Implementation of an Abstract Syntax Tree

Darryl Owens, Dr Mark
2014 International Journal of Advanced Computer Science and Applications  
AST's are also commonly used in static analysis. This increases the value of ASTs for use within a universal Quality Assurance (QA) tool.  ...  Keywords-software quality assurance; software testing; automated software engineering; programming language paradigms; language independence; abstract syntax tree; static analysis; dynamic analysis I.  ...  PROPOSAL FOR ABSTRACT SYNTAX TREE A proposal for the use of the GASTM as a form of Internal Representation (IR) for automated quality assurance was theorized under the ideas that both static and dynamic  ... 
doi:10.14569/ijacsa.2014.050105 fatcat:ghhyu4i54bdqjp5ml5lacnhowi

A hybrid top-down parsing technique [chapter]

Heinz Dobler
1991 Lecture Notes in Computer Science  
For top-down parsing two standard methods are widely used: recursive descent and tabledriven analysis.  ...  It does the syntax analysis proper--including error handling and recovery.  ...  It does the syntax analysis proper--including error handling and recovery.  ... 
doi:10.1007/3-540-53669-8_85 fatcat:5phcnf2oyjarbivovv54ylzlge

Building language towers with Ziggurat

DAVID FISHER, OLIN SHIVERS
2008 Journal of functional programming  
syntax).  ...  Ziggurat is a meta-language system that permits programmers to develop Scheme-like macros for languages with nontrivial static semantics, such as C or Java (suitably encoded in an S-expression concrete  ...  This work was funded by the NSF's Science of Design program, and by a grant from Microsoft Research, sponsored by Todd Proebsting; we'd like to thank them for underwriting our vision.  ... 
doi:10.1017/s0956796808006928 fatcat:cnxx2idegnav5clpstnvy6iecy

The UML as a formal modeling notation

R France, A Evans, K Lano, B Rumpe
1998 Computer Standards & Interfaces  
The Uni ed Modeling Language (UML) is rapidly emerging as a de-facto standard for modelling OO systems.  ...  The authors initiated the Precise UML (PUML) group in order to develop a precise semantic model for UML diagrams.  ...  Acknowledgements The authors thank their colleagues for fruitful discussions and the referees for helpful comments.  ... 
doi:10.1016/s0920-5489(98)00020-8 fatcat:ujsx4mni2vf2fmwzahwfrjbzau

The UML as a Formal Modeling Notation [chapter]

Andy Evans, Robert France, Kevin Lano, Bernhard Rumpe
1999 Lecture Notes in Computer Science  
We present work carried out by the Precise UML (PUML) group on the development of a precise semantic model for UML class diagrams.  ...  The semantic model is used as the basis for a set of diagrammatical transformation rules, which enable formal deductions to be made about UML class diagrams.  ...  Acknowledgements The authors thank their colleagues for fruitful discussions and the referees for helpful comments.  ... 
doi:10.1007/978-3-540-48480-6_26 fatcat:frevelw7wbbktag3zfpr6qgwd4

Improving the static analysis of embedded languages via partial evaluation

David Herman, Philippe Meunier
2004 Proceedings of the ninth ACM SIGPLAN international conference on Functional programming - ICFP '04  
We demonstrate the effectiveness of this technique in improving the results of a value flow analysis. Every practical programming language contains small programming languages.  ...  PLT Scheme [9] offers at least five such languages: one for formatting console output; two for regular expression matching; one for sending queries to a SQL server; and one for laying out HTML pages.  ...  Thanks to Matthew Flatt for his help with the presentation of Scheme macros. Thanks to Dale Vaillancourt for proofreading the paper and to Ryan Culpepper for his macrological wizardry.  ... 
doi:10.1145/1016850.1016857 dblp:conf/icfp/HermanM04 fatcat:ywk2ux7nkjhszgikhfgt6llr3y

Improving the static analysis of embedded languages via partial evaluation

David Herman, Philippe Meunier
2004 SIGPLAN notices  
We demonstrate the effectiveness of this technique in improving the results of a value flow analysis. Every practical programming language contains small programming languages.  ...  PLT Scheme [9] offers at least five such languages: one for formatting console output; two for regular expression matching; one for sending queries to a SQL server; and one for laying out HTML pages.  ...  Thanks to Matthew Flatt for his help with the presentation of Scheme macros. Thanks to Dale Vaillancourt for proofreading the paper and to Ryan Culpepper for his macrological wizardry.  ... 
doi:10.1145/1016848.1016857 fatcat:tvnmm74lezhmpi4o3ie4ziag7a

Semantic Modeling Approach Supporting Process Modeling and Analysis in Aircraft Development

Junda Ma, Guoxin Wang, Jinzhi Lu, Shaofan Zhu, Jingjing Chen, Yan Yan
2022 Applied Sciences  
Simultaneously, property verification and hybrid automata simulation were used to implement the static cost analysis of each work task and dynamic cost analysis of the entire development process.  ...  From the result, we found that the KARMA language enables the integration of the process modeling with static and dynamic analyses of the development process in a multi-architecture modeling tool MetaGraph  ...  Graph Object Relationship Point Role Property Extension (Connector) 1 40 6 0 12 6 427 Table 3 . 3 Syntax of KARMA Language for static analysis.  ... 
doi:10.3390/app12063067 fatcat:ydmeet6fnfdn5c7zz47zx5jdoy

Towards a Generic Framework for Trustworthy Program Refactoring

Dániel Horpácsi, Judit Kőszegi, Dávid J. Németh
2021 Acta Cybernetica  
We propose a specification formalism and a generic framework for its processing, which claims to allow semi-automatic execution and formal verification, as well as to be adaptable to multiple paradigms  ...  This means that we prepared the artefacts detailed in the previous section, i.e. with the appropriate formalism we defined the syntax, static and dynamic semantics for these object languages, as well as  ...  In a corner case, the analysis only does parsing; thus, the program model is a syntax tree and the transformation has to conduct semantic analysis (syntax tree traversals) for checking the side-conditions  ... 
doi:10.14232/actacyb.284349 fatcat:mv2yhsfmijddhca6ps3fcr3shm

Extending the scope of syntactic abstraction

Oscar Waddell, R. Kent Dybvig
1999 Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '99  
The system is fully static, permits mutually recursive modules, and supports separate compilation.  ...  To aid static analysis we improve on this expansion for top-level module forms in Section 5.2.  ...  Static program analysis One benefit of modular program structure is that it may improve the results of static analysis.  ... 
doi:10.1145/292540.292559 dblp:conf/popl/WaddellD99 fatcat:kr4h4a3ot5d43ja57zwxiwvaxa

Providing a source code security analysis model using semantic web techniques

Ala EkramiFard, Mohsen Kahani
2015 2015 International Congress on Technology, Communication and Knowledge (ICTCK)  
To overcome the problem of variety of source code language, in this paper, an ontology approach for source code security analysis model has been used.  ...  The main advantage of this method is the independence of code analysis and error inference sections so each parts can be developed.  ...  Manual auditing, as a static analysis method, is very time-consuming and static analysis tools are so faster. Various methods have been introduced for static code analysis.  ... 
doi:10.1109/ictck.2015.7582643 fatcat:vihcftjzanfffc2ucx53y43ble

The Spoofax language workbench

Lennart C.L. Kats, Eelco Visser
2010 Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion - SPLASH '10  
definition ★ concrete syntax ★ abstract syntax Static semantics ★ error checking ★ name resolution ★ type analysis parser generators meta- programming languages meta- programming  ...  Syntax definition Static semantics Model-to-model transformation Code generation Syntactic Editor Services Semantic Editor Services Language workbenches  ...  Conclusion • Co-evolution of language and IDE • Pure and declarative syntax definition • Language definition by transformation • www.spoofax.org: papers, tour, download  ... 
doi:10.1145/1869542.1869592 dblp:conf/oopsla/KatsV10a fatcat:74jglwscsna2baxzp77dkenr3a
« Previous Showing results 1 — 15 out of 56,634 results