672 search results - page 35 / 135 » On the Expressive Power of the Loop Language |
148
click to vote
KBSE
2010
IEEE
15 years 3 months ago
2010
IEEE
Although testing is central to debugging and software certification, there is no adequate language to specify test suites over source code. Such a language should be simple and c...
132
Voted
EACL
1989
ACL Anthology
15 years 5 months ago
1989
ACL Anthology
DATR is a declarative language for representing a restricted class of inheritance networks, permitting both multiple and default inheritance. The principal intended area of applic...
121
click to vote
SEDE
2007
15 years 6 months ago
2007
Math search is a new area of research with many enabling technologies but also many challenges. Some of the enabling technologies include XML, XPath, XQuery, and MathML. Some of t...
114
click to vote
FMCAD
2008
Springer
15 years 6 months ago
2008
Springer
We describe a general approach for defining new temporal specification languages, and adopting existing languages, for SystemC. We define the concept of "underlying trace"...
152
Voted
PPDP
1999
Springer
15 years 9 months ago
1999
Springer
Curry is a multi-paradigm declarative language covering functional, logic, and concurrent programming paradigms. Curry’s operational semantics is based on lazy reduction of expre...