Sciweavers

14298 search results - page 367 / 2860
» Dynamic Languages and Applications
Sort
View
ACTA
2007
90views more  ACTA 2007»
15 years 7 months ago
Well-structured languages
Abstract This paper introduces the notion of well-structured language. A wellstructured language can be defined by a labelled well-structured transition system, equipped with an u...
Gilles Geeraerts, Jean-François Raskin, Lau...
GRID
2008
Springer
15 years 6 months ago
ADL: An Algorithm Definition Language for SmartGridSolve
SmartGridSolve is an extension of GridSolve that expands the single task map and client-server model of GridRPC by implementing server to server communication and the mapping of a...
Michele Guidolin, Alexey L. Lastovetsky
ESOP
2010
Springer
16 years 4 months ago
Enforcing Stateful Authorization and Information Flow Policies in Fine
Proving software free of security bugs is hard. Languages that ensure that programs correctly enforce their security policies would help, but, to date, no security-typed language h...
Nikhil Swamy, Juan Chen and Ravi Chugh
166
Voted
ECOOP
2000
Springer
15 years 11 months ago
A Basic Model of Typed Components
This paper studies specific language level abstractions for component-based programming. We propose a simple model which captures some basic ingredients — like explicit context ...
João Costa Seco, Luís Caires
SCCC
2008
IEEE
16 years 1 months ago
A Domain Specific Language for the Development of Collaborative Systems
Domain-Specific Languages (DSLs) are high level languages defined for combining expressivity and simplicity by means of constructs which are close to the problem domain and distan...
Luis Mariano Bibbo, Diego García, Claudia P...