4722 search results - page 5 / 945 » Encoding Program Executions |
149
click to vote
CASCON
2000
15 years 5 months ago
2000
Information about a software system's execution can help a developer with many tasks, including software testing, performance tuning, and program understanding. In almost all...
147
Voted
FROCOS
2005
Springer
15 years 9 months ago
2005
Springer
ATS is a language with a highly expressive type system that supports a restricted form of dependent types in which programs are not allowed to appear in type expressions. The langu...
130
Voted
LPAR
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. The ZETA system is a Z-based tool environment for developing formal specifications. It contains a component for executing the Z language based on the implementation techn...
80
Voted
WEBI
2005
Springer
15 years 9 months ago
2005
Springer
Abstract Descriptions into Executable Web Services: Towards a Formal Development Antonella Chirichiello1 and Gwen Sala¨un2 1 DIS - Universit`a di Roma “La Sapienza”, Italy
109
Voted
ICLP
2010
Springer
15 years 7 months ago
2010
Springer
hex programs were originally introduced as a general framework for extending declarative logic programming, under the stable model semantics, with the possibility of bidirectional...