108 search results - page 13 / 22 » How to synthesize nets from languages: a survey |
FOSSACS
1998
Springer
14 years 24 days ago
1998
Springer
Abstract. Domain theory began in an attempt to provide mathematical models for high-level programming languages, an area where it has proved to be particularly useful. It is perhap...
OMER
2001
13 years 10 months ago
2001
: This paper shows how architecture description languages can be tailored to the design of embedded automotive control software. Furthermore, graphical modeling means are put in an...
SIGCSE
2005
ACM
14 years 2 months ago
2005
ACM
In this paper we describe how a single Khepera II robot was used for an assignment in a senior level course on graphical user interface implementation. The assignment required eac...
ACL
2012
11 years 11 months ago
2012
We present UWN, a large multilingual lexical knowledge base that describes the meanings and relationships of words in over 200 languages. This paper explains how link prediction, ...
PLDI
2010
ACM
14 years 6 months ago
2010
ACM
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, synthesis algor...