A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Resource-Passing Concurrent Programming
[chapter]
2001
Lecture Notes in Computer Science
Preserved Fulltext
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]
2001
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Other Versions
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]
2008
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2017
Journal of functional programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2011
Theory and Practice of Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2019
2019 17th International Conference on Privacy, Security and Trust (PST)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2005
Concurrency and Computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2003; you can also visit the original URL.
The file type is application/pdf.
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
2002
BRICS Report Series
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2019
Communications of the ACM
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2011
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
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
2012
Proceedings of the 18th annual international conference on Mobile computing and networking - Mobicom '12
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
1996
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
1995
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2002
ACM Transactions on Internet Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
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]
2012
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
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