12452 search results - page 170 / 2491 » An exploration of program as language |
146
click to vote
CHARME
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We survey the work done so far in the FLaSH project (Functional Languages for Synthesising Hardware) in which the core ideas are (i) using a functional language SAFL to d...
146
click to vote
ICCL
1992
IEEE
15 years 10 months ago
1992
IEEE
Multiparadigm programming is a term used to describe a style of software development that makes use of facilities originally designed in support of a number of di erent programmin...
286
click to vote
CP
2009
Springer
16 years 7 months ago
2009
Springer
We consider the problem of exploring the search tree of a CLP goal in pursuit of a target property. Essential to such a process is a method of tabling to prevent duplicate explorat...
174
click to vote
TOOLS
2008
IEEE
16 years 28 days ago
2008
IEEE
In model-based testing, one of the biggest decisions taken before modelling is the modelling language and the model analysis tool to be used to model the system under investigation...
154
click to vote
ICLP
1994
Springer
15 years 10 months ago
1994
Springer
The consequences of a logic program depend in general upon both the rules of the program and its language. However the consequences of some programs are independent of the choice ...