Welcome to Penn State's Home on the Web

Psu.edu has 761 URLs listed in 496 Dmoz categories.

dSelf: A Distributed Self
Extension to delegation and prototype-based object-oriented language Self: adds distributed objects, transparent remote reference resolution, thus facilitating distributed inheritance and instantiation mechanisms. [ResearchIndex]
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.3241
Top/Computers/Programming/Languages/Smalltalk/Self

ResearchIndex: Structure-preserving specification languages for knowledge-based systems
Much work on validation and verification of knowledge based systems (KBSs) has been done in implementation languages, mostly rule based. Recent papers suggest it is useful to do validation and verification in a more abstract and formal specification of t
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.43.8800
Top/Computers/Programming/Languages/Specification

ResearchIndex: Proof Theoretic Approach To Specification Languages
Thesis studies FORUM as specification language. FORUM is a higher order logic based on the logical connectives of Linear Logic. Initial example demonstrates that FORUM is well suited to specify concurrent computations by specifying the higher order ß cal
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.45.7714
Top/Computers/Programming/Languages/Specification

The Esterel Synchronous Programming Language: Design, Semantics, Implementation
Abstract on paper on reactive kernels making the central, hardest part of reactive systems; Esterel is not full language, it is a program generator used to program reactive kernels as YACC programs parsers from grammars. [ResearchIndex]
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.17.5606
Top/Computers/Programming/Languages/Synchronous

Tempo: A Declarative Concurrent Programming Language
Based on classical first-order logic; improves on usual concurrent logic languages (eg, Parlog) by explicitly specifying aspects of behavior of concurrent programs, namely: safety properties; gives advantages in writing concurrent programs and manipulati
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.17.7555
Top/Computers/Programming/Languages/Tempo

A Logic-Based Concurrent Object-Oriented Programming Language
Article Rafael Ramirez.
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.8091
Top/Computers/Programming/Languages/Tempo

ResearchIndex: Viz: A Visualization Programming System
Describes design, implementation of high level visualization programming system, created from a need to support rapid visual prototyping in an environment that can be extended by abstractions in the application problem domain.
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.54.6094
Top/Computers/Programming/Languages/Visual

Programming in Three Dimensions
By Marc Najork. This thesis describes Cube, the first visual language to employ a three-dimensional syntax.
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.27.1619
Top/Computers/Programming/Languages/Visual/Books

The S/KEY One-Time Password System
Scholarly paper by Neil Haller on the original S/Key system. Links to many citations from the original paper.
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.44.6790
Top/Computers/Security/Authentication/One_Time_Passwords

ResearchIndex, IDS section
ResearchIndex is a scientific literature digital library that aims to improve the dissemination and feedback of scientific literature, and to provide improvements in functionality, usability, availability, cost, comprehensiveness, efficiency, and timelin
http://citeseer.ist.psu.edu/Security/IntrusionDetection/
Top/Computers/Security/Intrusion_Detection_Systems/Research