Filters








86,434 Hits in 7.2 sec

Strongly typed memory areas programming systems-level data structures in a functional language

Iavor S. Diatchki, Mark P. Jones
2006 Proceedings of the 2006 ACM SIGPLAN workshop on Haskell - Haskell '06  
In this paper, we describe how we have filled one of these gaps by extending a Haskell-like language with facilities for working directly with low-level, memory-based data structures.  ...  Using this extension, we are able to program a wide range of examples, including hardware interfaces, kernel data structures, and operating system APIs.  ...  Acknowledgments This work was supported, in part, by the National Science Foundation award number 0205737, "ITR: Advanced Programming Lan-guages for Embedded Systems."  ... 
doi:10.1145/1159842.1159851 dblp:conf/haskell/DiatchkiJ06 fatcat:yvgq3x3hvfev7laog6eayb5tyi

Writing systems software in a functional language

Iavor S. Diatchki, Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew Tolmach
2007 Proceedings of the 4th workshop on Programming languages and operating systems - PLOS '07  
However, it also suggests some ideas for a new Haskell dialect with features that target specific needs in this domain, including strongly typed support for low-level data structures and facilities for  ...  The House system demonstrates that it is indeed possible to construct systems software in a functional language.  ...  Memory Areas Bitdata types are useful when we work with fairly small pieces of data, typically data that fits in a single machine word.  ... 
doi:10.1145/1376789.1376791 dblp:conf/sosp/DiatchkiHJLT07 fatcat:vdc26gwntbed5ghlpc3ongflvm

Workshop Report: VLSI: Machine Architecture and Very High Level Languages

P. C. Treleaven
1982 Computer journal  
A major problem for the Toy language is handling data structures, since the concept of sharing is not present at the user level in a functional programming environment.  ...  A processor executes work in its memory and also services accesses to its part of the program structure.  ... 
doi:10.1093/comjnl/25.1.153 fatcat:s5inqwp4ava7lhcpzkzfaj44oi

Comparative Studies of Programming Languages; Course Lecture Notes [article]

Joey Paquet, Serguei A. Mokhov
2010 arXiv   pre-print
These notes include a compiled book of primarily related articles from the Wikipedia, the Free Encyclopedia, as well as Comparative Programming Languages book and other resources, including our own.  ...  Lecture notes for the Comparative Studies of Programming Languages course, COMP6411, taught at the Department of Computer Science and Software Engineering, Faculty of Engineering and Computer Science,  ...  Structural type system A structural type system (or property-based type system) is a major class of type systems, in which type compatibility and equivalence are determined by the type's structure, and  ... 
arXiv:1007.2123v6 fatcat:4vwgbvr4xbhzjoubgv7d52mrke

Extending Camelot with Mutable State and Concurrency [chapter]

Stephen Gilmore
2004 Lecture Notes in Computer Science  
Camelot is a resource-bounded functional programming language which compiles to Java byte code to run on the Java Virtual Machine.  ...  We extend the existing Camelot resource-bounded type system to provide safety guarantees about the heap usage of Camelot threads.  ...  Introduction Functional programming languages allow programmers to express algorithms concisely using high-level language constructs operating over structured data, secured by strong type-systems.  ... 
doi:10.1007/978-3-540-24688-6_42 fatcat:n3ylhwvv4zf6lazr6bp3fhb4bi

Trends in computer system structure and architecture [chapter]

W. G. Spruth
1976 Lecture Notes in Computer Science  
Programming is more complicated than if done in a Higher Level Language on a full function system.  ...  Mapping is performed in 4 major system areas: language translators, system programs, CPU hardware, and channel and control unit hardware.  ... 
doi:10.1007/3-540-07804-5_20 fatcat:eeartdfvzvb5tdtauzenjs45lq

METHOD OF PARADIGMATIC ANALYSIS OF PROGRAMMING LANGUAGES

Lidia Vasiljevna Gorodnyaya, A.P. Ershov Institute of Informatics Systems SB RAS
2020 System Informatics  
of programming languages and their support systems.  ...  The purpose of the article is to describe the method of comparison of programming languages, convenient for assessing the expressive power of languages and the complexity of the programming systems.  ...  variety of types of semantic systems of PL and their extensions in the implementation of programming systems (PS) [5] .  ... 
doi:10.31144/si.2307-6410.2020.n16.p1-10 fatcat:m3kre5qvpbhshf7jma5o26owmu

Replacing ANSI C with other modern programming languages [article]

Lidia Dobrescu
2014 arXiv   pre-print
Researchers whose primary interests are not in programming area seem to prefer modern and higher level languages.  ...  Keeping standard language ANSI C as a primary tool for engineers and for microcontrollers programming, robotics and data acquisition courses is another strong different opinion trend.  ...  As a modern high-level language it also has high-level data types built in such as flexible arrays and dictionaries.  ... 
arXiv:1412.5867v1 fatcat:adn2rri245cirpwwwf2fzdeloq

