263 search results - page 34 / 53 » Dynamic Semantics for a Controlled Natural Language |
132
Voted
ENTCS
2007
15 years 3 months ago
2007
Automated deduction methods should be speciļ¬ed not procedurally, but declaratively, as inference systems which are proved correct regardless of implementation details. Then, diļ...
IBERAMIA
2004
Springer
15 years 9 months ago
2004
Springer
Recent advances in Computerized Numeric Control (CNC) have allowed the manufacturing of products with high quality standards. Since CNC programs consist of a series of assembler-li...
153
Voted
AOSD
2011
ACM
14 years 10 months ago
2011
ACM
Block joinpoints allow programmers to explicitly mark regions of base code as āto be advisedā, thus avoiding the need to extract the block into a method just for the sake of c...
149
Voted
HASE
1999
IEEE
15 years 8 months ago
1999
IEEE
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...
113
Voted
ECOOP
1998
Springer
15 years 8 months ago
1998
Springer
Predicate dispatching generalizes previous method dispatch mechanisms by permitting arbitrary predicates to control method applicability and by using logical implication between pr...