1669 search results - page 97 / 334 » Structured Specification of Model Interpreters |
126
Voted
ICLP
1998
Springer
15 years 7 months ago
1998
Springer
A number of logic programming languages based on Linear Logic [3] have been proposed. However, the implementation techniques proposed for these languages have relied heavily on th...
101
Voted
COLING
1996
15 years 4 months ago
1996
2 Focus theory Pulman has shown that Higher-Order Unifcation (HOU) can be used to model the interpretation of focus. In this paper, we extend the unification based approach to case...
119
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
Anticipating and characterizing damages in layered carbon fiberreinforced polymers is a challenging problem. Non-destructive evaluation using ultrasonic signals is a well-establi...
135
Voted
APLAS
2010
ACM
15 years 3 months ago
2010
ACM
Abstract. We propose a new method to verify that a higher-order, treeprocessing functional program conforms to an input/output specification. Our method reduces the verification pr...
128
click to vote
EUROMICRO
1996
IEEE
15 years 7 months ago
1996
IEEE
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...