151 search results - page 20 / 31 » Denotational semantics for a program logic of objects |
140
click to vote
ECOOP
2008
Springer
15 years 6 months ago
2008
Springer
Abstract We present a datatype package that enables the shallow embedding technique to object-oriented specification and programming languages. This datatype package incrementally ...
134
Voted
DALT
2004
Springer
15 years 10 months ago
2004
Springer
This article investigates the intensional programming paradigm for agent communication by introducing context as a first class object in the intensional programming language Lucid...
181
click to vote
FDL
2004
IEEE
15 years 8 months ago
2004
IEEE
System-on-Chip (SOC) and other complex distributed hardware/software systems contain heterogeneous components such as DSPs, micro-controllers, application specific logic etc., whi...
162
Voted
PADO
2001
Springer
15 years 9 months ago
2001
Springer
This paper describes a run-time specialization system for the Java language. One of the main difficulties of supporting the full Java language resides in a sound yet effective ma...
144
Voted
TLCA
2005
Springer
15 years 10 months ago
2005
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda calculus for the classical control model, following the firs...