Open Access. Powered by Scholars. Published by Universities.®
Programming Languages and Compilers Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Software Engineering (16)
- Education (4)
- Engineering (2)
- OS and Networks (2)
- Aerospace Engineering (1)
-
- Biological Phenomena, Cell Phenomena, and Immunity (1)
- Computer Engineering (1)
- Databases and Information Systems (1)
- Digital Communications and Networking (1)
- Educational Methods (1)
- Educational Technology (1)
- First and Second Language Acquisition (1)
- Graphics and Human Computer Interfaces (1)
- Instructional Media Design (1)
- Linguistics (1)
- Medical Sciences (1)
- Medicine and Health Sciences (1)
- Numerical Analysis and Scientific Computing (1)
- Operations Research, Systems Engineering and Industrial Engineering (1)
- Other Computer Sciences (1)
- Science and Mathematics Education (1)
- Social and Behavioral Sciences (1)
- Systems Engineering (1)
- Theory and Algorithms (1)
- Typological Linguistics and Linguistic Diversity (1)
- Institution
-
- City University of New York (CUNY) (9)
- Chapman University (5)
- Syracuse University (4)
- Bemidji State University (2)
- Fordham University (2)
-
- Claremont Colleges (1)
- Dakota State University (1)
- Loyola University Chicago (1)
- Old Dominion University (1)
- Sacred Heart University (1)
- Seattle Pacific University (1)
- St. Mary's University (1)
- Touro College and University System (1)
- University of Dayton (1)
- University of Malaya (1)
- Wayne State University (1)
- Publication Year
- Publication
-
- Open Educational Resources (8)
- College of Engineering and Computer Science - Former Departments, Centers, Institutes and Projects (4)
- Mathematics, Physics, and Computer Science Faculty Articles and Research (4)
- Faculty Publications (2)
- Honors Capstones (2)
-
- All HMC Faculty Publications and Research (1)
- Computer Science Faculty Publications (1)
- Emerging Technologies Laboratory (1)
- Faculty Publications & Research of the TUC College of Osteopathic Medicine (1)
- Honors Projects (1)
- Human Biology Open Access Pre-Prints (1)
- Mathematics, Physics, and Computer Science Faculty Books and Book Chapters (1)
- Mechanical & Aerospace Engineering Faculty Publications (1)
- Publications and Research (1)
- Research & Publications (1)
- School of Computer Science & Engineering Faculty Publications (1)
- Student Works (2000-2009) (1)
- Systems Manuals - 2026 (1)
- Publication Type
Articles 31 - 33 of 33
Full-Text Articles in Programming Languages and Compilers
A Model For Syntactic Control Of Interference, Peter W. O'Hearn
A Model For Syntactic Control Of Interference, Peter W. O'Hearn
College of Engineering and Computer Science - Former Departments, Centers, Institutes and Projects
Two imperative programming language phrases interfere when one writes to a storage variable that the other reads from or writes to. Reynolds has described an elegant linguistic approach to controlling interference in which a refinement of typed λ-calculus is used to limit sharing of storage variables; in particular, different identifiers are required never to interfere. This paper examines semantic foundations of the approach. We describe a category that has (an abstraction of) interference information built into all objects and maps. This information is used to define a “tensor” product whose components are required never to interfere. Environments are defined using …
Lazy Evaluation And Nondeterminism Make Backus' Fp-Systems More Practical, Atanas Radenski
Lazy Evaluation And Nondeterminism Make Backus' Fp-Systems More Practical, Atanas Radenski
Mathematics, Physics, and Computer Science Faculty Articles and Research
Backus' FP-systems are made more practical by introducing into them lazy evaluation and nondeterminism. This is done in the framework of a concrete programming language called FP*. From the one hand, this language is almost as mathematical as FP-systems are. From the other hand, it gives the possibility to manage secondary memory and to develop such applications as, for instance, interactive and distributed file systems. Experimental versions of a compiler and an interpreter for the FP* language are implemented.
Specifying And Proving Properties Of Sentinels, Krithivasan Ramamritham, Robert M. Keller
Specifying And Proving Properties Of Sentinels, Krithivasan Ramamritham, Robert M. Keller
All HMC Faculty Publications and Research
This paper presents a technique for specifying and verifying properties of "sentinels," a high-level language construct for synchronizing access to shared resources. Statements in the specification language possess formal temporal semantics. As a prelude to proving the correctness of sentinels, the semantics of constructs used in sentinels is given. The proof technique involves showing that the temporal behavior of a sentinel conforms to that defined by the specification. The methodology is illustrated by applying it to a typical synchronization problem.