Filters








16,833 Hits in 8.3 sec

Resource-Passing Concurrent Programming [chapter]

Kazunori Ueda
2001 Lecture Notes in Computer Science  
In concurrent logic programming, the first attempt was made in Moded Flat GHC in 1990, which gave polarity structures (modes) to every variable occurrence and every predicate argument.  ...  The capabilities are intended to be statically checked or reconstructed so that one can tell the polarity and exclusiveness of each piece of information handled by concurrent processes.  ...  Acknowledgments Discussions with the members of the programming language research group at Waseda helped the development of the ideas described here.  ... 
doi:10.1007/3-540-45500-0_5 fatcat:ezgy6vbbr5dfvk3xtseqwc7dzy

Kima - an Automated Error Correction System for Concurrent Logic Programs [article]

Yasuhiro Ajiro, Kazunori Ueda
2001 arXiv   pre-print
We have implemented Kima, an automated error correction system for concurrent logic programs.  ...  Strong moding/typing and constraint-based analysis are turning to play fundamental roles in debugging concurrent logic programs as well as in establishing the consistency of communication protocols and  ...  Moded Flat GHC is a concurrent logic (and consequently, a concurrent constraint) language with a constraintbased mode system designed by one of the authors.  ... 
arXiv:cs/0012007v3 fatcat:ujcq2qemg5c5xmtvtf3hqkqpgy

An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy [chapter]

Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López, José F. Morales, German Puebla
2008 Lecture Notes in Computer Science  
Such optimizations produce code that is highly competitive with other dynamic languages or, when the highest levéis of optimization are used, even that of static languages, all while retaining the interactive  ...  Another important aspect of Ciao is its programming environment, which provides a powerful preprocessor (with an associated assertion language) capable of statically finding non-trivial bugs, verifying  ...  Most of these analyses are performed at the kernel language level, so that the same analyzers are used for several of the supported programming models.  ... 
doi:10.1007/978-3-540-68679-8_14 fatcat:2kjxrddnhbh7fd63opeovrs7he

PhD Abstracts

GRAHAM HUTTON
2017 Journal of functional programming  
As a service to the community, the Journal of Functional Programming publishes the abstracts from PhD dissertations completed during the previous year.  ...  As software systems increasingly embrace dynamic features and complex modes of compilation, static effect systems have to reconcile over competing goals such as precision, soundness, modularity, and programmer  ...  Our design simplifies modular concurrency reasoning and avoids concurrency hazards. The development of programming languages needs to reflect important changes in the way programs execute.  ... 
doi:10.1017/s0956796817000089 fatcat:p2yk5sbqazcuriv33wdtzekcc4

An overview of Ciao and its design philosophy

M. V. HERMENEGILDO, F. BUENO, M. CARRO, P. LÓPEZ-GARCÍA, E. MERA, J. F. MORALES, G. PUEBLA
2011 Theory and Practice of Logic Programming  
Such optimizations produce code that is highly competitive with other dynamic languages or, with the (experimental) optimizing compiler, even that of static languages, all while retaining the flexibility  ...  Another important aspect of Ciao is its programming environment, which provides a powerful preprocessor (with an associated assertion language) capable of statically finding non-trivial bugs, verifying  ...  Contad I download info I tícense: the latest versions of Ciao can be downloaded from http: //www. ciaohome. org or http: //www. cliplab. org.  ... 
doi:10.1017/s1471068411000457 fatcat:wopdr753tvfdbbh23rhirgvow4

Security and Privacy Functionalities in IoT

Elahe Fazeldehkordi, Olaf Owe, Josef Noll
2019 2019 17th International Conference on Privacy, Security and Trust (PST)  
that can cause distributed denial of service (DDoS) attacks using static analysis technique.  ...  of concurrent, autonomous units communicating by message passing, where each unit can run on a device with limited processing power and limited storage.  ...  Council of Norway.  ... 
doi:10.1109/pst47121.2019.8949054 dblp:conf/pst/FazeldehkordiON19 fatcat:x37vqxe35vdtdlo2xebg7beaoa

Ravenscar-Java: a high-integrity profile for real-time Java

Jagun Kwon, Andy Wellings, Steve King
2005 Concurrency and Computation  
Unfortunately, many language subsets for high integrity systems discourage the use of concurrent activites.  ...  For many, Java is the antithesis of a high integrity programming language.  ...  The authors gratefully acknowledge the comments of Greg Bollella on an early draft of this paper.  ... 
doi:10.1002/cpe.843 fatcat:e5qpwkrudfafzjsaeqfagcuas4

The bigwig Project

Claus Brabrand, Anders Møller, Michael I. Schwartzbach
2002 BRICS Report Series  
In addition, the design provides high-level solutions to form field validation, caching of dynamic pages, and temporal-logic based concurrency control, and it proposes syntax macros for making highly domain-specific  ...  <br /> <br />A fundamental aspect of the development of the World Wide Web during the last decade is the gradual change from static to dynamic generation of Web pages.  ...  Acknowledgments Tom Ball provided us with extensive and very helpful information about experiences with the MAWL language. Anders Sandholm has been a key participant during his PhD studies at BRICS.  ... 
doi:10.7146/brics.v9i1.21718 fatcat:fnzmrsudlfc2diwhwp2voeugzy

