2004 search results - page 302 / 401 » Interaction nets: programming language design and implementa... |
138
Voted
FCCM
2000
IEEE
15 years 9 months ago
2000
IEEE
Hardware compilation techniques which use highlevel programming languages to describe and synthesize hardware are gaining popularity. They are especially useful for reconfigurable...
135
Voted
CHARME
2001
Springer
15 years 9 months ago
2001
Springer
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...
148
Voted
DOCENG
2005
ACM
15 years 7 months ago
2005
ACM
Recent developments of document technologies have strongly impacted the evolution of Web clients over the last fifteen years, but all Web clients have not taken the same advantag...
132
Voted
ICICS
2001
Springer
15 years 9 months ago
2001
Springer
With the ubiquitous deployment of large scale networks more and more complex human interactions are supported by computer applications. This poses new challenges on the expressive...
147
click to vote
ICSE
2011
IEEE-ACM
14 years 8 months ago
2011
IEEE-ACM
Developers who write code in a statically typed language are denied the ability to obtain dynamic feedback by executing their code during periods when it fails the static type che...