6201 search results - page 288 / 1241 » Implementation of Axiomatic Language |
188
click to vote
VL
2005
IEEE
16 years 9 days ago
2005
IEEE
On one hand, visual modeling languages are often used today in engineering domains, Mathworks’ Simulink/Stateflow for simulation, signal processing and controls being the prime ...
146
click to vote
HASKELL
2005
ACM
16 years 8 days ago
2005
ACM
Haskell has proved itself to be a suitable implementation language for large software projects. Nevertheless, surprisingly few graphical end-user applications have been written in...
174
click to vote
DALT
2005
Springer
16 years 7 days ago
2005
Springer
Existing cognitive agent programming languages that are based on the BDI model employ logical representation and reasoning for implementing the beliefs of agents. In these programm...
141
click to vote
OOPSLA
2005
Springer
16 years 6 days ago
2005
Springer
Studies of Aspect-Oriented Programming (AOP) usually focus on a language in which a specific aspect extension is integrated with a base language. Languages specified in this man...
146
Voted
SAC
2004
ACM
16 years 4 days ago
2004
ACM
We present a programming technique for implementing type safe covariance in C++. In a sense, we implement most of Bruce’s matching approach to the covariance dilemma in C++. The...