Sciweavers

6016 search results - page 215 / 1204
» The semantics of graphical languages
Sort
View
GPCE
2009
Springer
15 years 4 months ago
Generating safe template languages
Template languages are widely used within generative programming, because they provide intuitive means to generate software artefacts expressed in a specific object language. Howe...
Florian Heidenreich, Jendrik Johannes, Mirko Seife...
RE
2002
Springer
15 years 6 months ago
Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts
perfect technology assumption, which abstracts from limitations imposed by an implementation. Statecharts describe object life cycles. Our semantics includes synchronous and asynch...
Rik Eshuis, David N. Jansen, Roel Wieringa
SEMCO
2007
IEEE
16 years 26 days ago
Learning by Reading by Learning to Read
Knowledge-based natural language processing systems learn by reading, i.e., they process texts to extract knowledge. The performance of these systems crucially depends on knowledg...
Sergei Nirenburg, Tim Oates, Jesse English
AOSD
2007
ACM
15 years 10 months ago
Expressive programs through presentation extension
Most approaches to programming language extensibility have worked by pairing syntactic extension with semantic extension. We present an approach that works through a combination o...
Andrew David Eisenberg, Gregor Kiczales
KR
2010
Springer
15 years 8 months ago
Integrating Action Calculi and AgentSpeak: Closing the Gap
Existing action calculi provide rich, declarative formalisms for reasoning about actions. BDI-based programming languages like AgentSpeak, on the other hand, are procedural and ge...
Michael Thielscher