Sciweavers

31387 search results - page 234 / 6278
» Abstracting abstract machines
Sort
View
LICS
1999
IEEE
15 years 11 months ago
A New Approach to Abstract Syntax Involving Binders
Murdoch Gabbay, Andrew M. Pitts
RSP
1999
IEEE
160views Control Systems» more  RSP 1999»
15 years 11 months ago
Mixed Abstraction Level Hardware Synthesis from SDL for Rapid Prototyping
SDL is currently gaining interest as a system level specification language for HW/SW codesign. Automated synthesis of SDL in hardware so far had problems with its efficiency. The ...
Oliver Bringmann, Wolfgang Rosenstiel, Annette Mut...
TOOLS
1999
IEEE
15 years 11 months ago
Abstract Object State and Version Recovery in N-Version Programming
Object State and Version Recovery in N-Version Programming Alexander Romanovsky
Alexander Romanovsky
TOOLS
1999
IEEE
15 years 11 months ago
Architecture = Abstractions over Software
Eyðun Eli Jacobsen, Bent Bruun Kristensen, Pal...
FM
1999
Springer
113views Formal Methods» more  FM 1999»
15 years 11 months ago
Data Abstraction for CSP-OZ
Heike Wehrheim