Sciweavers

4386 search results - page 458 / 878
» A Tamper-Resistant Programming Language System
Sort
View
TOOLS
2010
IEEE
15 years 9 months ago
Welterweight Java
This paper presents Welterweight Java (WJ), a new minimal core Java calculus intended to be a suitable starting point for investigations in the semantics of Java-like programs. To ...
Johan Östlund, Tobias Wrigstad
MPC
2010
Springer
165views Mathematics» more  MPC 2010»
15 years 9 months ago
Dependently Typed Grammars
Parser combinators are a popular tool for designing parsers in functional programming languages. If such combinators generate an abstract representation of the grammar as an interm...
Kasper Brink, Stefan Holdermans, Andres Löh
IFIP
1998
Springer
15 years 8 months ago
PERA and GERAM - Enterprise Reference Architectures in Enterprise Integration
This paper describes PERA (the Purdue Enterprise Reference Architecture) and shows its relationships to GERAM (the Generalized Enterprise Reference Architecture and Methodology). ...
Theodore J. Williams, H. Li
IFIP
2000
Springer
15 years 8 months ago
A New Approach to Software Integration Frameworks for Multi-physics Simulation Codes
Existing software integration frameworks typically require large manual rewrites of existing codes, or specific tailoring of codes written to be used in the framework. The result i...
Eric de Sturler, Jay Hoeflinger, Laxmikant V. Kal&...
ECOOP
1987
Springer
15 years 8 months ago
Dynamic Grouping in an Object-Oriented Virtual Memory Hierarchy
Object oriented programming environments frequently suffer serious performance degradation because of a high level of paging activity when implemented using a conventional virtual...
Ifor Williams, Mario Wolczko, Trevor Hopkins