263 search results - page 34 / 53 » Dynamic Semantics for a Controlled Natural Language |
ENTCS
2007
13 years 8 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
14 years 2 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...
AOSD
2011
ACM
13 years 3 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...
HASE
1999
IEEE
14 years 1 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...
ECOOP
1998
Springer
14 years 28 days 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...