Implementation of the memory-safe full ANSI-C compiler

Yutaka Oiwa
2009 Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation - PLDI '09  
The origin of these errors is usually corruption of in-memory data structures caused by out-of-bound array accesses.  ...  This paper describes a completely memory-safe compiler for C language programs that is fully compatible with the ANSI C specification.  ...  Implementation of a part of Fail-Safe C runtime system and standard library is performed jointly with Lepidum, Inc. under the project "New-generation Security R & D Program" from the Ministry of Economy  ... 
doi:10.1145/1542476.1542505 dblp:conf/pldi/Oiwa09 fatcat:ujgzinxzffgcpnv7qhkanamv7u

Towards trusted systems from the ground up

Vivek Haldar, Michael Franz
2002 Proceedings of the 10th workshop on ACM SIGOPS European workshop: beyond the PC - EW10  
Our solution is to leverage language-based mechanisms by reversing the traditional relationship of operating systems and programming languages -implement operating system functionality on top of a provably  ...  A possible reason for this situation is that progress on language-based safety and security mechanisms has largely been ignored in the context of operating systems.  ...  In the example given above, had the operating system and network protocol stack been written in a strongly typed language, it would be possible to define the structure of the packet as a type.  ... 
doi:10.1145/1133373.1133426 dblp:conf/sigopsE/HaldarF02 fatcat:yfrze4cg75fx3kyqm5xymsgthq

The choice of computer languages for use in safety-critical systems

W.J. Cullyer, S.J. Goodenough, B.A. Wichmann
1991 Software Engineering Journal  
A comparison is made between assembly-level languages, the language C, CORAL 66, Pascal, Modula-2 and Ada.  ...  The paper reviews the choice of computer language for use in safety-critical systems. The advice given reflects both civil and military requirements.  ...  Exhaustion of memory Separate compilation X X * Well understood * * assembly-level programming was a vital element in producing a safe system.  ... 
doi:10.1049/sej.1991.0007 fatcat:opp4cx23unbo7lnm52gfwmppum

Foundations for Security Aware Software Development Education

A. Yasinsac, J.T. McDonald
2006 Proceedings of the 39th Annual Hawaii International Conference on System Sciences (HICSS'06)  
We propose in this paper a shift in instructional methods based on this distinction to help future programmers, developers, and software engineers produce "security-aware" software. 1 2 .  ...  Even though we cannot eliminate vulnerability from modern information systems, we can reduce exploitable code long term with sound, robust development practices.  ...  property of strongly-typed languages [16] .  ... 
doi:10.1109/hicss.2006.187 dblp:conf/hicss/YasinsacM06 fatcat:s2u4jc2dx5b5zbph2ygszap5wy

Assessment of the Java programming language for use in high integrity systems

Jagun Kwon, Andy Wellings, Steve King
2003 SIGPLAN notices  
This paper sets a goal of investigating the use of Java in the development of high integrity systems.  ...  A summary of the assessment is provided before we go on to review a few existing subsets of the language.  ...  Strengths Java is a strongly typed object-oriented language that provides an excellent means of modularising and structuring programs (L.  ... 
doi:10.1145/844091.844099 fatcat:rbnpxm6lxrfc5fa7i7hdzrqosq

Memory safety without runtime checks or garbage collection

Dinakar Dhurjati, Sumant Kowshik, Vikram Adve, Chris Lattner
2003 Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems - LCTES '03  
subclass of type-safe C programs.  ...  For a diverse set of embedded C programs (and using a previous technique to avoid null pointer checks), we show that we are able to statically ensure the safety of pointer and dynamic memory usage in all  ...  We assume a low-level type system including a set of primitive integer and floating point types, arrays, pointers, user-defined records (structures), restricted union types, and functions.  ... 
doi:10.1145/780742.780743 fatcat:bf53xshuvjfyfa4zjuhsivgkfm

Memory safety without runtime checks or garbage collection

Dinakar Dhurjati, Sumant Kowshik, Vikram Adve, Chris Lattner
2003 Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems - LCTES '03  
subclass of type-safe C programs.  ...  For a diverse set of embedded C programs (and using a previous technique to avoid null pointer checks), we show that we are able to statically ensure the safety of pointer and dynamic memory usage in all  ...  We assume a low-level type system including a set of primitive integer and floating point types, arrays, pointers, user-defined records (structures), restricted union types, and functions.  ... 
doi:10.1145/780732.780743 dblp:conf/lctrts/DhurjatiKAL03 fatcat:zxqiboecfnat5cdb47eizpn5ly
« Previous Showing results 1 — 15 out of 86,434 results