4743 search results - page 664 / 949 » The PlusCal Algorithm Language |
PPDP
2005
Springer
14 years 3 months ago
2005
Springer
Huet and Lang (1978) presented a framework of automated program transformation based on lambda calculus in which programs are transformed according to a given program transformati...
MM
2004
ACM
14 years 3 months ago
2004
ACM
This article argues for the growing importance of quality metadata and the equation of that quality with precision and semantic grounding. Such semantic grounding requires metadat...
ECOOP
2004
Springer
14 years 3 months ago
2004
Springer
Today’s mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and postconditions on methods and invariants on object represe...
VLDB
2004
ACM
14 years 3 months ago
2004
ACM
XML languages, such as XQuery, XSLT and SQL/XML, employ XPath as the search and extraction language. XPath expressions often define complicated navigation, resulting in expensive...
CEC
2003
IEEE
14 years 2 months ago
2003
IEEE
Learning Deterministic Finite Automata (DFA) is a hard task that has been much studied within machine learning and evolutionary computation research. This paper presents a new met...