scholarly journals Refinement kinds: type-safe programming with practical type-level computation

2019 ◽  
Vol 3 (OOPSLA) ◽  
pp. 1-30
Author(s):  
Luís Caires ◽  
Bernardo Toninho
Keyword(s):  
Safe Programming

Safe programming

1978 ◽  
Vol 18 (1) ◽  
pp. 1-8 ◽  
Author(s):  
T. Anderson ◽  
R. W. Witty
Keyword(s):  
Safe Programming

scholarly journals 17.7 A pragmatic approach for a safe programming of biventricular stimulators: Preliminary data of a prospective study

EP Europace ◽  
2003 ◽  
Vol 4 (Supplement_1) ◽  
pp. A29-A30
Author(s):  
S. Orazi ◽  
F. Evangelista ◽  
A. Menè ◽  
F. Romeo ◽  
D. Venturini ◽  
...  
Keyword(s):  
Prospective Study ◽  
Preliminary Data ◽  
Pragmatic Approach ◽  
Safe Programming ◽  
A Prospective Study

Design and Proof of a Safe Programming Language PointerC

2009 ◽  
Vol 31 (4) ◽  
pp. 556-564 ◽  
Author(s):  
Bao-Jian HUA ◽  
Yi-Yun CHEN ◽  
Zhao-Peng LI ◽  
Zhi-Fang WANG ◽  
Lin GE
Keyword(s):  
Programming Language ◽  
Safe Programming

Fail-safe programming in compiler optimization

1993 ◽  
Vol 28 (8) ◽  
pp. 39-42 ◽  
Author(s):  
Jonathan L. Schilling
Keyword(s):  
Compiler Optimization ◽  
Safe Programming ◽  
Fail Safe

scholarly journals Security Scanner For Web Applications Case Study: Learning Management System

2020 ◽  
Vol 4 (2) ◽  
pp. 63
Author(s):  
Rian Andrian ◽  
Ahmad Fauzi
Keyword(s):  
Web Application ◽  
Web Applications ◽  
The Internet ◽  
Web Browser ◽  
Web Application Security ◽  
Application Security ◽  
Safe Programming ◽  
Application Developers ◽  
Programming Practices

In software engineering, web applications are software that are accessed using a web browser through a network such as the Internet or intranet. Web applications are applications that can be relied on by users to do many useful activities. Despite the awareness of web application developers about safe programming practices, there are still many aspect in web applications that can be exploited by attacker. The development of web applications and the Internet causes the movement of information systems to use them as a basis. Security is needed to protect the contents of web applications that are sensitive and provide a safe process of sending data, therefore application security must be applied to all infrastructure that supports web applications, including the web application itself. Most organizations today have some kind of web application security program or try to build/ improve. But most of these programs do not get the results expected for the organization, are not durable or are not able to provide value continuously and efficiently and also cannot improve the mindset of developers to build/ design secure web applications. This research aims to develop a web application security scanner that can help overcome security problems in web applications.

Romeo: A system for more flexible binding-safe programming

2016 ◽  
Vol 26 ◽  
Author(s):  
PAUL STANSIFER ◽  
MITCHELL WAND
Keyword(s):  
Specification Language ◽  
Attribute Grammars ◽  
Safe Programming ◽  
Current Systems

AbstractCurrent systems for safely manipulating values containing names only support simple binding structures for those names. As a result, few tools exist to safely manipulate code in those languages for which name problems are the most challenging. We address this problem with Romeo, a language that respects α-equivalence on its values, and which has access to a rich specification language for binding, inspired by attribute grammars. Our work has the complex-binding support of David Herman's λm, but is a full-fledged binding-safe language like Pure FreshML.

Sign in / Sign up

Export Citation Format

Share Document