
LINGO
 Referenced in 319 articles
[sw04942]
 integrated package that includes a powerful language for expressing optimization models, a full featured environment...

ANSYSCFX
 Referenced in 106 articles
[sw06391]
 using session files, scripting and a powerful expression language...

Ciao
 Referenced in 51 articles
[sw12088]
 main design objectives are high expressive power, extensibility, safety, reliability, and efficient execution...

DLV
 Referenced in 33 articles
[sw04640]
 logical formalisms with a very high expressive power so that programs are able to represent...

GraphLog
 Referenced in 32 articles
[sw20098]
 qualify these paths. We characterize the expressive power of the language and show that...

PDENet
 Referenced in 63 articles
[sw36963]
 models while still maintaining the expressive and predictive power of the network. These constrains...

NPSPEC
 Referenced in 20 articles
[sw02243]
 construction of problem solutions. NPSPEC expressive power is precisely characterized as to express exactly...

TAG
 Referenced in 76 articles
[sw20627]
 aggregation in lowpower, distributed, wireless environments. TAG allows users to express simple, declarative queries ... executed efficiently in networks of lowpower, wireless sensors. We discuss various generic properties...

MuPAD
 Referenced in 139 articles
[sw00606]
 powerful symbolic engine, a language that is optimized for operating on symbolic math expressions...

F*
 Referenced in 20 articles
[sw27563]
 backed deductive verification tool with the expressive power of a proof assistant based on dependent ... weakest precondition calculus. Together, these features allow expressing precise and compact specifications for programs, including...

Mozart
 Referenced in 20 articles
[sw04759]
 result, Mozart is unequalled in expressive power and functionality. Mozart has an interactive incremental development...

HOPLA
 Referenced in 14 articles
[sw02330]
 higherorder process language. A small but powerful language for higherorder nondeterministic processes ... with a “prefixed sum”, in which types express the form of computation path of which ... operational semantics, bisimulation, congruence properties and expressive power are explored; in particular, it is shown...

LEGO
 Referenced in 107 articles
[sw09685]
 that of informal mathematics. The higherorder power of its underlying type theories ... specifying new inductive types, provide an expressive language for formalization of mathematical problems and program...

MathCheck
 Referenced in 12 articles
[sw13642]
 modern SAT solvers, with the expressive power of CAS, thus complementing both. The key insight...

OilEd
 Referenced in 25 articles
[sw01560]
 users to exploit the full power of an expressive web ontology language (OIL). OilEd uses...

Psicalculi
 Referenced in 11 articles
[sw28573]
 assertions and conditions, giving it an expressive power beyond the applied picalculus...

SCIL
 Referenced in 10 articles
[sw01099]
 programming and contribute significantly to the expressive power, ease of use, and efficiency of constraint...

Datalog LITE
 Referenced in 10 articles
[sw28894]
 extit{stratified} Datalog have too limited expressive power...

IPC4
 Referenced in 10 articles
[sw03495]
 developing algorithms that apply to powerfully expressive representations of environments. The other consists of planning...

KnowRob
 Referenced in 10 articles
[sw21530]
 through prototypical queries that demonstrate the expressive power and its impact on the robot...