Scaling static analyses at Facebook

Dino Distefano, Manuel Fähndrich, Francesco Logozzo, Peter W. O'Hearn
2019 Communications of the ACM  
key insights ˽ Advanced static analysis techniques performing deep reasoning about source code can scale to large industrial codebases, for example, with 100-million LOC. ˽ Static analyses should strike  ...  a balance between missed bugs (false negatives) and un-actioned reports (false positives). ˽ A "diff time" deployment, where issues are given to developers promptly as part of code review, is important  ...  Readers interested in more technical details of this work are encouraged to review the online appendix; (https:// dl.acm.org/citation.cfm?doid=3338112&picked=formats).  ... 
doi:10.1145/3338112 fatcat:dlr5pddvozge3e5qxiktz3emmi

An overview of Ciao and its design philosophy [article]

M. V. Hermenegildo, F. Bueno, M. Carro, P. López-García, E. Mera, J. F. Morales, G. Puebla
2011 arXiv   pre-print
Such optimizations produce code that is highly competitive with other dynamic languages or, with the (experimental) optimizing compiler, even that of static languages, all while retaining the flexibility  ...  Another important aspect of Ciao is its programming environment, which provides a powerful preprocessor (with an associated assertion language) capable of statically finding non-trivial bugs, verifying  ...  of the paper.  ... 
arXiv:1102.5497v1 fatcat:o4yw2fjccvfevmrbt2cqusqizm

A unified approach to identifying and healing vulnerabilities in x86 machine code

Kirill Kononenko
2012 Proceedings of the 18th annual international conference on Mobile computing and networking - Mobicom '12  
To achieve an appropriate level of performance as well as combine analysis results, our approach stores summary information in the form of conditional rules that can be shared among analyses.  ...  We propose a virtual execution environment for x86 machine code that combines information from compositional, static, and dynamic program analysis to identify vulnerabilities and timing channels, and uses  ...  Elements in the analysis are theorems in Primal logic [3] . For this fragment of logic we have formulated an efficient algorithm of derivability based on that of Gurevich-Neeman [3].  ... 
doi:10.1145/2348543.2348593 dblp:conf/mobicom/Kononenko12 fatcat:ekd5eyzkl5aorcfzpezgmyjayq

Precise interprocedural dataflow analysis with applications to constant propagation

Mooly Sagiv, Thomas Reps, Susan Horwitz
1996 Theoretical Computer Science  
To achieve an appropriate level of performance as well as combine analysis results, our approach stores summary information in the form of conditional rules that can be shared among analyses.  ...  We propose a virtual execution environment for x86 machine code that combines information from compositional, static, and dynamic program analysis to identify vulnerabilities and timing channels, and uses  ...  Elements in the analysis are theorems in Primal logic [3] . For this fragment of logic we have formulated an efficient algorithm of derivability based on that of Gurevich-Neeman [3].  ... 
doi:10.1016/0304-3975(96)00072-2 fatcat:3gnojlx2ufeprn5fqd3oc77swy

Precise interprocedural dataflow analysis with applications to constant propagation [chapter]

Mooly Sagiv, Thomas Reps, Susan Horwitz
1995 Lecture Notes in Computer Science  
To achieve an appropriate level of performance as well as combine analysis results, our approach stores summary information in the form of conditional rules that can be shared among analyses.  ...  We propose a virtual execution environment for x86 machine code that combines information from compositional, static, and dynamic program analysis to identify vulnerabilities and timing channels, and uses  ...  Elements in the analysis are theorems in Primal logic [3] . For this fragment of logic we have formulated an efficient algorithm of derivability based on that of Gurevich-Neeman [3].  ... 
doi:10.1007/3-540-59293-8_226 fatcat:fltvl6lj5zboncngs7a3k3co3y

The project

Claus Brabrand, Anders Møller, Michael I. Schwartzbach
2002 ACM Transactions on Internet Technology  
In addition, the design provides high-level solutions to form field validation, caching of dynamic pages, and temporal-logic based concurrency control, and it proposes syntax macros for making highly domain-specific  ...  A fundamental aspect of the development of the World Wide Web during the last decade is the gradual change from static to dynamic generation of Web pages.  ...  ACKNOWLEDGMENTS Tom Ball provided us with extensive and very helpful information about experiences with the MAWL language. Anders Sandholm was a key participant during his Ph.D. studies at BRICS.  ... 
doi:10.1145/514183.514184 fatcat:y4cesy2cx5b3rbt7ehkg4belse

A Unified Approach for Static and Runtime Verification: Framework and Applications [chapter]

Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider
2012 Lecture Notes in Computer Science  
Static verification of software is becoming ever more effective and efficient.  ...  In this paper we propose a framework to combine static analysis techniques and runtime verification with the aim of getting the best of both techniques.  ...  In the latter case, a log is kept for future runs of the static analyser. In [16] static analysis is used to improve the performance of runtime monitoring based on tracematches.  ... 
doi:10.1007/978-3-642-34026-0_24 fatcat:zlkbeyzovrbalisxepdsznfqr4
« Previous Showing results 1 — 15 out of 16,833 results