A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf
.
Filters
Strongly typed memory areas programming systems-level data structures in a functional language
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
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
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]
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]
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]
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
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]
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
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
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
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
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
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
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
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